Expand description
This module implements the data structures of a proof.
Modules§
Structs§
- Lookup
Commitments - Commitments linked to the lookup feature
- Point
Evaluations - Evaluations of a polynomial at 2 points
- Proof
Evaluations - Polynomial evaluations contained in a
ProverProof. - Prover
Commitments - All the commitments that the prover creates as part of the proof.
- Prover
Proof - The proof that the prover creates from a
ProverIndex and a
witness. - Recursion
Challenge - A struct to store the challenges inside a
ProverProof