Verifier

The Verifier checks that a proof is valid for the provided inputs and Lighthouse anchoring parameters.

Verification

use fairseq::Verifier;

let verifier = Verifier::default();
verifier.verify(&proof)?;

What verification guarantees

• The proof is internally consistent.
• The ordering constraints are satisfied for the supplied batch.
• The proof is anchored to verifiable time (via Lighthouse parameters).