Module halo2

Helper functions for raw halo2 operations to unify slight differences in API for halo2-axiom and halo2-pse

Traits

KeygenCircuitIntent

This trait should be implemented on the minimal circuit configuration data necessary to completely determine a circuit (independent of circuit inputs). This is used to generate a dummy instantiation of a concrete Circuit type for the purposes of key generation. This dummy instantiation just needs to have the correct arithmetization format, but the witnesses do not need to satisfy constraints.

ProvingKeyGenerator

Trait for creating a proving key and a pinning for a circuit from minimal circuit configuration data.

Functions

constrain_virtual_equals_external

Constrains that virtual_cell is equal to external_cell. The virtual_cell must have already been raw assigned with the raw assigned cell stored in copy_manager unless it is marked an external-only cell with type id EXTERNAL_CELL_TYPE_ID.

raw_assign_advice

Assign advice to physical region.

raw_assign_fixed

Assign fixed to physical region.

raw_constrain_equal

Constrain two physical cells to be equal.

Type Aliases

Halo2AssignedCell

Raw (physical) assigned cell in Plonkish arithmetization.