stdlib_verification_key.test.cpp File Reference

#include "barretenberg/eccvm/eccvm_circuit_builder.hpp"
#include "barretenberg/flavor/mega_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_recursive_flavor.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/eccvm_verifier/eccvm_recursive_flavor.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_flavor.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	StdlibVerificationKeyTests< Flavor >

Typedefs
using	FlavorTypes = testing::Types< UltraRecursiveFlavor_< UltraCircuitBuilder >, UltraRecursiveFlavor_< MegaCircuitBuilder >, UltraRollupRecursiveFlavor_< UltraCircuitBuilder >, MegaRecursiveFlavor_< MegaCircuitBuilder >, ECCVMRecursiveFlavor, TranslatorRecursiveFlavor >

Functions
	TYPED_TEST_SUITE (StdlibVerificationKeyTests, FlavorTypes)
	TYPED_TEST (StdlibVerificationKeyTests, 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.

Typedef Documentation

FlavorTypes

using FlavorTypes = testing::Types<UltraRecursiveFlavor_<UltraCircuitBuilder>, UltraRecursiveFlavor_<MegaCircuitBuilder>, UltraRollupRecursiveFlavor_<UltraCircuitBuilder>, MegaRecursiveFlavor_<MegaCircuitBuilder>, ECCVMRecursiveFlavor, TranslatorRecursiveFlavor>

Definition at line 34 of file stdlib_verification_key.test.cpp.

Function Documentation

TYPED_TEST()

TYPED_TEST	(	StdlibVerificationKeyTests	,
		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 47 of file stdlib_verification_key.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	StdlibVerificationKeyTests	,
		FlavorTypes
	)