Module verifier 

This module implements zk-proof batch verifier functionality.

Structs

Context

Functions

batch_verify

This function verifies the batch of zk-proofs proofs: vector of Plonk proofs 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.

Type Aliases

Result

The result of a proof verification.