block_constraint.test.cpp File Reference

#include "block_constraint.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "barretenberg/dsl/acir_format/test_class.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include <cstdint>
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
struct	ROMTestParams< Builder_, TableSize_, NumReads_, PerformConstantOps_ >
class	ROMTestingFunctions< Builder_, table_size, num_reads, perform_constant_ops >
class	ROMTestingFunctions< Builder_, table_size, num_reads, perform_constant_ops >::InvalidWitness
class	ROMTest< Params >
struct	RAMTestParams< Builder_, TableSize_, NumReads_, NumWrites_, PerformConstantOps_ >
class	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >
struct	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::WitnessValue
class	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::InvalidWitness
class	RAMTest< Params >
struct	CallDataTestParams< CallDataType_, CallDataSize_, NumReads_, PerformConstantOps_ >
class	CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >
class	CallDataTestingFunctions< calldata_type, calldata_size, num_reads, perform_constant_ops >::InvalidWitness
class	CallDataTests< Params >
class	ReturnDataTestingFunctions< returndata_size >
class	ReturnDataTestingFunctions< returndata_size >::InvalidWitness
class	ReturnDataTests
class	EmptyBlockConstraintTests< Builder >

Typedefs
using	ROMTestConfigs = testing::Types< ROMTestParams< UltraCircuitBuilder, 0, 0, false >, ROMTestParams< UltraCircuitBuilder, 10, 0, false >, ROMTestParams< UltraCircuitBuilder, 10, 0, true >, ROMTestParams< MegaCircuitBuilder, 10, 10, true >, ROMTestParams< MegaCircuitBuilder, 10, 20, true > >
using	RAMTestConfigs = testing::Types< RAMTestParams< UltraCircuitBuilder, 0, 0, 0, false >, RAMTestParams< UltraCircuitBuilder, 10, 0, 0, false >, RAMTestParams< UltraCircuitBuilder, 10, 0, 0, true >, RAMTestParams< UltraCircuitBuilder, 10, 0, 10, false >, RAMTestParams< UltraCircuitBuilder, 10, 0, 10, true >, RAMTestParams< UltraCircuitBuilder, 10, 10, 0, false >, RAMTestParams< UltraCircuitBuilder, 10, 10, 0, true >, RAMTestParams< UltraCircuitBuilder, 10, 20, 10, true >, RAMTestParams< MegaCircuitBuilder, 0, 0, 0, false >, RAMTestParams< MegaCircuitBuilder, 10, 0, 0, false >, RAMTestParams< MegaCircuitBuilder, 10, 0, 0, true >, RAMTestParams< MegaCircuitBuilder, 10, 0, 10, false >, RAMTestParams< MegaCircuitBuilder, 10, 0, 10, true >, RAMTestParams< MegaCircuitBuilder, 10, 10, 0, false >, RAMTestParams< MegaCircuitBuilder, 10, 10, 0, true >, RAMTestParams< MegaCircuitBuilder, 10, 20, 10, true > >
using	CallDataTestConfigs = testing::Types< CallDataTestParams< CallDataType::Primary, 10, 5, false >, CallDataTestParams< CallDataType::Primary, 10, 5, true > >
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

Functions
template<AccessType access_type>
void	add_constant_ops (const size_t table_size, const std::vector< bb::fr > &table_values, WitnessVector &witness_values, std::vector< MemOp > &trace)
	Utility method to add read/write operations with constant indices/values.
	TYPED_TEST_SUITE (ROMTest, ROMTestConfigs)
	TYPED_TEST (ROMTest, GenerateVKFromConstraints)
	TYPED_TEST (ROMTest, Tampering)
	TYPED_TEST_SUITE (RAMTest, RAMTestConfigs)
	TYPED_TEST (RAMTest, GenerateVKFromConstraints)
	TYPED_TEST (RAMTest, Tampering)
	TYPED_TEST_SUITE (CallDataTests, CallDataTestConfigs)
	TYPED_TEST (CallDataTests, GenerateVKFromConstraints)
	TYPED_TEST (CallDataTests, Tampering)
	TEST_F (ReturnDataTests, GenerateVKFromConstraints)
	TYPED_TEST_SUITE (EmptyBlockConstraintTests, BuilderTypes)
	TYPED_TEST (EmptyBlockConstraintTests, EmptyBlockConstraints)

Typedef Documentation

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

Definition at line 573 of file block_constraint.test.cpp.

CallDataTestConfigs

using CallDataTestConfigs = testing::Types<CallDataTestParams<CallDataType::Primary, 10, 5, false>, CallDataTestParams<CallDataType::Primary, 10, 5, true> >

Definition at line 485 of file block_constraint.test.cpp.

RAMTestConfigs

using RAMTestConfigs = testing::Types<RAMTestParams<UltraCircuitBuilder, 0, 0, 0, false>, RAMTestParams<UltraCircuitBuilder, 10, 0, 0, false>, RAMTestParams<UltraCircuitBuilder, 10, 0, 0, true>, RAMTestParams<UltraCircuitBuilder, 10, 0, 10, false>, RAMTestParams<UltraCircuitBuilder, 10, 0, 10, true>, RAMTestParams<UltraCircuitBuilder, 10, 10, 0, false>, RAMTestParams<UltraCircuitBuilder, 10, 10, 0, true>, RAMTestParams<UltraCircuitBuilder, 10, 20, 10, true>, RAMTestParams<MegaCircuitBuilder, 0, 0, 0, false>, RAMTestParams<MegaCircuitBuilder, 10, 0, 0, false>, RAMTestParams<MegaCircuitBuilder, 10, 0, 0, true>, RAMTestParams<MegaCircuitBuilder, 10, 0, 10, false>, RAMTestParams<MegaCircuitBuilder, 10, 0, 10, true>, RAMTestParams<MegaCircuitBuilder, 10, 10, 0, false>, RAMTestParams<MegaCircuitBuilder, 10, 10, 0, true>, RAMTestParams<MegaCircuitBuilder, 10, 20, 10, true> >

Definition at line 368 of file block_constraint.test.cpp.

ROMTestConfigs

using ROMTestConfigs = testing::Types<ROMTestParams<UltraCircuitBuilder, 0, 0, false>, ROMTestParams<UltraCircuitBuilder, 10, 0, false>, ROMTestParams<UltraCircuitBuilder, 10, 0, true>, ROMTestParams<MegaCircuitBuilder, 10, 10, true>, ROMTestParams<MegaCircuitBuilder, 10, 20, true> >

Definition at line 176 of file block_constraint.test.cpp.

Function Documentation

add_constant_ops()

template<AccessType access_type>

void add_constant_ops	(	const size_t	table_size,
		const std::vector< bb::fr > &	table_values,
		WitnessVector &	witness_values,
		std::vector< MemOp > &	trace
	)

Utility method to add read/write operations with constant indices/values.

Definition at line 28 of file block_constraint.test.cpp.

TEST_F()

TEST_F	(	ReturnDataTests	,
		GenerateVKFromConstraints
	)

Definition at line 566 of file block_constraint.test.cpp.

TYPED_TEST() [1/7]

TYPED_TEST	(	CallDataTests	,
		GenerateVKFromConstraints
	)

Definition at line 500 of file block_constraint.test.cpp.

TYPED_TEST() [2/7]

TYPED_TEST	(	CallDataTests	,
		Tampering
	)

Definition at line 505 of file block_constraint.test.cpp.

TYPED_TEST() [3/7]

TYPED_TEST	(	EmptyBlockConstraintTests	,
		EmptyBlockConstraints
	)

Definition at line 577 of file block_constraint.test.cpp.

TYPED_TEST() [4/7]

TYPED_TEST	(	RAMTest	,
		GenerateVKFromConstraints
	)

Definition at line 390 of file block_constraint.test.cpp.

TYPED_TEST() [5/7]

TYPED_TEST	(	RAMTest	,
		Tampering
	)

Definition at line 397 of file block_constraint.test.cpp.

TYPED_TEST() [6/7]

TYPED_TEST	(	ROMTest	,
		GenerateVKFromConstraints
	)

Definition at line 185 of file block_constraint.test.cpp.

TYPED_TEST() [7/7]

TYPED_TEST	(	ROMTest	,
		Tampering
	)

Definition at line 192 of file block_constraint.test.cpp.

TYPED_TEST_SUITE() [1/4]

TYPED_TEST_SUITE	(	CallDataTests	,
		CallDataTestConfigs
	)

TYPED_TEST_SUITE() [2/4]

TYPED_TEST_SUITE	(	EmptyBlockConstraintTests	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/4]

TYPED_TEST_SUITE	(	RAMTest	,
		RAMTestConfigs
	)

TYPED_TEST_SUITE() [4/4]

TYPED_TEST_SUITE	(	ROMTest	,
		ROMTestConfigs
	)