HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >::InvalidWitness Struct Reference

Public Types
enum class	Target : uint8_t { None , VKHash , VK , Proof }

Static Public Member Functions
static std::vector< Target >	get_all ()
static std::vector< std::string >	get_labels ()

Detailed Description

template<typename RecursiveFlavor, bool IsRootRollup, size_t N, std::array< size_t, N > LayerSizes>
struct HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >::InvalidWitness

Definition at line 116 of file honk_recursion_constraint.test.cpp.

Member Enumeration Documentation

Target

template<typename RecursiveFlavor , bool IsRootRollup, size_t N, std::array< size_t, N > LayerSizes>

enum class HonkRecursionConstraintTestingFunctions::InvalidWitness::Target : uint8_t

strong

Enumerator
None
VKHash
VK
Proof

Definition at line 118 of file honk_recursion_constraint.test.cpp.

Member Function Documentation

get_all()

template<typename RecursiveFlavor , bool IsRootRollup, size_t N, std::array< size_t, N > LayerSizes>

static std::vector< Target > HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >::InvalidWitness::get_all ( )

inlinestatic

Definition at line 120 of file honk_recursion_constraint.test.cpp.

get_labels()

template<typename RecursiveFlavor , bool IsRootRollup, size_t N, std::array< size_t, N > LayerSizes>

static std::vector< std::string > HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >::InvalidWitness::get_labels ( )

inlinestatic

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

---

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

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