chonk_batch_verifier.test.cpp File Reference

#include "barretenberg/chonk/chonk_batch_verifier.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/chonk/mock_circuit_producer.hpp"
#include "barretenberg/common/test.hpp"

Go to the source code of this file.

Classes
class	ChonkBatchVerifierTests

Functions
	TEST_F (ChonkBatchVerifierTests, BatchVerifyTwoValidProofs)
	TEST_F (ChonkBatchVerifierTests, BatchVerifySingleProof)
	TEST_F (ChonkBatchVerifierTests, BatchVerifyTamperedIPAProof)
	Tamper with only the IPA proof, keeping all other proof components valid.
	TEST_F (ChonkBatchVerifierTests, BatchVerifySwappedGoblinProofs)
	Swap goblin proofs between two valid Chonk proofs to test non-IPA verification failures.

Function Documentation

TEST_F() [1/4]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchVerifySingleProof
	)

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

TEST_F() [2/4]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchVerifySwappedGoblinProofs
	)

Swap goblin proofs between two valid Chonk proofs to test non-IPA verification failures.

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

TEST_F() [3/4]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchVerifyTamperedIPAProof
	)

Tamper with only the IPA proof, keeping all other proof components valid.

Targets the batch IPA verification path (Phase 2 of ChonkBatchVerifier).

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

TEST_F() [4/4]

TEST_F	(	ChonkBatchVerifierTests	,
		BatchVerifyTwoValidProofs
	)

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