Expand description
Module that contains the main API for creating and working with circuits.
gates
is misleading because we currently only use one custom gate throughout.
Re-exports§
pub use flex_gate::GateChip;
pub use flex_gate::GateInstructions;
pub use range::RangeChip;
pub use range::RangeInstructions;
Modules§
- Module providing tools to create a circuit using our gates
- Module implementing our simple custom gate and common functions using it
- Module using a single lookup table for range checks