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.