🛡 Scoicile finalizează verificarea formală cuprinzătoare prin asimptotic Scallop Lend a finalizat o revizuire formală cuprinzătoare a verificării, realizată de @AsymptoticTech, partenerul oficial de audit al @Mysten_Labs. Verificarea dovedește proprietăți cheie de corectitudine în contabilitatea de bază, matematica lichidării, controlul accesului și aritmetica punctelor fixe. Securitatea rămâne o prioritate de bază pentru Scallop. Această verificare întărește robustețea protocolului și reflectă angajamentul nostru continuu de a construi o infrastructură DeFi sigură și fiabilă pe @SuiNetwork. Vom continua să colaborăm strâns cu Asymptotic pentru a consolida și mai mult protocolul și caracteristicile sale. Citește raportul complet: