Module dusk_plonk::proof_system
source · Expand description
Proving system
Structs
- A Proof is a composition of
Commitment
s to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as theProofEvaluations
.
Proving system
Commitment
s to the Witness, Permutation,
Quotient, Shifted and Opening polynomials as well as the
ProofEvaluations
.