Module plonk

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.