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_ >
class	ROMTestingFunctions< Builder_, table_size, num_reads >
class	ROMTestingFunctions< Builder_, table_size, num_reads >::InvalidWitness
class	ROMTest< Params >
struct	RAMTestParams< Builder_, TableSize_, NumReads_, NumWrites_ >
class	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >
struct	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::WitnessValue
class	RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >::InvalidWitness
class	RAMTest< Params >
struct	CallDataTestParams< CallDataType_, CallDataSize_, NumReads_ >
class	CallDataTestingFunctions< calldata_type, calldata_size, num_reads >
class	CallDataTestingFunctions< calldata_type, calldata_size, num_reads >::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 >, ROMTestParams< UltraCircuitBuilder, 10, 0 >, ROMTestParams< UltraCircuitBuilder, 10, 20 >, ROMTestParams< MegaCircuitBuilder, 0, 0 >, ROMTestParams< MegaCircuitBuilder, 10, 0 >, ROMTestParams< MegaCircuitBuilder, 10, 20 > >
using	RAMTestConfigs = testing::Types< RAMTestParams< UltraCircuitBuilder, 0, 0, 0 >, RAMTestParams< UltraCircuitBuilder, 10, 0, 0 >, RAMTestParams< UltraCircuitBuilder, 10, 0, 10 >, RAMTestParams< UltraCircuitBuilder, 10, 10, 0 >, RAMTestParams< MegaCircuitBuilder, 0, 0, 0 >, RAMTestParams< MegaCircuitBuilder, 10, 0, 0 >, RAMTestParams< MegaCircuitBuilder, 10, 0, 10 >, RAMTestParams< MegaCircuitBuilder, 10, 10, 0 > >
using	CallDataTestConfigs = testing::Types< CallDataTestParams< CallDataType::KernelCalldata, 0, 0 >, CallDataTestParams< CallDataType::KernelCalldata, 10, 5 >, CallDataTestParams< CallDataType::FirstAppCalldata, 0, 0 >, CallDataTestParams< CallDataType::FirstAppCalldata, 10, 5 >, CallDataTestParams< CallDataType::SecondAppCalldata, 10, 5 >, CallDataTestParams< CallDataType::ThirdAppCalldata, 10, 5 > >
using	ReturnDataTestConfigs = testing::Types< ReturnDataTestsParams< 0 >, ReturnDataTestsParams< 10 > >

Functions
	TEST (BlockConstraintMemOpEncoding, ReadFlagFalseDecodesAsRead)
	TEST (BlockConstraintMemOpEncoding, AccessTypeEncodesToReadFlag)
	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::KernelCalldata, 0, 0>, CallDataTestParams<CallDataType::KernelCalldata, 10, 5>, CallDataTestParams<CallDataType::FirstAppCalldata, 0, 0>, CallDataTestParams<CallDataType::FirstAppCalldata, 10, 5>, CallDataTestParams<CallDataType::SecondAppCalldata, 10, 5>, CallDataTestParams<CallDataType::ThirdAppCalldata, 10, 5> >

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

RAMTestConfigs

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

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

ReturnDataTestConfigs

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

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

ROMTestConfigs

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

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

Function Documentation

TEST() [1/2]

TEST	(	BlockConstraintMemOpEncoding	,
		AccessTypeEncodesToReadFlag
	)

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

TEST() [2/2]

TEST	(	BlockConstraintMemOpEncoding	,
		ReadFlagFalseDecodesAsRead
	)

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

TYPED_TEST() [1/7]

TYPED_TEST	(	CallDataTests	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/7]

TYPED_TEST	(	CallDataTests	,
		Tampering
	)

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

TYPED_TEST() [3/7]

TYPED_TEST	(	RAMTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [4/7]

TYPED_TEST	(	RAMTest	,
		Tampering
	)

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

TYPED_TEST() [5/7]

TYPED_TEST	(	ReturnDataTests	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [6/7]

TYPED_TEST	(	ROMTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [7/7]

TYPED_TEST	(	ROMTest	,
		Tampering
	)

Definition at line 182 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
	)