Expand description
Circuits composed out of chips, each generating the witness of one M4 chip.
The witness itself is binius_core’s WitnessM4, which is also where one is checked.
Structs§
- ChipRef
- A chip of the system a
CircuitBuilderis building. - Circuit
M4 - A circuit composed of chips, as the circuits that generate their witnesses.
- Embedded
Circuit - One chip of a
CircuitM4, as the circuit that generates its witness.
Enums§
- Circuit
M4Error - Reason an M4 circuit cannot be populated as it stands.
- Populate
M4Error - Reason the witness of an M4 circuit could not be generated.
Traits§
- Chip
Gadget - A gadget the builder emits either as inline gates or as a call to a chip.