🛡 Scallop Completa Verificação Formal Abrangente pela Asymptotic Scallop Lend completou uma revisão abrangente de verificação formal conduzida pela @AsymptoticTech, o parceiro oficial de auditoria da @Mysten_Labs. A verificação prova propriedades de correção chave em contabilidade central, matemática de liquidação, controle de acesso e aritmética de ponto fixo. A segurança continua a ser uma prioridade central para a Scallop. Esta verificação reforça a robustez do protocolo e reflete nosso compromisso contínuo em construir uma infraestrutura DeFi segura e confiável na @SuiNetwork. Continuaremos a trabalhar em estreita colaboração com a Asymptotic para fortalecer ainda mais o protocolo e suas funcionalidades. Leia o Relatório Completo: