Module verifier

Expand description

This module implements zk-proof batch verifier functionality.

Structs§

batch_verify: This function verifies the batch of zk-proofs proofs: vector of Plonk proofs RETURN: verification status
batch_verify_with_rng: This function verifies the batch of zk-proofs with an explicit RNG. proofs: vector of Plonk proofs rng: random number generator RETURN: verification status
check_proof_evals_len 🔒: Enforce the length of evaluations inside ProverProof. Atm, the length of evaluations(both zeta and zeta_omega) SHOULD be 1. The length value is prone to future change.
to_batch 🔒
verify: Verify a proof ProverProof using a VerifierIndex and a group_map.
verify_with_rng: Verify a proof ProverProof using a VerifierIndex, a group_map, and an RNG.