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/client_ivc/client_ivc.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.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, MockHonkProofSize)
	Check that the size of a mock Honk proof matches expectation for Ultra flavors.
	TEST (MockVerifierInputsTest, MockClientIVCProofSize)
	Check that the size of a mock ClientIVC proof matches expectation.

Typedef Documentation

FlavorTypes

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

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

Function Documentation

TEST() [1/7]

TEST	(	MockVerifierInputsTest	,
		MockClientIVCProofSize
	)

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

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

TEST() [2/7]

TEST	(	MockVerifierInputsTest	,
		MockIPAProofSize
	)

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

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

TEST() [3/7]

TEST	(	MockVerifierInputsTest	,
		MockMegaHonkProofSize
	)

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

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

TEST() [4/7]

TEST	(	MockVerifierInputsTest	,
		MockMegaOinkProofSize
	)

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

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

TEST() [5/7]

TEST	(	MockVerifierInputsTest	,
		MockMergeProofSize
	)

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

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

TEST() [6/7]

TEST	(	MockVerifierInputsTest	,
		MockPreIpaProofSize
	)

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

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

TEST() [7/7]

TEST	(	MockVerifierInputsTest	,
		MockTranslatorProofSize
	)

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

Definition at line 59 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 121 of file mock_verifier_inputs.test.cpp.

TYPED_TEST() [2/3]

TYPED_TEST	(	MockVerifierInputsTest	,
		MockHonkProofSize
	)

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

Definition at line 168 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 100 of file mock_verifier_inputs.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	MockVerifierInputsTest	,
		FlavorTypes
	)