Scallop Lend Says Asymptotic Completed Formal Verification of Core Protocol

According to Scallop Lend, the review by Asymptotic confirmed the mathematical correctness of accounting logic, liquidation calculations, access control, and fixed-point arithmetic.

CORE

Summary

verifying reliability

Terms & Concepts

No specialized terms available for this topic.