Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

The Move Prover: a guide

osec.io | blog | #smart-contracts | #tutorial | #formal-verification | #move | #move-prover | #z3

Summary

OtterSec's practical guide to the Move Prover: how formal verification works, the pipeline from Move Specification Language to Boogie and Z3, and a real-world case study.
Published
Collected

original ↗

Related coverage

  1. Move: an auditor’s introduction (osec.io)
  2. Hitchhiker’s guide to Aptos fungible assets (osec.io)
  3. ERC-4337 paymasters: better UX, hidden risks (osec.io)
  4. Cosmos security: an otter’s guide (osec.io)
  5. Solana: the hidden dangers of lamport transfers (osec.io)
  6. Rounding bugs: an analysis (osec.io)

back