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

verify

Verify a proof ProverProof using a VerifierIndex and a group_map.

Type Aliases

Result

The result of a proof verification.