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§

BatchableCircuit
Plonk Circuit that support batch verification