Re-exportsยง
pub use csat::MIN_EXPRESSION_WIDTH;
Modulesยง
- csat ๐
Structsยง
- Witness
Folder ๐Fold all witnesses in a circuit.
Constantsยง
- We need multiple passes to stabilize the output. The value was determined by running tests.
Functionsยง
- max_
witness ๐Find the witness with the highest ID in the circuit. - Applies backend specific optimizations to a
Circuit
. - transform_
internal ๐Applies backend specific optimizations to aCircuit
. - Accepts an injected
acir_opcode_positions
to allow transformations to be applied directly after optimizations.