openvm_static_verifier/tracegen/mod.rs
1//! Graph-based witness generator for [`StaticVerifierCircuit`]: records the
2//! populate trace once as a dataflow IR ([`ir_builder`]) and interprets it in
3//! parallel against a shared tape ([`graph_executor`]) using standalone opcode
4//! replay routines ([`opcode_impl`]).
5//!
6//! [`StaticVerifierCircuit`]: crate::StaticVerifierCircuit
7
8pub mod graph_executor;
9pub mod ir_builder;
10pub mod opcode_impl;