
Sui Developers
46 posts

Sui Developers
@suidevelopers
The technical home for builders on @SuiNetwork. Primitives, patterns, tooling, and everything you need to ship. By devs, for devs.



Introducing Hashi: a new era of Bitcoin finance on Sui. Bitcoin's market cap exceeds $1 trillion. < 0.5% of it is used in DeFi. Hashi is here to change that, with commitments from industry leaders including BitGo, Bullish, Erebor Bank, FalconX, Fordefi, Ledger, and more.


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.

New on "Proofs and Intuitions": Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory. proofsandintuitions.net/2026/03/18/mov… The gist: I formalised Move's type system in Lean: 39KLOC, under a month, with Claude. Person-years in PL research are now person-weeks.



Extremely bullish on Solana builders.

The 1st official robotics + crypto course is online, sui-move-bootcamp. Even kids can learn programming pet robots It’s the object model in Sui Move that maps perfectly to physical agents, state, tasks, identity, tunnels.


Are you a builder on Sui? We’re listening. What early-stage support are you looking for or would have been helpful in your journey building on Sui? Drop your take below ↓



