Module gates

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

circuit

Module providing tools to create a circuit using our gates

flex_gate

Module implementing our simple custom gate and common functions using it

range

Module using a single lookup table for range checks