verify_proof

tdln_proof

Function verify_proof 

Source 
pub fn verify_proof(bundle: &ProofBundle) -> Result<(), ProofError>
Expand description

Verifies determinism & integrity relationships within the bundle (shape-level).

§Errors

  • ProofError::Invalid se os CIDs estiverem zerados