🛡 Kerang Selesaikan Verifikasi Formal Komprehensif oleh Asymptotic Scallop Lend telah menyelesaikan tinjauan verifikasi formal komprehensif yang dilakukan oleh @AsymptoticTech, mitra audit resmi @Mysten_Labs. Verifikasi membuktikan properti kebenaran utama di seluruh akuntansi inti, matematika likuidasi, kontrol akses, dan aritmatika titik tetap. Keamanan tetap menjadi prioritas inti untuk Scallop. Verifikasi ini memperkuat ketahanan protokol dan mencerminkan komitmen berkelanjutan kami untuk membangun infrastruktur DeFi yang aman dan andal di @SuiNetwork. Kami akan terus bekerja sama dengan Asymptotic untuk lebih memperkuat protokol dan fitur-fiturnya. Baca Laporan Lengkapnya: