miden-air 0.28.0

Algebraic intermediate representation of Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! ACE circuit integration for the Miden multi-AIR proof.
//!
//! The public API is split by responsibility:
//! - `recursive` builds the encoded circuit consumed by the recursive verifier.
//! - `multi_air` combines the per-AIR ACE DAGs into one proof-order-aware circuit.
//!
//! The cross-AIR LogUp boundary identity is checked outside the circuit as
//! `sum_i(n_i * sigma_prime_i) + c_boundary = 0`, where `sigma_prime_i` is AIR `i`'s
//! normalized committed LogUp sum and `n_i` is its trace length.

mod multi_air;
mod recursive;

pub use multi_air::build_multi_air_ace_circuit_for_order;
pub use recursive::{RecursiveAceCircuit, build_recursive_verifier_ace_circuit};