Expand description
AIR builders for prover and verifier, including support for cross-matrix permutation arguments.
Modules§
- debug
- sub
- symbolic
- AIR builder that collects the constraints expressed via the Air trait into a directed acyclic graph of symbolic expressions for serialization purposes.
Traits§
- Partitioned
AirBuilder - AIR builder that supports main trace matrix which is partitioned into sub-matrices which belong to different commitments.