Samantha Jones
Active member
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.
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.