Expand description
Modules that orchestrate creating a GKR Proof
Modules§
- helpers
- Includes boilerplate for creating a GKR circuit, i.e. creating a transcript, proving, verifying, etc.
- layers
- Struct for representing a list of layers
- proof_
system - Includes various traits that define interfaces of a GKR Prover
Structs§
- GKRCircuit
Description - The complete description of a layered circuit whose output validity can be proven against a set of committed inputs.
- Instantiated
Circuit - The witness of a GKR circuit, used to actually prove the circuit
- Sumcheck
Proof - A proof of the sumcheck protocol; Outer vec is rounds, inner vec is evaluations this inner vec is none if there is no sumcheck proof
Enums§
- GKRError
- Errors that can be generated during GKR proving.
Functions§
- prove_
circuit - Assumes that the inputs have already been added to the transcript (if necessary). Returns the vector of claims on the input layers.