Expand description
Graph-based witness generator for StaticVerifierCircuit: records the
populate trace once as a dataflow IR (ir_builder) and interprets it in
parallel against a shared tape (graph_executor) using standalone opcode
replay routines (opcode_impl).
Modulesยง
- graph_
executor - Parallel executor for the graph IR recorded by
Halo2IRBuilder. - ir_
builder - Graph-IR generation backend for the
chip_traitstraits. - opcode_
impl - Standalone tape-replay implementations of
Halo2Opcodes.