Skip to main content

verify_proof

csv_adapter_core::proof_verify

Function verify_proof 

Source 
pub fn verify_proof(
    bundle: &ProofBundle,
    seal_registry: impl Fn(&[u8]) -> bool,
    signature_scheme: SignatureScheme,
) -> Result<()>
Expand description

Verify a proof bundle according to the CSV verification pipeline.

The verification pipeline performs the following steps:

  1. Validate deterministic VM execution of the DAG
  2. Validate all authorizing signatures
  3. Validate seal reference correctness (no double-use)
  4. Validate inclusion proof against the anchor reference
  5. Validate finality semantics

ยงArguments

  • bundle - The proof bundle to verify
  • seal_registry - Set of already-used seals (for replay detection)
  • signature_scheme - The signature scheme to use for verification