Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
bb::stdlib::witness_t< Builder > Class Template Reference

#include <witness.hpp>

Inheritance diagram for bb::stdlib::witness_t< Builder >:
bb::stdlib::public_witness_t< Builder >

Public Member Functions

 witness_t ()=default
 
 witness_t (Builder *parent_context, const bb::fr &in)
 
 witness_t (Builder *parent_context, const bool in)
 
 witness_t (Builder *parent_context, IntegralOrEnum auto const in)
 
bool is_constant () const
 

Static Public Member Functions

static witness_t create_constant_witness (Builder *parent_context, const bb::fr &in)
 

Public Attributes

bb::fr witness
 
uint32_t witness_index = IS_CONSTANT
 
Builder * context = nullptr
 

Detailed Description

template<typename Builder>
class bb::stdlib::witness_t< Builder >

Definition at line 16 of file witness.hpp.

Constructor & Destructor Documentation

◆ witness_t() [1/4]

template<typename Builder >
bb::stdlib::witness_t< Builder >::witness_t ( )
default

◆ witness_t() [2/4]

template<typename Builder >
bb::stdlib::witness_t< Builder >::witness_t ( Builder *  parent_context,
const bb::fr &  in 
)
inline

Definition at line 20 of file witness.hpp.

◆ witness_t() [3/4]

template<typename Builder >
bb::stdlib::witness_t< Builder >::witness_t ( Builder *  parent_context,
const bool  in 
)
inline

Definition at line 27 of file witness.hpp.

◆ witness_t() [4/4]

template<typename Builder >
bb::stdlib::witness_t< Builder >::witness_t ( Builder *  parent_context,
IntegralOrEnum auto const  in 
)
inline

Definition at line 38 of file witness.hpp.

Member Function Documentation

◆ create_constant_witness()

template<typename Builder >
static witness_t bb::stdlib::witness_t< Builder >::create_constant_witness ( Builder *  parent_context,
const bb::fr &  in 
)
inlinestatic

Definition at line 45 of file witness.hpp.

◆ is_constant()

template<typename Builder >
bool bb::stdlib::witness_t< Builder >::is_constant ( ) const
inline

Definition at line 52 of file witness.hpp.

Member Data Documentation

◆ context

template<typename Builder >
Builder* bb::stdlib::witness_t< Builder >::context = nullptr

Definition at line 56 of file witness.hpp.

◆ witness

template<typename Builder >
bb::fr bb::stdlib::witness_t< Builder >::witness

Definition at line 54 of file witness.hpp.

◆ witness_index

template<typename Builder >
uint32_t bb::stdlib::witness_t< Builder >::witness_index = IS_CONSTANT

Definition at line 55 of file witness.hpp.

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