Expand description
GKR batch prover for Grand Product and LogUp lookup arguments.
Structs§
- GkrArtifact
- Values of interest obtained from the execution of the GKR protocol.
- GkrBatch
Proof - Batch GKR proof.
- GkrMask
- Stores two evaluations of each column in a GKR layer.
- Invalid
NumMask Columns Error - Error indicating the mask has an invalid number of columns for a gate’s operation.
- NotConstant
Poly Error - Error returned when a polynomial is expected to be constant but it is not.
- NotOutput
Layer Error
Enums§
- Gate
- Defines how a circuit operates locally on two input rows to produce a single output row. This local 2-to-1 constraint is what gives the whole circuit its “binary tree” structure.
- GkrError
- Error encountered during GKR protocol verification.
- Layer
- Represents a layer in a binary tree structured GKR circuit.
Functions§
- correct_
sum_ as_ poly_ in_ first_ variable - Computes
r(t) = sum_x eq((t, x), y[-k:]) * p(t, x)from evaluations off(t) = sum_x eq(({0}^(n - k), 0, x), y) * p(t, x). - partially_
verify_ batch - Partially verifies a batch GKR proof.
- prove_
batch - Batch proves lookup circuits with GKR.
Type Aliases§
- Layer
Index - GKR layer index where 0 corresponds to the output layer.