
Achiever 🦑
48.4K posts

Achiever 🦑
@AchieverBuilds
Community Savant @Cetusprotocol ⚜️ Cracked Content Creator ⚜️Simplicity 🔱 I immortalize moments through Clipping.












not saying anything. just… onchain.cc 👀



sneak peak for @StellarPassport improving the tier system, embedded wallets, and finishing the UI revamp cc: @BuildOnStellar


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.
















