Module verifier

Verifiers for (S)NARK.

Modules

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).

Traits

SnarkVerifier

(S)NARK verifier for verifying a (S)NARK.