block_constraint.test.cpp File Reference

#include "block_constraint.hpp"
#include "acir_format.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	ReturnDataTestsParams< ReturnDataSize_ >
class	ReturnDataTests< Params >

Typedefs
using	ROMTestConfigs = testing::Types< ROMTestParams< UltraCircuitBuilder, 0, 0, false >, ROMTestParams< UltraCircuitBuilder, 10, 0, false >, ROMTestParams< UltraCircuitBuilder, 10, 0, true >, ROMTestParams< UltraCircuitBuilder, 10, 20, false >, ROMTestParams< UltraCircuitBuilder, 10, 20, true >, ROMTestParams< MegaCircuitBuilder, 0, 0, false >, ROMTestParams< MegaCircuitBuilder, 10, 0, false >, ROMTestParams< MegaCircuitBuilder, 10, 0, true >, ROMTestParams< MegaCircuitBuilder, 10, 20, false >, 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, 0, 0, false >, CallDataTestParams< CallDataType::Primary, 10, 5, false >, CallDataTestParams< CallDataType::Primary, 10, 5, true >, CallDataTestParams< CallDataType::Secondary, 0, 0, false >, CallDataTestParams< CallDataType::Secondary, 10, 5, false >, CallDataTestParams< CallDataType::Secondary, 10, 5, true > >
using	ReturnDataTestConfigs = testing::Types< ReturnDataTestsParams< 0 >, ReturnDataTestsParams< 10 > >

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)
	TYPED_TEST_SUITE (ReturnDataTests, ReturnDataTestConfigs)
	TYPED_TEST (ReturnDataTests, GenerateVKFromConstraints)

Typedef Documentation

CallDataTestConfigs

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

Definition at line 512 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 374 of file block_constraint.test.cpp.

ReturnDataTestConfigs

using ReturnDataTestConfigs = testing::Types<ReturnDataTestsParams<0>, ReturnDataTestsParams<10> >

Definition at line 607 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<UltraCircuitBuilder, 10, 20, false>, ROMTestParams<UltraCircuitBuilder, 10, 20, true>, ROMTestParams<MegaCircuitBuilder, 0, 0, false>, ROMTestParams<MegaCircuitBuilder, 10, 0, false>, ROMTestParams<MegaCircuitBuilder, 10, 0, true>, ROMTestParams<MegaCircuitBuilder, 10, 20, false>, ROMTestParams<MegaCircuitBuilder, 10, 20, true> >

Definition at line 180 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 27 of file block_constraint.test.cpp.

TYPED_TEST() [1/7]

TYPED_TEST	(	CallDataTests	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/7]

TYPED_TEST	(	CallDataTests	,
		Tampering
	)

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

TYPED_TEST() [3/7]

TYPED_TEST	(	RAMTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [4/7]

TYPED_TEST	(	RAMTest	,
		Tampering
	)

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

TYPED_TEST() [5/7]

TYPED_TEST	(	ReturnDataTests	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [6/7]

TYPED_TEST	(	ROMTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [7/7]

TYPED_TEST	(	ROMTest	,
		Tampering
	)

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

TYPED_TEST_SUITE() [1/4]

TYPED_TEST_SUITE	(	CallDataTests	,
		CallDataTestConfigs
	)

TYPED_TEST_SUITE() [2/4]

TYPED_TEST_SUITE	(	RAMTest	,
		RAMTestConfigs
	)

TYPED_TEST_SUITE() [3/4]

TYPED_TEST_SUITE	(	ReturnDataTests	,
		ReturnDataTestConfigs
	)

TYPED_TEST_SUITE() [4/4]

TYPED_TEST_SUITE	(	ROMTest	,
		ROMTestConfigs
	)