miden-ace-codegen 0.22.1

ACE circuit codegen for Plonky3-based Miden AIRs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! DAG IR for ACE circuit generation.
//!
//! This module lowers symbolic AIR constraints into a DAG that mirrors the
//! verifier evaluation order: constraints are folded with the composition
//! challenge, divided by the vanishing polynomial, and then compared against
//! the recomposed quotient. Auxiliary/quotient openings are provided as base
//! coordinates and merged into extension elements inside the DAG.

mod builder;
mod ir;
mod lower;

pub use builder::DagBuilder;
pub use ir::{AceDag, NodeId, NodeKind, PeriodicColumnData};
pub use lower::build_verifier_dag;