Module dusk_plonk::prelude[−][src]

Expand description

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;`
`pub use crate::circuit::Circuit;`
`pub use crate::circuit::PublicInputValue;`
`pub use crate::circuit::VerifierData;`
`pub use crate::commitment_scheme::kzg10::key::CommitKey;`
`pub use crate::commitment_scheme::kzg10::key::OpeningKey;`
`pub use crate::commitment_scheme::kzg10::PublicParameters;`
`pub use crate::constraint_system::Point;`
`pub use crate::proof_system::Prover;`
`pub use crate::proof_system::Verifier;`
`pub use crate::proof_system::Proof;`
`pub use crate::error::Error;`

BlsScalar	Re-exported [`dusk-bls12_381::BlsScalar`].
JubJubAffine	Re-exported [`dusk-jubjub::JubJubScalar`] & [`dusk-jubjub::JubJubAffine`].
JubJubScalar	Re-exported [`dusk-jubjub::JubJubScalar`] & [`dusk-jubjub::JubJubAffine`].
ProverKey	PLONK circuit Proving Key.
StandardComposer	The StandardComposer is the circuit-builder tool that the `dusk-plonk` repository provides so that circuit descriptions can be written, stored and transformed into a `Proof` at some point.
Variable	The value is a reference to the actual value that was added to the constraint system
VerifierKey	PLONK circuit Verification Key.