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;
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;

Structs

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.