Module halo2_proofs::plonk
source · Expand description
Structs§
- An advice column
- A challenge squeezed from transcript after advice columns at the phase have been committed.
- A column with an index and type
- This is a description of the circuit environment, such as the gate, column and permutation arrangements.
- This is a description of the circuit environment, such as the gate, column and permutation arrangements.
- A set of polynomial constraints with a common selector.
- First phase
- A fixed column
- Query of fixed column at a certain relative location
- An instance column
- This is a proving key which allows for the creation of proofs for a particular circuit.
- Second phase
- A selector, representing a fixed boolean value per row of the circuit.
- A fixed column of a lookup table.
- Third phase
- This is a verifying key which allows for the verification of proofs for a particular circuit.
- Exposes the “virtual cells” that can be queried while creating a custom gate or lookup table.
Enums§
- An enum over the Advice, Fixed, Instance structs
- A value assigned to a cell within a circuit.
- This is an error that could occur during proving or circuit synthesis.
- This is an error that could occur during proving.
- This is an error that could occur during circuit synthesis.
- Low-degree expression representing an identity that must hold over the committed columns.
Traits§
- This trait allows a
Circuit
to direct some backend to assign a witness for a constraint system. - This is a trait that circuits provide implementations for so that the backend prover can ask the circuit to synthesize using some given
ConstraintSystem
implementation. - A column type
- A floor planning strategy for a circuit.
- Phase of advice column
Functions§
- This creates a proof for the provided
circuit
when given the public parametersparams
and the proving keyProvingKey
that was generated previously for the same circuit. The providedinstances
are zero-padded internally. - This creates a proof for the provided
circuit
when given the public parametersparams
and the proving keyProvingKey
that was generated previously for the same circuit. The providedinstances
are zero-padded internally. - Generate a
ProvingKey
from aVerifyingKey
and an instance ofCircuit
. By default, selector compression is turned ON. - Generate a
ProvingKey
from an instance ofCircuit
. - Generate a
VerifyingKey
from an instance ofCircuit
. By default, selector compression is turned ON. - Generate a
VerifyingKey
from an instance ofCircuit
. - Reads a proving key from a buffer. Does so by reading verification key first, and then deserializing the rest of the file into the remaining proving key data.
- Returns a boolean indicating whether or not the proof is valid
- Reads a verification key from a buffer.