Prover

Generate temporal ordering proofs for transaction batches.

The Prover generates a proof that an ordered batch respects the chosen ordering rule (FIFO by default) and is anchored to verifiable time.

Construction

use fairseq::{Config, Prover};

let prover = Prover::new(config);

Proving

use fairseq::{Transaction};

let txs: Vec<Transaction> = vec![];
let proof = prover.prove(txs)?;

Design notes

  • Proofs are designed to be verifiable by anyone given the proof artifact and inputs.
  • The SDK’s core differentiation is temporal: it proves when ordering occurred, not just that some computation ran.