Scallop Lend (@Scallop_io) 的全面形式化验证 我们证明了 Scallop Lend 在核心会计、清算数学、访问控制和定点运算方面具有强大的正确性。验证范围涵盖所有资产负债表操作，从头寸安全到清算交易。