Scallop Lend ha completado con éxito una verificación formal exhaustiva realizada por Asymptotic, el socio oficial de auditoría de Mysten Labs. El proceso de verificación confirmó la corrección matemática de los mecanismos centrales de Scallop Lend, incluyendo su lógica contable principal, cálculos de liquidación, control de acceso y aritmética de punto fijo. Esto representa un hito significativo para garantizar la fiabilidad y seguridad del protocolo.