Sui Developers
@suidevelopers
The technical home for builders on @SuiNetwork.
Primitives, patterns, tooling, and everything you need to ship. By devs, for devs.
가입 February 2026
28 팔로잉 중 3K 팬
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.
더 보기
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!
더 보기
