Struct AirProof 

pub struct AirProof<F: Field> { /* private fields */ }

A proof that an AIR’s constraints hold over a given trace.

Examples

use field_cat::F101;
use machine_cat::{Air, FibonacciAir, FibonacciInput, StepCount};
use machine_cat::bridge::{air_prove, air_verify};

let air = FibonacciAir;
let input = FibonacciInput::new(
    F101::new(1), F101::new(1), StepCount::new(7),
);
let trace = air.generate_trace(&input)?;

let proof = air_prove(&air, &trace)?;
assert!(air_verify(&air, &proof)?);

Implementations

impl<F: Field> AirProof<F>

pub fn trace_commitment(&self) -> &MerkleRoot

The Merkle root committing to the trace.

pub fn sumcheck(&self) -> &SumcheckProof<F>

The sumcheck proof.

pub fn column_openings(&self) -> &[ColumnOpening<F>]

The opened column values with Merkle proofs.

pub fn row_count(&self) -> usize

The trace row count.

Trait Implementations

impl<F: Clone + Field> Clone for AirProof<F>

fn clone(&self) -> AirProof<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for AirProof<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.