Module dusk_plonk::prelude[−][src]

Collection of functions needed to use plonk library.

Use this as the only import that you need to interact with the principal data structures of the plonk library.

Re-exports

pub use crate::circuit::Circuit;

pub use crate::circuit::PublicInputValue;

pub use crate::error::Error;

BlsScalar	Re-exported `dusk-bls12_381::BlsScalar`.
CommitKey	CommitKey is used to commit to a polynomial which is bounded by the max_degree.
JubJubScalar	Re-exported `dusk-jubjub::JubJubScalar`.
OpeningKey	Opening Key is used to verify opening proofs made about a committed polynomial.
Proof	A Proof is a composition of `Commitments` to the witness, permutation, quotient, shifted and opening polynomials as well as the `ProofEvaluations`.
Prover	Prover composes a circuit and builds a proof
ProverKey	PLONK circuit proving key
PublicParameters	The Public Parameters can also be referred to as the Structured Reference String (SRS). It is available to both the prover and verifier and allows the verifier to efficiently verify and make claims about polynomials up to and including a configured degree.
StandardComposer	A composer is a circuit builder and will dictate how a circuit is built We will have a default Composer called `StandardComposer`
Variable	The value is a reference to the actual value that was added to the constraint system
Verifier	Verifier verifies a proof
VerifierKey	PLONK circuit verification key