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; |
Structs
BlsScalar | Re-exported |
CommitKey | CommitKey is used to commit to a polynomial which is bounded by the max_degree. |
JubJubScalar | Re-exported |
OpeningKey | Opening Key is used to verify opening proofs made about a committed polynomial. |
Proof | A Proof is a composition of |
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 |
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 |