X @Sui
Sui·2026-03-20 19:59
https://t.co/AkzpgPt4mFAsymptotic (@AsymptoticTech):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 https://t.co/Junp9wilpZ ...