#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_keccak_flavor.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include <gtest/gtest.h>

Classes
struct	VKTestParams< Flavor_, IO_ >

class	NativeVerificationKeyTests< Params >

Typedefs
using	TestTypes = testing::Types< VKTestParams< UltraFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > >, VKTestParams< UltraFlavor, stdlib::recursion::honk::RollupIO >, VKTestParams< UltraKeccakFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > >, VKTestParams< MegaFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > >

Functions
	TYPED_TEST_SUITE (NativeVerificationKeyTests, TestTypes)

	TYPED_TEST (NativeVerificationKeyTests, VKHashingConsistency)
	Checks that the hash produced from calling hash() is the same as hash_with_origin_tagging().

	TYPED_TEST (NativeVerificationKeyTests, VKSizeCheck)
	Check that size of a ultra honk proof matches the corresponding constant.

Typedef Documentation

◆ TestTypes

using TestTypes = testing::Types<VKTestParams<UltraFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder> >, VKTestParams<UltraFlavor, stdlib::recursion::honk::RollupIO>, VKTestParams<UltraKeccakFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder> >, VKTestParams<MegaFlavor, stdlib::recursion::honk::DefaultIO<MegaCircuitBuilder> >>

Definition at line 27 of file native_verification_key.test.cpp.

Function Documentation

◆ TYPED_TEST() [1/2]

TYPED_TEST	(	NativeVerificationKeyTests	,
		VKHashingConsistency
	)

Checks that the hash produced from calling hash() is the same as hash_with_origin_tagging().

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

◆ TYPED_TEST() [2/2]

TYPED_TEST	(	NativeVerificationKeyTests	,
		VKSizeCheck
	)

Check that size of a ultra honk proof matches the corresponding constant.

If this test FAILS, then the following (non-exhaustive) list should probably be updated as well:

VK length formula in ultra_flavor.hpp, mega_flavor.hpp, etc...
ultra_transcript.test.cpp
constants in yarn-project in: constants.nr, constants.gen.ts, ConstantsGen.sol, lib.nr in bb_proof_verification/src, main.nr of recursive acir_tests programs. with recursive verification circuits

Definition at line 83 of file native_verification_key.test.cpp.

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	NativeVerificationKeyTests	,
		TestTypes
	)

Classes