
Comprehensive Formal Verification of @currentsui Lending on @SuiNetwork Over 300 specifications covering interest accrual, reserve accounting, balance sheet operations, governance, oracle integrity, leverage operations, and fixed-point arithmetic. As part of our security partnership with Current, we continue hardening the protocol. @suidevelopers, details and report below.














