bb::avm2::constraining Namespace Reference

Namespaces
namespace	detail

Classes
class	AvmRecursiveTests
class	AvmVerifierTests
class	Poseidon2ConstrainingTest
class	Poseidon2MemoryConstrainingTest

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)
	TEST_F (AvmRecursiveTests, GoblinRecursion)
	A test of the Goblinized AVM recursive verifier.
	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 (TxExecutionConstrainingTest, CollectFees)
	TEST (TxExecutionConstrainingTest, NegativePaddingChecks)
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 >
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 81 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_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 12 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/3]

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

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

TEST() [2/3]

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

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

TEST() [3/3]

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

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

TEST_F() [1/14]

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 66 of file recursive_verifier.test.cpp.

TEST_F() [2/14]

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

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

TEST_F() [3/14]

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

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

TEST_F() [4/14]

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

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

TEST_F() [5/14]

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

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

TEST_F() [6/14]

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

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

TEST_F() [7/14]

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

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

TEST_F() [8/14]

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

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

TEST_F() [9/14]

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

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

TEST_F() [10/14]

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

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

TEST_F() [11/14]

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

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

TEST_F() [12/14]

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

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

TEST_F() [13/14]

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

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

TEST_F() [14/14]

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

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