🛡 Scallop voltooit uitgebreide formele verificatie door Asymptotic Scallop Lend heeft een uitgebreide formele verificatie review voltooid, uitgevoerd door @AsymptoticTech, de officiële auditpartner van @Mysten_Labs. De verificatie bewijst belangrijke correctheidseigenschappen op het gebied van kernboekhouding, liquidatiemath, toegangscontrole en vastepuntarithmetic. Beveiliging blijft een kernprioriteit voor Scallop. Deze verificatie versterkt de robuustheid van het protocol en weerspiegelt onze voortdurende toewijding aan het bouwen van veilige en betrouwbare DeFi-infrastructuur op @SuiNetwork. We zullen blijven samenwerken met Asymptotic om het protocol en zijn functies verder te versterken. Lees het volledige rapport: