mock_verifier_inputs.test.cpp File Reference

#include "barretenberg/dsl/acir_format/mock_verifier_inputs.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, 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/12]

TEST_F	(	MockVerifierInputsTest	,
		DISABLED_MockAVMProofSize
	)

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

TEST_F() [2/12]

TEST_F	(	MockVerifierInputsTest	,
		MockAVMProofSizePadded
	)

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

TEST_F() [3/12]

TEST_F	(	MockVerifierInputsTest	,
		MockChonkProofSize
	)

Check that mock Chonk proof has the expected size.

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

TEST_F() [4/12]

TEST_F	(	MockVerifierInputsTest	,
		MockIPAProofSize
	)

Check that mock IPA proof has the expected size.

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

TEST_F() [5/12]

TEST_F	(	MockVerifierInputsTest	,
		MockMegaHonkProofSize
	)

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

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

TEST_F() [6/12]

TEST_F	(	MockVerifierInputsTest	,
		MockMegaOinkProofSize
	)

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

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

TEST_F() [7/12]

TEST_F	(	MockVerifierInputsTest	,
		MockMergeProofSize
	)

Check that mock merge proof has the expected size.

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

TEST_F() [8/12]

TEST_F	(	MockVerifierInputsTest	,
		MockMultilinearBatchingProofSize
	)

Check that mock MultilinearBatching proof has the expected size.

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

TEST_F() [9/12]

TEST_F	(	MockVerifierInputsTest	,
		MockPreIpaProofSize
	)

Check that mock ECCVM proof has the expected size.

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

TEST_F() [10/12]

TEST_F	(	MockVerifierInputsTest	,
		MockTranslatorProofSize
	)

Check that mock Translator proof has the expected size.

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

TEST_F() [11/12]

TEST_F	(	MockVerifierInputsTest	,
		MockUltraHonkProofSize
	)

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

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

TEST_F() [12/12]

TEST_F	(	MockVerifierInputsTest	,
		MockUltraOinkProofSize
	)

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

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