Scallop Lend (@Scallop_io) 的全面形式化验证 我们证明了其在核心会计、清算数学、存取控制和定点运算方面具有强大的正确性。验证范围涵盖所有资产负债表操作，从头寸安全到清算汇率。 这是我们首次发布完整协议的全面形式化验证报告。详情及报告如下。