Crate halo2ccs

Structs

• AbsoluteCellPosition
  Cell position in a Plonkish table. column_index will be assigned for each column_type, starting from 0. For example if we had 1 instance column and 1 advice column, column_index of both will be 0. if we had 0 instance column and 2 advice column, first column_index is 0, second column_index is 1.

Enums

• Error
• VirtualColumnType
  Column type. Basically halo2_proofs::plonk::Any but with some variants added.

Functions

• convert_halo2_circuit
  Converts a Halo2 circuit into a sonobe CCS instance.
• is_ccs_plus_satisfied
  Takes the output of convert_halo2_circuit, and check if the CCS+ instance is satisfied.