🛡 Deniz tarağı asimptotik ile kapsamlı biçimsel doğrulamayı tamamladı Scallop Lend, @Mysten_Labs'nin resmi denetim ortağı @AsymptoticTech tarafından yapılan kapsamlı resmi doğrulama incelemesini tamamladı. Doğrulama, çekirdek muhasebe, tasfiye matematiği, erişim kontrolü ve sabit nokta aritmetiği alanlarında temel doğruluk özelliklerini kanıtlar. Güvenlik, Scallop için temel öncelik olmaya devam ediyor. Bu doğrulama, protokolün sağlamlığını pekiştirmekte ve @SuiNetwork üzerinde güvenli ve güvenilir DeFi altyapısı oluşturma konusundaki taahhüdümüzü yansıtmaktadır. Protokolü ve özelliklerini daha da güçlendirmek için Asymptotic ile yakın çalışmaya devam edeceğiz. Tam Raporu okuyun: