Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | List of all members
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
 

Public Member Functions

void invalidate_witness (Poseidon2Constraint &constraint, WitnessVector &witness_values, const InvalidWitness::Target &invalid_witness_target)
 
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 16 of file poseidon2_constraint.test.cpp.

Member Typedef Documentation

◆ AcirConstraint

template<class BuilderType >
using Poseidon2TestingFunctions< BuilderType >::AcirConstraint = Poseidon2Constraint

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

◆ Builder

template<class BuilderType >
using Poseidon2TestingFunctions< BuilderType >::Builder = BuilderType

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

◆ Poseidon2

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

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

◆ State

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

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

Member Function Documentation

◆ generate_constraints()

template<class BuilderType >
void Poseidon2TestingFunctions< BuilderType >::generate_constraints ( Poseidon2Constraint &  poseidon2_constraint,
WitnessVector &  witness_values 
)
inline

Generate valid Poseidon2 constraint with correct witness values.

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

◆ invalidate_witness()

template<class BuilderType >
void Poseidon2TestingFunctions< BuilderType >::invalidate_witness ( Poseidon2Constraint &  constraint,
WitnessVector &  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inline

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

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