mock_verifier_inputs.test.cpp File Reference

#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/multilinear_batching_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/flavor/ultra_zk_flavor.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/honk/types/public_inputs_type.hpp"
#include "barretenberg/stdlib/chonk_verifier/chonk_recursive_verifier.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "honk_recursion_constraint.hpp"
#include "proof_surgeon.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	MockVerifierInputsTest< Flavor >

Typedefs
using	FlavorTypes = testing::Types< MegaFlavor, UltraFlavor, UltraZKFlavor, UltraRollupFlavor >

Functions
	TYPED_TEST_SUITE (MockVerifierInputsTest, FlavorTypes)
	TEST (MockVerifierInputsTest, MockMergeProofSize)
	Check that the size of a mock merge proof matches expectation.
	TEST (MockVerifierInputsTest, MockPreIpaProofSize)
	Check that the size of a mock pre-ipa proof matches expectation.
	TEST (MockVerifierInputsTest, MockIPAProofSize)
	Check that the size of a mock ipa proof matches expectation.
	TEST (MockVerifierInputsTest, MockTranslatorProofSize)
	Check that the size of a mock translator proof matches expectation.
	TEST (MockVerifierInputsTest, MockMegaOinkProofSize)
	Check that the size of a mock Oink proof matches expectation for MegaFlavor.
	TYPED_TEST (MockVerifierInputsTest, MockUltraOinkProofSize)
	Check that the size of a mock Oink proof matches expectation for Ultra flavors.
	TYPED_TEST (MockVerifierInputsTest, MockDeciderProofSize)
	Check that the size of a mock Decider proof matches expectation based on Flavor.
	TEST (MockVerifierInputsTest, MockMegaHonkProofSize)
	Check that the size of a mock Honk proof matches expectation based for MegaFlavor.
	TYPED_TEST (MockVerifierInputsTest, MockUltraHonkProofSize)
	Check that the size of a mock Honk proof matches expectation for Ultra flavors.
	TEST (MockVerifierInputsTest, MockChonkProofSize)
	Check that the size of a mock Chonk proof matches expectation.
	TEST (MockVerifierInputsTest, MockMultilinearBatchingProofSize)
	Check that the size of a mock MultiLinearBatching proof matches expectation.

Typedef Documentation

FlavorTypes

using FlavorTypes = testing::Types<MegaFlavor, UltraFlavor, UltraZKFlavor, UltraRollupFlavor>

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

Function Documentation

TEST() [1/8]

TEST	(	MockVerifierInputsTest	,
		MockChonkProofSize
	)

Check that the size of a mock Chonk proof matches expectation.

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

TEST() [2/8]

TEST	(	MockVerifierInputsTest	,
		MockIPAProofSize
	)

Check that the size of a mock ipa proof matches expectation.

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

TEST() [3/8]

TEST	(	MockVerifierInputsTest	,
		MockMegaHonkProofSize
	)

Check that the size of a mock Honk proof matches expectation based for MegaFlavor.

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

TEST() [4/8]

TEST	(	MockVerifierInputsTest	,
		MockMegaOinkProofSize
	)

Check that the size of a mock Oink proof matches expectation for MegaFlavor.

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

TEST() [5/8]

TEST	(	MockVerifierInputsTest	,
		MockMergeProofSize
	)

Check that the size of a mock merge proof matches expectation.

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

TEST() [6/8]

TEST	(	MockVerifierInputsTest	,
		MockMultilinearBatchingProofSize
	)

Check that the size of a mock MultiLinearBatching proof matches expectation.

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

TEST() [7/8]

TEST	(	MockVerifierInputsTest	,
		MockPreIpaProofSize
	)

Check that the size of a mock pre-ipa proof matches expectation.

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

TEST() [8/8]

TEST	(	MockVerifierInputsTest	,
		MockTranslatorProofSize
	)

Check that the size of a mock translator proof matches expectation.

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

TYPED_TEST() [1/3]

TYPED_TEST	(	MockVerifierInputsTest	,
		MockDeciderProofSize
	)

Check that the size of a mock Decider proof matches expectation based on Flavor.

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

TYPED_TEST() [2/3]

TYPED_TEST	(	MockVerifierInputsTest	,
		MockUltraHonkProofSize
	)

Check that the size of a mock Honk proof matches expectation for Ultra flavors.

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

TYPED_TEST() [3/3]

TYPED_TEST	(	MockVerifierInputsTest	,
		MockUltraOinkProofSize
	)

Check that the size of a mock Oink proof matches expectation for Ultra flavors.

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	MockVerifierInputsTest	,
		FlavorTypes
	)