🛡 Pilgrimsmusla genomför omfattande formell verifiering med asymptotisk Scallop Lend har slutfört en omfattande formell verifieringsgranskning utförd av @AsymptoticTech, den officiella revisionspartnern för @Mysten_Labs. Verifieringen bevisar viktiga korrekthetsegenskaper inom kärnredovisning, likvidationsmatematik, åtkomstkontroll och fixpunktsaritmetik. Säkerhet är fortfarande en kärnprioritet för Scallop. Denna verifiering förstärker protokollets robusthet och speglar vårt fortsatta engagemang för att bygga säker och pålitlig DeFi-infrastruktur på @SuiNetwork. Vi kommer att fortsätta arbeta nära Asymptotic för att ytterligare stärka protokollet och dess egenskaper. Läs hela rapporten: