chonk_batch_verifier.test.cpp File Reference

#include "chonk_batch_verifier.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/chonk/chonk_verifier.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>
#include <stdexcept>
#include <thread>

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, TamperedIpaGZeroRejected)
	TEST_F (ChonkBatchVerifierTests, RejectsDuplicateRequestId)
	TEST_F (ChonkBatchVerifierTests, RejectsEnqueueAfterStop)
	TEST_F (ChonkBatchVerifierTests, ConcurrentStopIsIdempotent)
	TEST_F (ChonkBatchVerifierTests, RejectsDoubleStart)
	TEST_F (ChonkBatchVerifierTests, WrongProofSizeReturnsFailedResult)
	TEST_F (ChonkBatchVerifierTests, CallbackExceptionDoesNotKillVerifier)
	TEST_F (ChonkBatchVerifierTests, RandomMixedBatches)
	Parameterized mixed good/bad batch test.
	TEST_F (ChonkBatchVerifierTests, InvalidVkIndex)

Function Documentation

TEST_F() [1/12]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchOfTwoValidProofs
	)

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

TEST_F() [2/12]

TEST_F	(	ChonkBatchVerifierTests	,
		CallbackExceptionDoesNotKillVerifier
	)

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

TEST_F() [3/12]

TEST_F	(	ChonkBatchVerifierTests	,
		ConcurrentStopIsIdempotent
	)

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

TEST_F() [4/12]

TEST_F	(	ChonkBatchVerifierTests	,
		FlushOnShutdown
	)

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

TEST_F() [5/12]

TEST_F	(	ChonkBatchVerifierTests	,
		InvalidVkIndex
	)

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

TEST_F() [6/12]

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 320 of file chonk_batch_verifier.test.cpp.

TEST_F() [7/12]

TEST_F	(	ChonkBatchVerifierTests	,
		RejectsDoubleStart
	)

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

TEST_F() [8/12]

TEST_F	(	ChonkBatchVerifierTests	,
		RejectsDuplicateRequestId
	)

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

TEST_F() [9/12]

TEST_F	(	ChonkBatchVerifierTests	,
		RejectsEnqueueAfterStop
	)

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

TEST_F() [10/12]

TEST_F	(	ChonkBatchVerifierTests	,
		TamperedIpaGZeroRejected
	)

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

TEST_F() [11/12]

TEST_F	(	ChonkBatchVerifierTests	,
		TamperedProofBisected
	)

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

TEST_F() [12/12]

TEST_F	(	ChonkBatchVerifierTests	,
		WrongProofSizeReturnsFailedResult
	)

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