jf_plonk::circuit

Module plonk_verifier

Source
Expand description

Circuits implementation Circuits for Plonk verifiers.

Structs§

  • BatchProofVar
    Represent variables of an aggregated SNARK proof that batchly proving multiple instances.
  • VerifyingKeyVar
    Represent variable of a Plonk verifying key.

Traits§