Sui Developers
@suidevelopers
The technical home for builders on @SuiNetwork.
Primitives, patterns, tooling, and everything you need to ship. By devs, for devs.
Joined February 2026
28 Following 3K Followers
An audit finds bugs. Formal verification proves correctness.
@AsymptoticTech has now done that across every core component of @CetusProtocol’s DLMM and CLMM.
A stronger security baseline for the Sui DeFi ecosystem.
Show more
Comprehensive Formal Verification of the @CetusProtocol DLMM
We formally verified the core protocol and the router strategies built on it: swaps, positions, the math kernel, and the bin grid itself.
Together with the CLMM verification we published in March, both of Cetus's AMMs are now comprehensively formally verified.
@suidevelopers, check it out!
Show more
