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.