Sabitlenmiş Tweet

👀 Keep an eye on projects affiliated with #Sui and @Mysten_Labs!
After $DEEP, next up are $NS, @WalrusProtocol, and @SuiPlay .




English
Edle
4.2K posts

@0xEdle
Full time degen. Official Ambassador @navi_protocol @CetusProtocol💧 @SuiNetwork Maxi









Comprehensive Formal Verification of @CetusProtocol on @SuiNetwork: core CLMM protocol, standard library (STL), and integer-mate. Our formal verification confirms correctness of critical protocol properties, including deductive proofs that the tick-to-price conversion functions correctly implement the mathematical formulas (√1.0001^tick and its inverse). This goes well beyond all other formal verification work on Uniswap v3-style CLMM protocols, including Uniswap itself. As part of our security partnership with Cetus, we'll continue hardening their protocol. Details and report below.








