Module air_builders

AIR builders for prover and verifier, including support for cross-matrix permutation arguments.

Modules

• debug
• prover
• sub
• symbolic
• verifier

Traits

• PartitionedAirBuilder
  AIR builder that supports main trace matrix which is partitioned into sub-matrices which belong to different commitments.

Type Aliases

• ViewPair