Expand description

Base library to build Halo2 circuits.


pub use halo2_proofs_axiom as halo2_proofs;


Module that contains the main API for creating and working with circuits.
Module for SafeType which enforce value range and realted functions.
Utility functions for converting between different types of field elements.


Pointer containing cell value and location within Context.
Represents a single thread of an execution trace.
Pointer to the position of a cell at offset in an advice column within a Context of context_id.


Convenience Enum which abstracts the scenarios under a value is added to an advice column.


Constant representing whether the Layouter calls synthesize once just to get region shape.