🛡 Scallop Completa una Verifica Formale Completa da parte di Asymptotic Scallop Lend ha completato una revisione della verifica formale completa condotta da @AsymptoticTech, il partner ufficiale di auditing di @Mysten_Labs. La verifica dimostra le principali proprietà di correttezza in materia di contabilità core, matematica di liquidazione, controllo degli accessi e aritmetica a punto fisso. La sicurezza rimane una priorità fondamentale per Scallop. Questa verifica rafforza la robustezza del protocollo e riflette il nostro continuo impegno a costruire un'infrastruttura DeFi sicura e affidabile su @SuiNetwork. Continueremo a lavorare a stretto contatto con Asymptotic per rafforzare ulteriormente il protocollo e le sue funzionalità. Leggi il Rapporto Completo: