Module plonkup::proof_system

Expand description

Proving system

Structs

A Proof is a composition of Commitments to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as the ProofEvaluations.

Abstraction structure designed to construct a circuit and generate Proofs for it.

PLONK circuit Proving Key.

Abstraction structure designed verify Proofs.

PLONK circuit Verification Key.