Poseidon2TestingFunctions< BuilderType > Class Template Reference

Classes
struct	InvalidWitness

Public Types
using	Builder = BuilderType
using	AcirConstraint = Poseidon2Constraint
using	Poseidon2 = crypto::Poseidon2Permutation< crypto::Poseidon2Bn254ScalarFieldParams >
using	State = Poseidon2::State

Static Public Member Functions
static ProgramMetadata	generate_metadata ()
static std::pair< AcirConstraint, WitnessVector >	invalidate_witness (Poseidon2Constraint constraint, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)
static void	generate_constraints (Poseidon2Constraint &poseidon2_constraint, WitnessVector &witness_values)
	Generate valid Poseidon2 constraint with correct witness values.

Detailed Description

template<class BuilderType>
class Poseidon2TestingFunctions< BuilderType >

Definition at line 15 of file poseidon2_constraint.test.cpp.

Member Typedef Documentation

AcirConstraint

template<class BuilderType >

using Poseidon2TestingFunctions< BuilderType >::AcirConstraint = Poseidon2Constraint

Definition at line 18 of file poseidon2_constraint.test.cpp.

Builder

template<class BuilderType >

using Poseidon2TestingFunctions< BuilderType >::Builder = BuilderType

Definition at line 17 of file poseidon2_constraint.test.cpp.

Poseidon2

template<class BuilderType >

using Poseidon2TestingFunctions< BuilderType >::Poseidon2 = crypto::Poseidon2Permutation<crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 19 of file poseidon2_constraint.test.cpp.

State

template<class BuilderType >

using Poseidon2TestingFunctions< BuilderType >::State = Poseidon2::State

Definition at line 20 of file poseidon2_constraint.test.cpp.

Member Function Documentation

generate_constraints()

template<class BuilderType >

static void Poseidon2TestingFunctions< BuilderType >::generate_constraints ( Poseidon2Constraint &  poseidon2_constraint, WitnessVector &  witness_values  )

inlinestatic

Generate valid Poseidon2 constraint with correct witness values.

Definition at line 61 of file poseidon2_constraint.test.cpp.

generate_metadata()

template<class BuilderType >

static ProgramMetadata Poseidon2TestingFunctions< BuilderType >::generate_metadata ( )

inlinestatic

Definition at line 35 of file poseidon2_constraint.test.cpp.

invalidate_witness()

template<class BuilderType >

static std::pair< AcirConstraint, WitnessVector > Poseidon2TestingFunctions< BuilderType >::invalidate_witness ( Poseidon2Constraint  constraint, WitnessVector  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inlinestatic

Definition at line 37 of file poseidon2_constraint.test.cpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/dsl/acir_format/poseidon2_constraint.test.cpp