Scallop Lend concluiu com sucesso uma verificação formal abrangente realizada pela Asymptotic, parceira oficial de auditoria da Mysten Labs. O processo de verificação confirmou a correção matemática dos mecanismos centrais do Scallop Lend, incluindo sua lógica contábil principal, cálculos de liquidação, controle de acesso e aritmética de ponto fixo. Isso representa um marco significativo para garantir a confiabilidade e segurança do protocolo.