Module plonk

snark_verifier::verifier

Module plonk 

Source
Expand description

Verifiers for PLONK, currently there are PlonkSuccinctVerifier and PlonkVerifier implemented and both are implemented assuming the used PolynomialCommitmentScheme has atomic or split accumulation scheme (PlonkVerifier is just PlonkSuccinctVerifier plus doing accumulator deciding then returns accept/reject as ouput).

Structsยง

PlonkProof
Proof of PLONK with PolynomialCommitmentScheme that has AccumulationScheme.
PlonkProtocol
Protocol specifying configuration of a PLONK.
PlonkSuccinctVerifier
Verifier that verifies the cheap part of PLONK and ouput the accumulator.
PlonkVerifier
Verifier that first verifies the cheap part of PLONK, then decides accumulator and returns accept/reject as ouput.