Module dusk_plonk::prelude

source ·
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.

Structs

  • BlsScalar
    Represents an element of the scalar field $\mathbb{F}_q$ of the BLS12-381 elliptic curve construction.
  • Compiler
    Generate the arguments to prove and verify a circuit
  • Composer
    Construct and prove circuits
  • Constraint
    Constraint representation containing the coefficients of a polynomial evaluation
  • Proof
    A Proof is a composition of Commitments to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as the ProofEvaluations.
  • Prover
    Turbo Prover with processed keys
  • 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.
  • Verifier
    Verify proofs of a given circuit
  • Witness
    Allocated witness in the constraint system.
  • WitnessPoint
    Represents a JubJub point in the circuit

Enums

  • Error
    Defines all possible errors that can be encountered in PLONK.

Traits

  • Circuit
    Circuit implementation that can be proved by a Composer

Type Aliases