Formal Verification for Move: Using Certora SUI prover
Jan 18 路 4 min read 路 馃摎 Series Overview This series is designed for Move developers who want to go beyond testing to mathematically prove their contracts are secure. Whether you're building on Sui or Aptos, these techniques will help you catch bugs that testing can never...
Join discussion
