Verifier

Verify temporal ordering proofs deterministically in your stack.

The Verifier validates proofs generated by the Prover, ensuring the published ordering and time anchoring are correct. Use it in services, dashboards, or audit tooling to confirm proofs independently of the prover.

Basic usage

RUST
use fairseq_sdk::{Verifier, Proof};

let verifier = Verifier::new();
let result = verifier.verify(&proof).await?;

if result.valid {
    println!("Proof is valid!");
    println!("Time beacon anchor: {}", result.lighthouse_anchor);
}

Verification result

The VerificationResult includes:

  • valid: whether the proof is valid
  • lighthouse_anchor: time beacon epoch hash
  • timestamp_range: start and end timestamps
  • ordering_rule: the rule the proof attests to

What verification guarantees

  • The proof is internally consistent and untampered.
  • Ordering constraints match the supplied batch inputs.
  • The proof is anchored to verifiable time.

On-chain verification

For smart contract verification patterns, see the On-chain Verification Guide.

Related docs

Was this page helpful? /
Back to docs