Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | List of all members
Blake2sTestingFunctions< BuilderType, IsInputConstant > Class Template Reference

Classes

struct  InvalidWitness
 

Public Types

using Builder = BuilderType
 
using AcirConstraint = Blake2sConstraint
 
using FF = Builder::FF
 

Static Public Member Functions

static ProgramMetadata generate_metadata ()
 
static std::pair< AcirConstraint, WitnessVector > invalidate_witness (AcirConstraint constraint, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)
 
static void generate_constraints (Blake2sConstraint &blake2s_constraint, WitnessVector &witness_values)
 Generate a valid Blake2sConstraint with correct witness values.
 

Detailed Description

template<class BuilderType, bool IsInputConstant>
class Blake2sTestingFunctions< BuilderType, IsInputConstant >

Definition at line 14 of file blake2s_constraint.test.cpp.

Member Typedef Documentation

◆ AcirConstraint

template<class BuilderType , bool IsInputConstant>
using Blake2sTestingFunctions< BuilderType, IsInputConstant >::AcirConstraint = Blake2sConstraint

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

◆ Builder

template<class BuilderType , bool IsInputConstant>
using Blake2sTestingFunctions< BuilderType, IsInputConstant >::Builder = BuilderType

Definition at line 16 of file blake2s_constraint.test.cpp.

◆ FF

template<class BuilderType , bool IsInputConstant>
using Blake2sTestingFunctions< BuilderType, IsInputConstant >::FF = Builder::FF

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

Member Function Documentation

◆ generate_constraints()

template<class BuilderType , bool IsInputConstant>
static void Blake2sTestingFunctions< BuilderType, IsInputConstant >::generate_constraints ( Blake2sConstraint &  blake2s_constraint,
WitnessVector &  witness_values 
)
inlinestatic

Generate a valid Blake2sConstraint with correct witness values.

Definition at line 64 of file blake2s_constraint.test.cpp.

◆ generate_metadata()

template<class BuilderType , bool IsInputConstant>
static ProgramMetadata Blake2sTestingFunctions< BuilderType, IsInputConstant >::generate_metadata ( )
inlinestatic

Definition at line 33 of file blake2s_constraint.test.cpp.

◆ invalidate_witness()

template<class BuilderType , bool IsInputConstant>
static std::pair< AcirConstraint, WitnessVector > Blake2sTestingFunctions< BuilderType, IsInputConstant >::invalidate_witness ( AcirConstraint  constraint,
WitnessVector  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inlinestatic

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

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