Formal Verification for Move: Using Certora SUI prover
A multi-part deep dive into mathematically proving your smart contracts are secure.
Written by
I'm a dev by profession, clueless otherwise!
Sick of writing Bio s everywhere.
Responses
Markdown supported · ⌘↵ to post
No responses yet.