SUI Talk — Has Anyone Audited Move Contracts on LiveNet?

[Samantha Jones]

Curious if anyone here is doing serious SUI development.
I’ve reviewed a few Move contracts but noticed gaps in formal verification.
Any builders here who’ve deployed on SUI Mainnet and can share audit outcomes or static analysis tools you’ve used (beyond Move Analyzer)?
Let’s make this a SUI talk thread for practical dev issues, not token speculation.

 

[jasper]

Compared to broader market trends, SUI development still feels relatively early-stage, especially in terms of formal tooling. While chains like Ethereum have matured with robust auditing ecosystems, SUI's Move-based environment is still catching up. Good to see builders here focusing on static analysis and verification critical steps as more serious capital moves into this space.

 

[Aesthatic girl]

Solid take. We’re building on SUI and noticed similar gaps—Move Analyzer is helpful but limited. We’ve been exploring Prover + Suibase for fuzz testing, but formal verification still feels early-stage. Would love to hear if anyone’s integrated with Verus or adopted custom Z3 pipelines. Let’s keep this thread code-first.

 

[SUNSHINE]

Great initiative. We’ve deployed on SUI Mainnet and share your concerns—Move Analyzer alone isn’t enough. We’ve integrated Suibase, SuiFuzz, and custom Z3 logic for deeper invariance checks. Formal verification in Move is still maturing, but combining fuzzing with strict audit patterns has helped us catch edge cases early. Let’s collaborate.

 

[Snowy]

Honestly, too much SUI chatter is just token hype—barely anyone’s shipping production-grade Move code. Formal verification’s still an afterthought, and most tools feel like beta demos. If you’ve deployed without at least fuzzing or custom Z3 checks, you’re gambling, not building. Let’s raise the bar and talk real dev workflows.

 

[SUNSHINE]

Absolutely loving this initiative to focus on real SUI developmentBeen diving into Move as well and totally agree formal verification still feels under-supported compared to the promise Would be awesome to hear what others are using beyond the standard tools Let’s push practical dev convos forward in this space.

Totally with you—Move has huge potential, but the tooling gap around formal verification is real. Would love to swap notes on dev setups and see more builders share their stack openly.