Sha256TestingFunctions< BuilderType, IsInputConstant > Class Template Reference

Classes
struct	InvalidWitness

Public Types
using	Builder = BuilderType
using	AcirConstraint = Sha256Compression
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 (Sha256Compression &sha256_constraint, WitnessVector &witness_values)
	Generate a valid Sha256Compression constraint with correct witness values.

Detailed Description

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

Definition at line 13 of file sha256_constraint.test.cpp.

Member Typedef Documentation

AcirConstraint

template<class BuilderType , bool IsInputConstant>

using Sha256TestingFunctions< BuilderType, IsInputConstant >::AcirConstraint = Sha256Compression

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

Builder

template<class BuilderType , bool IsInputConstant>

using Sha256TestingFunctions< BuilderType, IsInputConstant >::Builder = BuilderType

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

FF

template<class BuilderType , bool IsInputConstant>

using Sha256TestingFunctions< BuilderType, IsInputConstant >::FF = Builder::FF

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

Member Function Documentation

generate_constraints()

template<class BuilderType , bool IsInputConstant>

static void Sha256TestingFunctions< BuilderType, IsInputConstant >::generate_constraints ( Sha256Compression &  sha256_constraint, WitnessVector &  witness_values  )

inlinestatic

Generate a valid Sha256Compression constraint with correct witness values.

Definition at line 73 of file sha256_constraint.test.cpp.

generate_metadata()

template<class BuilderType , bool IsInputConstant>

static ProgramMetadata Sha256TestingFunctions< BuilderType, IsInputConstant >::generate_metadata ( )

inlinestatic

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

invalidate_witness()

template<class BuilderType , bool IsInputConstant>

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

inlinestatic

Definition at line 38 of file sha256_constraint.test.cpp.

---

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

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