Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | Protected Attributes | List of all members
bb::ExecutionTraceBlock< FF, NUM_WIRES_ > Class Template Referenceabstract

Basic structure for storing gate data in a builder. More...

#include <execution_trace_block.hpp>

Public Types

using SelectorType = Selector< FF >
 
using WireType = std::vector< uint32_t >
 
using Wires = std::array< WireType, NUM_WIRES >
 

Public Member Functions

 ExecutionTraceBlock ()=default
 
 ExecutionTraceBlock (const ExecutionTraceBlock &)=default
 
ExecutionTraceBlock & operator= (const ExecutionTraceBlock &)=default
 
 ExecutionTraceBlock (ExecutionTraceBlock &&) noexcept=default
 
ExecutionTraceBlock & operator= (ExecutionTraceBlock &&) noexcept=default
 
virtual ~ExecutionTraceBlock ()=default
 
void tracy_gate ()
 
uint32_t trace_offset () const
 
bool operator== (const ExecutionTraceBlock &other) const =default
 
size_t size () const
 
virtual RefVector< Selector< FF > > get_selectors ()=0
 
void free_data ()
 Release wire and selector memory. Caches block size so size() still works.
 
void populate_wires (const uint32_t &idx_1, const uint32_t &idx_2, const uint32_t &idx_3, const uint32_t &idx_4)
 
auto & w_l ()
 
auto & w_r ()
 
auto & w_o ()
 
auto & w_4 ()
 
Selector< FF > & q_m ()
 
Selector< FF > & q_c ()
 
Selector< FF > & q_1 ()
 
Selector< FF > & q_2 ()
 
Selector< FF > & q_3 ()
 
Selector< FF > & q_4 ()
 

Public Attributes

Wires wires
 
size_t cached_size_ = 0
 
bool data_freed_ = false
 
uint32_t trace_offset_ = std::numeric_limits<uint32_t>::max()
 

Static Public Attributes

static constexpr size_t NUM_WIRES = NUM_WIRES_
 

Protected Attributes

std::array< SlabVectorSelector< FF >, 6 > non_gate_selectors
 

Detailed Description

template<typename FF, size_t NUM_WIRES_>
class bb::ExecutionTraceBlock< FF, NUM_WIRES_ >

Basic structure for storing gate data in a builder.

Template Parameters
FF
NUM_WIRES

Definition at line 212 of file execution_trace_block.hpp.

Member Typedef Documentation

◆ SelectorType

template<typename FF , size_t NUM_WIRES_>
using bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::SelectorType = Selector<FF>

Definition at line 216 of file execution_trace_block.hpp.

◆ Wires

template<typename FF , size_t NUM_WIRES_>
using bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::Wires = std::array<WireType, NUM_WIRES>

Definition at line 218 of file execution_trace_block.hpp.

◆ WireType

template<typename FF , size_t NUM_WIRES_>
using bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::WireType = std::vector<uint32_t>

Definition at line 217 of file execution_trace_block.hpp.

Constructor & Destructor Documentation

◆ ExecutionTraceBlock() [1/3]

template<typename FF , size_t NUM_WIRES_>
bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::ExecutionTraceBlock ( )
default

◆ ExecutionTraceBlock() [2/3]

template<typename FF , size_t NUM_WIRES_>
bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::ExecutionTraceBlock ( const ExecutionTraceBlock< FF, NUM_WIRES_ > &  )
default

◆ ExecutionTraceBlock() [3/3]

template<typename FF , size_t NUM_WIRES_>
bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::ExecutionTraceBlock ( ExecutionTraceBlock< FF, NUM_WIRES_ > &&  )
defaultnoexcept

◆ ~ExecutionTraceBlock()

template<typename FF , size_t NUM_WIRES_>
virtual bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::~ExecutionTraceBlock ( )
virtualdefault

Member Function Documentation

◆ free_data()

template<typename FF , size_t NUM_WIRES_>
void bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::free_data ( )
inline

Release wire and selector memory. Caches block size so size() still works.

Called after trace data has been copied to prover polynomials.

Definition at line 279 of file execution_trace_block.hpp.

◆ get_selectors()

template<typename FF , size_t NUM_WIRES_>
virtual RefVector< Selector< FF > > bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::get_selectors ( )
pure virtual

Implemented in bb::MegaTraceBlock, and bb::UltraTraceBlock.

◆ operator=() [1/2]

template<typename FF , size_t NUM_WIRES_>
ExecutionTraceBlock & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::operator= ( const ExecutionTraceBlock< FF, NUM_WIRES_ > &  )
default

◆ operator=() [2/2]

template<typename FF , size_t NUM_WIRES_>
ExecutionTraceBlock & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::operator= ( ExecutionTraceBlock< FF, NUM_WIRES_ > &&  )
defaultnoexcept

◆ operator==()

template<typename FF , size_t NUM_WIRES_>
bool bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::operator== ( const ExecutionTraceBlock< FF, NUM_WIRES_ > &  other) const
default

◆ populate_wires()

template<typename FF , size_t NUM_WIRES_>
void bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::populate_wires ( const uint32_t &  idx_1,
const uint32_t &  idx_2,
const uint32_t &  idx_3,
const uint32_t &  idx_4 
)
inline

Definition at line 292 of file execution_trace_block.hpp.

◆ q_1()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_1 ( )
inline

Definition at line 311 of file execution_trace_block.hpp.

◆ q_2()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_2 ( )
inline

Definition at line 312 of file execution_trace_block.hpp.

◆ q_3()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_3 ( )
inline

Definition at line 313 of file execution_trace_block.hpp.

◆ q_4()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_4 ( )
inline

Definition at line 314 of file execution_trace_block.hpp.

◆ q_c()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_c ( )
inline

Definition at line 310 of file execution_trace_block.hpp.

◆ q_m()

template<typename FF , size_t NUM_WIRES_>
Selector< FF > & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::q_m ( )
inline

Definition at line 309 of file execution_trace_block.hpp.

◆ size()

template<typename FF , size_t NUM_WIRES_>
size_t bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::size ( ) const
inline

Definition at line 258 of file execution_trace_block.hpp.

◆ trace_offset()

template<typename FF , size_t NUM_WIRES_>
uint32_t bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::trace_offset ( ) const
inline

Definition at line 250 of file execution_trace_block.hpp.

◆ tracy_gate()

template<typename FF , size_t NUM_WIRES_>
void bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::tracy_gate ( )
inline

Definition at line 235 of file execution_trace_block.hpp.

◆ w_4()

template<typename FF , size_t NUM_WIRES_>
auto & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::w_4 ( )
inline

Definition at line 307 of file execution_trace_block.hpp.

◆ w_l()

template<typename FF , size_t NUM_WIRES_>
auto & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::w_l ( )
inline

Definition at line 304 of file execution_trace_block.hpp.

◆ w_o()

template<typename FF , size_t NUM_WIRES_>
auto & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::w_o ( )
inline

Definition at line 306 of file execution_trace_block.hpp.

◆ w_r()

template<typename FF , size_t NUM_WIRES_>
auto & bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::w_r ( )
inline

Definition at line 305 of file execution_trace_block.hpp.

Member Data Documentation

◆ cached_size_

template<typename FF , size_t NUM_WIRES_>
size_t bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::cached_size_ = 0

Definition at line 246 of file execution_trace_block.hpp.

◆ data_freed_

template<typename FF , size_t NUM_WIRES_>
bool bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::data_freed_ = false

Definition at line 247 of file execution_trace_block.hpp.

◆ non_gate_selectors

template<typename FF , size_t NUM_WIRES_>
std::array<SlabVectorSelector<FF>, 6> bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::non_gate_selectors
protected

Definition at line 317 of file execution_trace_block.hpp.

◆ NUM_WIRES

template<typename FF , size_t NUM_WIRES_>
constexpr size_t bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::NUM_WIRES = NUM_WIRES_
staticconstexpr

Definition at line 214 of file execution_trace_block.hpp.

◆ trace_offset_

template<typename FF , size_t NUM_WIRES_>
uint32_t bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::trace_offset_ = std::numeric_limits<uint32_t>::max()

Definition at line 248 of file execution_trace_block.hpp.

◆ wires

template<typename FF , size_t NUM_WIRES_>
Wires bb::ExecutionTraceBlock< FF, NUM_WIRES_ >::wires

Definition at line 245 of file execution_trace_block.hpp.

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