Expand description
Circuit statistics module for analyzing constraint counts and circuit complexity.
Structsยง
- Circuit
Stat - Various stats of a circuit that affect the prover performance.
Circuit statistics module for analyzing constraint counts and circuit complexity.