mock_verifier_inputs.test.cpp File Reference

#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/chonk/chonk_proof.hpp"
#include "barretenberg/flavor/mega_zk_flavor.hpp"
#include "barretenberg/honk/proof_length.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	MockVerifierInputsTest

Functions
	TEST_F (MockVerifierInputsTest, MockMergeProofSize)
	Check that mock merge proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockBatchMergeProofSize)
	Check that mock batch merge proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockPreIpaProofSize)
	Check that mock ECCVM proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockIPAProofSize)
	Check that mock IPA proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockTranslatorProofSize)
	Check that mock Translator proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockMegaOinkProofSize)
	Check that mock Oink proofs have the expected size for MegaFlavor.
	TEST_F (MockVerifierInputsTest, MockUltraOinkProofSize)
	Check that mock Oink proofs have the expected size for Ultra flavors.
	TEST_F (MockVerifierInputsTest, MockMegaHonkProofSize)
	Check that mock Honk proofs have the expected size for MegaFlavor.
	TEST_F (MockVerifierInputsTest, MockUltraHonkProofSize)
	Check that mock Honk proofs have the expected size for Ultra flavors.
	TEST_F (MockVerifierInputsTest, DISABLED_MockAVMProofSize)
	TEST_F (MockVerifierInputsTest, MockAVMProofSizePadded)
	TEST_F (MockVerifierInputsTest, MockChonkProofSize)
	Check that mock Chonk proof has the expected size.
	TEST_F (MockVerifierInputsTest, MockMultilinearBatchingProofSize)
	Check that mock MultilinearBatching proof has the expected size.

Function Documentation

TEST_F() [1/13]

TEST_F	(	MockVerifierInputsTest	,
		DISABLED_MockAVMProofSize
	)

Definition at line 193 of file mock_verifier_inputs.test.cpp.

TEST_F() [2/13]

TEST_F	(	MockVerifierInputsTest	,
		MockAVMProofSizePadded
	)

Definition at line 199 of file mock_verifier_inputs.test.cpp.

TEST_F() [3/13]

TEST_F	(	MockVerifierInputsTest	,
		MockBatchMergeProofSize
	)

Check that mock batch merge proof has the expected size.

Definition at line 66 of file mock_verifier_inputs.test.cpp.

TEST_F() [4/13]

TEST_F	(	MockVerifierInputsTest	,
		MockChonkProofSize
	)

Check that mock Chonk proof has the expected size.

Definition at line 208 of file mock_verifier_inputs.test.cpp.

TEST_F() [5/13]

TEST_F	(	MockVerifierInputsTest	,
		MockIPAProofSize
	)

Check that mock IPA proof has the expected size.

Definition at line 84 of file mock_verifier_inputs.test.cpp.

TEST_F() [6/13]

TEST_F	(	MockVerifierInputsTest	,
		MockMegaHonkProofSize
	)

Check that mock Honk proofs have the expected size for MegaFlavor.

Definition at line 146 of file mock_verifier_inputs.test.cpp.

TEST_F() [7/13]

TEST_F	(	MockVerifierInputsTest	,
		MockMegaOinkProofSize
	)

Check that mock Oink proofs have the expected size for MegaFlavor.

Definition at line 102 of file mock_verifier_inputs.test.cpp.

TEST_F() [8/13]

TEST_F	(	MockVerifierInputsTest	,
		MockMergeProofSize
	)

Check that mock merge proof has the expected size.

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

TEST_F() [9/13]

TEST_F	(	MockVerifierInputsTest	,
		MockMultilinearBatchingProofSize
	)

Check that mock MultilinearBatching proof has the expected size.

Definition at line 218 of file mock_verifier_inputs.test.cpp.

TEST_F() [10/13]

TEST_F	(	MockVerifierInputsTest	,
		MockPreIpaProofSize
	)

Check that mock ECCVM proof has the expected size.

Definition at line 75 of file mock_verifier_inputs.test.cpp.

TEST_F() [11/13]

TEST_F	(	MockVerifierInputsTest	,
		MockTranslatorProofSize
	)

Check that mock Translator proof has the expected size.

Definition at line 93 of file mock_verifier_inputs.test.cpp.

TEST_F() [12/13]

TEST_F	(	MockVerifierInputsTest	,
		MockUltraHonkProofSize
	)

Check that mock Honk proofs have the expected size for Ultra flavors.

Definition at line 165 of file mock_verifier_inputs.test.cpp.

TEST_F() [13/13]

TEST_F	(	MockVerifierInputsTest	,
		MockUltraOinkProofSize
	)

Check that mock Oink proofs have the expected size for Ultra flavors.

Definition at line 121 of file mock_verifier_inputs.test.cpp.