Module bridge 

Trace-to-sumcheck bridge: proving AIR constraint satisfaction.

Converts an AIR’s transition constraints over an execution trace into a sumcheck claim and delegates to proof-cat for the proof.

air_prove produces an AirProof; air_verify checks it. The current protocol opens all trace values (not zero-knowledge).

Structs

AirProof

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

ColumnOpening

An opened column: all values in a column with their Merkle proofs.

Functions

air_prove

Prove that a trace satisfies an AIR’s constraints.

air_verify

Verify an AIR proof.