🛡 A vieira completa verificação formal abrangente por assintótica A Scallop Lend concluiu uma revisão formal abrangente de verificação conduzida pela @AsymptoticTech, o parceiro oficial de auditoria da @Mysten_Labs. A verificação comprova propriedades essenciais de correção em contabilidade básica, matemática de liquidação, controle de acesso e aritmética de ponto fixo. A segurança continua sendo uma prioridade central para a Scallop. Essa verificação reforça a robustez do protocolo e reflete nosso compromisso contínuo em construir uma infraestrutura DeFi segura e confiável sobre @SuiNetwork. Continuaremos trabalhando em estreita colaboração com a Asymptotic para fortalecer ainda mais o protocolo e suas funcionalidades. Leia o Relatório Completo: