Gate News informa que, el 15 de marzo, Scallop Lend completó una verificación formal exhaustiva realizada por Asymptotic (el socio oficial de auditoría de Mysten Labs). Esta verificación confirmó la corrección matemática de los mecanismos centrales del protocolo, incluyendo la lógica de contabilidad principal, los cálculos de liquidación, el control de acceso y las operaciones con números en punto fijo, entre otros módulos clave.