Module halo2_backend::plonk

This module provides an implementation of a variant of (Turbo)PLONK that is designed specifically for the polynomial commitment scheme described in the Halo paper.

Modules

• keygen
  This module
• prover
  Generate a proof
• verifier
  Verify a plonk proof

Structs

• PinnedVerificationKey
  Minimal representation of a verification key that can be used to identify its active contents.
• ProvingKey
  This is a proving key which allows for the creation of proofs for a particular circuit.
• VerifyingKey
  This is a verifying key which allows for the verification of proofs for a particular circuit.

Enums

• Error
  This is an error that could occur during proving.