bb::avm2::constraining Namespace Reference

Namespaces
namespace	detail

Classes
class	AvmRecursiveTests
class	AvmVerifierTests
class	Poseidon2ConstrainingTest
class	Poseidon2MemoryConstrainingTest
class	TxExecutionConstrainingWithCalldataTest

Typedefs
using	FF = AvmFlavorSettings::FF
using	C = Column
using	poseidon2_hash = bb::avm2::poseidon2_hash< FF >
using	poseidon2_perm = bb::avm2::optimized_poseidon2_perm< FF >
using	poseidon2_mem = bb::avm2::poseidon2_mem< FF >

Functions
void	run_check_circuit (AvmFlavor::ProverPolynomials &polys, size_t num_rows, bool skippable_enabled)
AvmProver::ProverPolynomials	compute_polynomials (tracegen::TraceContainer &trace)
void	resize_inverses (AvmFlavor::ProverPolynomials &prover_polynomials, Column inverses_col, Column src_selector_col, Column dst_selector_col)
	TEST_F (AvmRecursiveTests, GoblinRecursion)
	A test of the Goblinized AVM recursive verifier.
	TEST_F (AvmRecursiveTests, GoblinRecursionWithoutPIValidation)
	TEST_F (AvmRecursiveTests, GoblinRecursionFailsWithWrongPIs)
	TEST_F (Poseidon2ConstrainingTest, Poseidon2EmptyRow)
	TEST_F (Poseidon2ConstrainingTest, BasicPermutation)
	TEST_F (Poseidon2ConstrainingTest, HashWithSinglePermutation)
	TEST_F (Poseidon2ConstrainingTest, HashWithMultiplePermutation)
	TEST_F (Poseidon2ConstrainingTest, MultipleHashInvocations)
	TEST_F (Poseidon2ConstrainingTest, HashPermInteractions)
	TEST_F (Poseidon2ConstrainingTest, NegativeHashPermInteractions)
	TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemory)
	TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInteractions)
	TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInvalidTag)
	TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInvalidAddressRange)
	TEST (TxExecutionConstrainingTest, WriteTreeValue)
	TEST_F (TxExecutionConstrainingTestHelper, CollectFees)
	TEST (TxExecutionConstrainingTest, NegativePaddingChecks)
	TEST_F (TxExecutionConstrainingWithCalldataTest, SimpleHandleCalldata)
template<typename Relation , typename... Ts>
void	check_relation (const tracegen::TestTraceContainer &trace, Ts... subrelation)
template<typename Relation >
void	check_relation (const tracegen::TestTraceContainer &trace)
template<typename TraceBuilder , typename... Setting>
void	check_interaction (tracegen::TestTraceContainer &trace)
template<typename TraceBuilder , typename... Setting>
void	check_multipermutation_interaction (tracegen::TestTraceContainer &trace)
template<typename TraceBuilder >
void	check_all_interactions (tracegen::TestTraceContainer &trace)
	TEST_F (AvmVerifierTests, GoodPublicInputs)
	TEST_F (AvmVerifierTests, NegativeBadPublicInputs)

Typedef Documentation

C

using bb::avm2::constraining::C = typedef Column

Definition at line 39 of file poseidon2.test.cpp.

FF

using bb::avm2::constraining::FF = typedef AvmFlavorSettings::FF

Definition at line 38 of file poseidon2.test.cpp.

poseidon2_hash

using bb::avm2::constraining::poseidon2_hash = typedef bb::avm2::poseidon2_hash<FF>

Definition at line 40 of file poseidon2.test.cpp.

poseidon2_mem

using bb::avm2::constraining::poseidon2_mem = typedef bb::avm2::poseidon2_mem<FF>

Definition at line 42 of file poseidon2.test.cpp.

poseidon2_perm

using bb::avm2::constraining::poseidon2_perm = typedef bb::avm2::optimized_poseidon2_perm<FF>

Definition at line 41 of file poseidon2.test.cpp.

Function Documentation

check_all_interactions()

template<typename TraceBuilder >

void bb::avm2::constraining::check_all_interactions ( tracegen::TestTraceContainer &  trace )

inline

Definition at line 90 of file check_relation.hpp.

check_interaction()

template<typename TraceBuilder , typename... Setting>

void bb::avm2::constraining::check_interaction ( tracegen::TestTraceContainer &  trace )

inline

Definition at line 76 of file check_relation.hpp.

check_multipermutation_interaction()

template<typename TraceBuilder , typename... Setting>

void bb::avm2::constraining::check_multipermutation_interaction ( tracegen::TestTraceContainer &  trace )

inline

Definition at line 83 of file check_relation.hpp.

check_relation() [1/2]

template<typename Relation >

void bb::avm2::constraining::check_relation

(

const tracegen::TestTraceContainer &

trace

)

Definition at line 70 of file check_relation.hpp.

check_relation() [2/2]

template<typename Relation , typename... Ts>

void bb::avm2::constraining::check_relation	(	const tracegen::TestTraceContainer &	trace,
		Ts...	subrelation
	)

Definition at line 64 of file check_relation.hpp.

compute_polynomials()

AvmProver::ProverPolynomials bb::avm2::constraining::compute_polynomials

(

tracegen::TraceContainer &

trace

)

Definition at line 13 of file polynomials.cpp.

resize_inverses()

void bb::avm2::constraining::resize_inverses	(	AvmFlavor::ProverPolynomials &	prover_polynomials,
		Column	inverses_col,
		Column	src_selector_col,
		Column	dst_selector_col
	)

Definition at line 86 of file polynomials.cpp.

run_check_circuit()

void bb::avm2::constraining::run_check_circuit	(	AvmFlavor::ProverPolynomials &	polys,
		size_t	num_rows,
		bool	skippable_enabled
	)

Definition at line 18 of file check_circuit.cpp.

TEST() [1/2]

bb::avm2::constraining::TEST	(	TxExecutionConstrainingTest	,
		NegativePaddingChecks
	)

Definition at line 662 of file tx.test.cpp.

TEST() [2/2]

bb::avm2::constraining::TEST	(	TxExecutionConstrainingTest	,
		WriteTreeValue
	)

Definition at line 402 of file tx.test.cpp.

TEST_F() [1/18]

bb::avm2::constraining::TEST_F	(	AvmRecursiveTests	,
		GoblinRecursion
	)

A test of the Goblinized AVM recursive verifier.

Constructs a simple AVM circuit for which a proof is verified using the Goblinized AVM recursive verifier. A proof is constructed and verified for the outer (Ultra) circuit produced by this algorithm. See the documentation in AvmGoblinRecursiveVerifier for details of the recursive verification algorithm.

Definition at line 71 of file recursive_verifier.test.cpp.

TEST_F() [2/18]

bb::avm2::constraining::TEST_F	(	AvmRecursiveTests	,
		GoblinRecursionFailsWithWrongPIs
	)

Definition at line 257 of file recursive_verifier.test.cpp.

TEST_F() [3/18]

bb::avm2::constraining::TEST_F	(	AvmRecursiveTests	,
		GoblinRecursionWithoutPIValidation
	)

Definition at line 163 of file recursive_verifier.test.cpp.

TEST_F() [4/18]

bb::avm2::constraining::TEST_F	(	AvmVerifierTests	,
		GoodPublicInputs
	)

Definition at line 40 of file verifier.test.cpp.

TEST_F() [5/18]

bb::avm2::constraining::TEST_F	(	AvmVerifierTests	,
		NegativeBadPublicInputs
	)

Definition at line 52 of file verifier.test.cpp.

TEST_F() [6/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		BasicPermutation
	)

Definition at line 87 of file poseidon2.test.cpp.

TEST_F() [7/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		HashPermInteractions
	)

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

TEST_F() [8/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		HashWithMultiplePermutation
	)

Definition at line 139 of file poseidon2.test.cpp.

TEST_F() [9/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		HashWithSinglePermutation
	)

Definition at line 116 of file poseidon2.test.cpp.

TEST_F() [10/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		MultipleHashInvocations
	)

Definition at line 161 of file poseidon2.test.cpp.

TEST_F() [11/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		NegativeHashPermInteractions
	)

Definition at line 207 of file poseidon2.test.cpp.

TEST_F() [12/18]

bb::avm2::constraining::TEST_F	(	Poseidon2ConstrainingTest	,
		Poseidon2EmptyRow
	)

Definition at line 79 of file poseidon2.test.cpp.

TEST_F() [13/18]

bb::avm2::constraining::TEST_F	(	Poseidon2MemoryConstrainingTest	,
		PermutationMemory
	)

Definition at line 249 of file poseidon2.test.cpp.

TEST_F() [14/18]

bb::avm2::constraining::TEST_F	(	Poseidon2MemoryConstrainingTest	,
		PermutationMemoryInteractions
	)

Definition at line 266 of file poseidon2.test.cpp.

TEST_F() [15/18]

bb::avm2::constraining::TEST_F	(	Poseidon2MemoryConstrainingTest	,
		PermutationMemoryInvalidAddressRange
	)

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

TEST_F() [16/18]

bb::avm2::constraining::TEST_F	(	Poseidon2MemoryConstrainingTest	,
		PermutationMemoryInvalidTag
	)

Definition at line 330 of file poseidon2.test.cpp.

TEST_F() [17/18]

bb::avm2::constraining::TEST_F	(	TxExecutionConstrainingTestHelper	,
		CollectFees
	)

Definition at line 547 of file tx.test.cpp.

TEST_F() [18/18]

bb::avm2::constraining::TEST_F	(	TxExecutionConstrainingWithCalldataTest	,
		SimpleHandleCalldata
	)

Definition at line 737 of file tx.test.cpp.