chonk_batch_verifier.test.cpp File Reference

#include "chonk_batch_verifier.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/chonk/mock_circuit_producer.hpp"
#include "barretenberg/common/test.hpp"
#include <algorithm>
#include <atomic>
#include <condition_variable>
#include <mutex>
#include <numeric>
#include <random>
#include <set>

Go to the source code of this file.

Classes
class	ChonkBatchVerifierTests
struct	ChonkBatchVerifierTests::ResultCollector
	Helper: collect results from the processor via callback. More...

Functions
	TEST_F (ChonkBatchVerifierTests, BatchOfTwoValidProofs)
	TEST_F (ChonkBatchVerifierTests, FlushOnShutdown)
	TEST_F (ChonkBatchVerifierTests, TamperedProofBisected)
	TEST_F (ChonkBatchVerifierTests, RandomMixedBatches)
	Parameterized mixed good/bad batch test.
	TEST_F (ChonkBatchVerifierTests, InvalidVkIndex)

Function Documentation

TEST_F() [1/5]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchOfTwoValidProofs
	)

Definition at line 64 of file chonk_batch_verifier.test.cpp.

TEST_F() [2/5]

TEST_F	(	ChonkBatchVerifierTests	,
		FlushOnShutdown
	)

Definition at line 89 of file chonk_batch_verifier.test.cpp.

TEST_F() [3/5]

TEST_F	(	ChonkBatchVerifierTests	,
		InvalidVkIndex
	)

Definition at line 235 of file chonk_batch_verifier.test.cpp.

TEST_F() [4/5]

TEST_F	(	ChonkBatchVerifierTests	,
		RandomMixedBatches
	)

Parameterized mixed good/bad batch test.

The seed drives everything: total proof count, how many are bad, batch size, and which indices are corrupted. Each seed produces a deterministic scenario.

Definition at line 159 of file chonk_batch_verifier.test.cpp.

TEST_F() [5/5]

TEST_F	(	ChonkBatchVerifierTests	,
		TamperedProofBisected
	)

Definition at line 109 of file chonk_batch_verifier.test.cpp.