bb::avm2::constraining Namespace Reference

Namespaces
namespace	detail

Classes
class	AvmHardCodedVKAndHash
	Stores the fixed AVM VK commitments (to precomputed polynomials) that depend only on the precomputed columns. More...
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
	TEST (AvmFixedVKTests, FixedVKCommitments)
	Test that the fixed VK commitments agree with the ones computed from precomputed columns.
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)
std::shared_ptr< AvmProver::ProvingKey >	proving_key_from_polynomials (AvmProver::ProverPolynomials &polynomials)
	TEST_F (AvmRecursiveTests, TwoLayerAvmRecursion)
	A test of the Two Layer AVM recursive verifier.
	TEST_F (AvmRecursiveTests, TranscriptOperations)
	TEST_F (AvmRecursiveTests, TwoLayerAvmRecursionFailsWithWrongPIs)
	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_F (Poseidon2ConstrainingTest, StartSelectorIsProtected)
	TEST_F (Poseidon2ConstrainingTest, FakeClassIdAttackIsBlocked)
	TEST (TxExecutionConstrainingTest, WriteTreeValue)
	TEST_F (TxExecutionConstrainingTestHelper, CollectFees)
	TEST (TxExecutionConstrainingTest, NegativeTreePaddingChecks)
	TEST_F (TxExecutionConstrainingWithCalldataTest, SimpleHandleCalldata)
	TEST (TxExecutionConstrainingTest, NegativeNullifierStateIncrementIsUnconditional)
	TEST (TxExecutionConstrainingTest, MaxNullifierWritesReachedForcesReverted)
	TEST (TxExecutionConstrainingTest, NegativeCannotRevertWhenNullifierWritesAvailable)
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)
	TEST_F (AvmVerifierTests, ProvingSystemSecurityShiftedLastRowMustBeZero)
	TEST_F (AvmVerifierTests, DISABLED_ProvingSystemSecurityUnshiftedFirstRowMustBeZero)
	TEST_F (AvmVerifierTests, ProofSizeMatchesComputedConstant)
	TEST_F (AvmVerifierTests, NegativeRejectsProofWithTrailingFields)
	TEST_F (AvmVerifierTests, NegativeRejectsTruncatedProof)

Typedef Documentation

C

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

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

FF

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

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

poseidon2_hash

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

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

poseidon2_mem

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

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

poseidon2_perm

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

Definition at line 54 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 93 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 77 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 85 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 71 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 65 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.

proving_key_from_polynomials()

std::shared_ptr< AvmProver::ProvingKey > bb::avm2::constraining::proving_key_from_polynomials

(

AvmProver::ProverPolynomials &

polynomials

)

Definition at line 109 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 89 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/6]

bb::avm2::constraining::TEST	(	AvmFixedVKTests	,
		FixedVKCommitments
	)

Test that the fixed VK commitments agree with the ones computed from precomputed columns.

Note

If this test fails, it may be because the precomputed columns have changed and the fixed VK commitments in AvmFixedVKCommitments must be updated accordingly. Their values can be taken from the output of this test by uncommenting the print statements.

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

TEST() [2/6]

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

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

TEST() [3/6]

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

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

TEST() [4/6]

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

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

TEST() [5/6]

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

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

TEST() [6/6]

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

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

TEST_F() [1/25]

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

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

TEST_F() [2/25]

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

A test of the Two Layer AVM recursive verifier.

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

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

TEST_F() [3/25]

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

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

TEST_F() [4/25]

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

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

TEST_F() [5/25]

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

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

TEST_F() [6/25]

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

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

TEST_F() [7/25]

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

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

TEST_F() [8/25]

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

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

TEST_F() [9/25]

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

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

TEST_F() [10/25]

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

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

TEST_F() [11/25]

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

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

TEST_F() [12/25]

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

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

TEST_F() [13/25]

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

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

TEST_F() [14/25]

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

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

TEST_F() [15/25]

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

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

TEST_F() [16/25]

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

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

TEST_F() [17/25]

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

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

TEST_F() [18/25]

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

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

TEST_F() [19/25]

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

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

TEST_F() [20/25]

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

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

TEST_F() [21/25]

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

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

TEST_F() [22/25]

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

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

TEST_F() [23/25]

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

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

TEST_F() [24/25]

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

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

TEST_F() [25/25]

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

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