native_verification_key.test.cpp File Reference

#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_keccak_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	NativeVerificationKeyTests< Flavor >

Typedefs
using	FlavorTypes = testing::Types< UltraFlavor, UltraKeccakFlavor, UltraRollupFlavor, MegaFlavor, ECCVMFlavor, TranslatorFlavor >

Functions
	TYPED_TEST_SUITE (NativeVerificationKeyTests, FlavorTypes)
	TYPED_TEST (NativeVerificationKeyTests, VKHashingConsistency)
	Checks that the hash produced from calling to_field_elements and then add_to_independent_hash_buffer is the same as the hash() call and also the same as the hash_through_transcript.
	TYPED_TEST (NativeVerificationKeyTests, VKSizeCheck)
	Check that size of a ultra honk proof matches the corresponding constant.

Typedef Documentation

FlavorTypes

using FlavorTypes = testing::Types<UltraFlavor, UltraKeccakFlavor, UltraRollupFlavor, MegaFlavor, ECCVMFlavor, TranslatorFlavor>

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

Function Documentation

TYPED_TEST() [1/2]

TYPED_TEST	(	NativeVerificationKeyTests	,
		VKHashingConsistency
	)

Checks that the hash produced from calling to_field_elements and then add_to_independent_hash_buffer is the same as the hash() call and also the same as the hash_through_transcript.

Definition at line 67 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 102 of file native_verification_key.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	NativeVerificationKeyTests	,
		FlavorTypes
	)