Module dusk_plonk::composer

PLONK turbo composer definitions

Structs

• Builder
  Construct and prove circuits
• Compiler
  Generate the arguments to prove and verify a circuit
• Polynomial
  Represents a polynomial in coefficient form with its associated wire data
• Prover
  Turbo Prover with processed keys
• Verifier
  Verify proofs of a given circuit

Traits

• Circuit
  Circuit implementation that can be proved by a Composer
• Composer
  Circuit builder tool