Formal Verification

This topic explains the role of formal verification in PaperProof and how it complements tests, reviews, and operational checks.

PaperProof completed a dedicated Sui Prover formal-verification baseline for the core project-side Move contract logic. The purpose of this work is to make important protocol invariants more explicit, test those invariants with formal methods, preserve reproducible evidence, and distinguish verified claims from claims that remain outside the current model. Formal verification complements unit tests, integration tests, deployment checks, mainnet smoke tests, SDK validation, and operational review. It does not replace them....