Expand description
Data structures used in Plonk proof systems
Structs§
- Batch
Proof - An aggregated SNARK proof that batchly proving multiple instances.
- Plookup
Evaluations - A struct that stores the polynomial evaluations in a Plookup argument proof.
- Plookup
Proof - A Plookup argument proof.
- Plookup
Proving Key - Preprocessed prover parameters used to compute Plookup proofs for a certain circuit.
- Plookup
Verifying Key - Preprocessed verifier parameters used to verify Plookup proofs for a certain circuit.
- Proof
- A Plonk SNARK proof.
- Proof
Evaluations - A struct that stores the polynomial evaluations in a Plonk proof.
- Proving
Key - Preprocessed prover parameters used to compute Plonk proofs for a certain circuit.
- Verifying
Key - Preprocessed verifier parameters used to verify Plonk proofs for a certain circuit.
Type Aliases§
- Commit
Key - Commitment key
- OpenKey
- Key for verifying PCS opening proof.
- Universal
Srs - Universal StructuredReferenceString