X @Sui
Sui·2026-03-13 21:58
https://t.co/ze8TIWjw5Bhttps://t.co/WpoSFeFLq8https://t.co/PFFBhK3Ea8https://t.co/NrRFAu19aDhttps://t.co/8yjoBd265Mhttps://t.co/jclVrvCwHJ”*https://t.co/6b0EJxPXe8If you’re shipping on Sui, tag us so we can highlight your progress.Asymptotic (@AsymptoticTech):Comprehensive Formal Verification of Scallop Lend (@Scallop_io)We proved strong correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Coverage spans all balance sheet operations, from position safe ...