Scallop Lend称Asymptotic已完成其核心协议的形式化验证

据Scallop Lend称，Asymptotic的审查确认了会计逻辑、清算计算、访问控制和定点运算在数学上的正确性。