Verifikasi Formal Komprehensif @CetusProtocol pada @SuiNetwork: protokol CLMM inti, perpustakaan standar (STL), dan bilangan bulat. Verifikasi formal kami mengkonfirmasi kebenaran properti protokol kritis, termasuk bukti deduktif bahwa fungsi konversi tick-to-price mengimplementasikan rumus matematika dengan benar (√1.0001^tick dan kebalikannya). Ini jauh melampaui semua pekerjaan verifikasi formal lainnya pada protokol CLMM bergaya Uniswap v3, termasuk Uniswap itu sendiri. Sebagai bagian dari kemitraan keamanan kami dengan Cetus, kami akan terus memperkuat protokol mereka. Detail dan laporan di bawah ini.