Sui contracts are written in Move, which prevents certain values from being copied or discarded, restricts which modules can call each other, and makes arithmetic abort instead of wrapping.
But some risks fall outside those guarantees.
Our latest article examines 5 of these gaps and how developers can use formal verification to check for them.
Read more ⬇️
certora.com/blog/sui-move-…
But some risks fall outside those guarantees.
Our latest article examines 5 of these gaps and how developers can use formal verification to check for them.
Read more ⬇️
certora.com/blog/sui-move-…
www.certora.com Sui Move Security: Guarantees, Risks & Formal Verification Explore five Sui Move security gaps through real-world exploits involving Cetus, Aftermath, Typus, and Scallop, and learn how formal verification can help. These keep Sui Move security as the primary... 
