bb::ChonkBatchVerifier Class Reference

Batch verifier for multiple Chonk IVC proofs. More...

#include <chonk_batch_verifier.hpp>

Classes
struct	Input

Static Public Member Functions
static bool	verify (std::span< const Input > inputs)
	Verify multiple Chonk proofs with batched IPA verification.

Detailed Description

Batch verifier for multiple Chonk IVC proofs.

Runs all non-IPA verification (MegaZK, databus, Goblin) for each proof independently, then batches the resulting IPA opening claims into a single IPA verification via random linear combination. This replaces N separate large SRS MSMs with one, giving ~Nx speedup on the IPA bottleneck.

Definition at line 14 of file chonk_batch_verifier.hpp.

Member Function Documentation

verify()

bool bb::ChonkBatchVerifier::verify ( std::span< const Input >  inputs )

static

Verify multiple Chonk proofs with batched IPA verification.

For each proof, performs all non-IPA verification (MegaZK, databus, Goblin). If all pass, collects IPA claims and batch-verifies them with a single SRS MSM. Returns true only if ALL proofs verify. On failure, does not identify which proof failed.

Parameters

inputs

Span of (proof, vk_and_hash) pairs to verify

Returns

true if all proofs verify

Definition at line 8 of file chonk_batch_verifier.cpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/chonk/chonk_batch_verifier.hpp
• src/barretenberg/chonk/chonk_batch_verifier.cpp