Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MegaTraceEllipticBlock Class Reference

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaTraceEllipticBlock:
bb::MegaTraceBlock bb::ExecutionTraceBlock< fr, 4 >

Public Member Functions

SelectorTypeq_elliptic () override
 
- Public Member Functions inherited from bb::MegaTraceBlock
virtual SelectorTypeq_busread ()
 
virtual SelectorTypeq_lookup_type ()
 
virtual SelectorTypeq_arith ()
 
virtual SelectorTypeq_delta_range ()
 
virtual SelectorTypeq_memory ()
 
virtual SelectorTypeq_nnf ()
 
virtual SelectorTypeq_poseidon2_external ()
 
virtual SelectorTypeq_poseidon2_internal ()
 
virtual const SelectorTypeq_busread () const
 
virtual const SelectorTypeq_lookup_type () const
 
virtual const SelectorTypeq_arith () const
 
virtual const SelectorTypeq_delta_range () const
 
virtual const SelectorTypeq_elliptic () const
 
virtual const SelectorTypeq_memory () const
 
virtual const SelectorTypeq_nnf () const
 
virtual const SelectorTypeq_poseidon2_external () const
 
virtual const SelectorTypeq_poseidon2_internal () const
 
RefVector< SelectorTypeget_gate_selectors ()
 
RefVector< Selector< fr > > get_selectors () override
 
void pad_additional ()
 Add zeros to all selectors which are not part of the conventional Ultra arithmetization.
 
void resize_additional (size_t new_size)
 Resizes all selectors which are not part of the conventional Ultra arithmetization.
 
- Public Member Functions inherited from bb::ExecutionTraceBlock< fr, 4 >
 ExecutionTraceBlock ()=default
 
 ExecutionTraceBlock (const ExecutionTraceBlock &)=default
 
 ExecutionTraceBlock (ExecutionTraceBlock &&) noexcept=default
 
ExecutionTraceBlockoperator= (const ExecutionTraceBlock &)=default
 
ExecutionTraceBlockoperator= (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
 
void reserve (size_t size_hint)
 
uint32_t get_fixed_size (bool is_structured=true) const
 
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< fr > & q_m ()
 
Selector< fr > & q_c ()
 
Selector< fr > & q_1 ()
 
Selector< fr > & q_2 ()
 
Selector< fr > & q_3 ()
 
Selector< fr > & q_4 ()
 

Private Attributes

SlabVectorSelector< frgate_selector
 

Additional Inherited Members

- Public Types inherited from bb::MegaTraceBlock
using SelectorType = Selector< fr >
 
- Public Types inherited from bb::ExecutionTraceBlock< fr, 4 >
using SelectorType = Selector< fr >
 
using WireType = SlabVector< uint32_t >
 
using Wires = std::array< WireType, NUM_WIRES >
 
- Public Attributes inherited from bb::ExecutionTraceBlock< fr, 4 >
Wires wires
 
uint32_t trace_offset_
 
uint32_t fixed_size
 
- Static Public Attributes inherited from bb::ExecutionTraceBlock< fr, 4 >
static constexpr size_t NUM_WIRES
 
- Protected Attributes inherited from bb::ExecutionTraceBlock< fr, 4 >
std::array< SlabVectorSelector< fr >, 6 > non_gate_selectors
 

Detailed Description

Definition at line 177 of file mega_execution_trace.hpp.

Member Function Documentation

◆ q_elliptic()

SelectorType & bb::MegaTraceEllipticBlock::q_elliptic ( )
inlineoverridevirtual

Reimplemented from bb::MegaTraceBlock.

Definition at line 179 of file mega_execution_trace.hpp.

Member Data Documentation

◆ gate_selector

SlabVectorSelector<fr> bb::MegaTraceEllipticBlock::gate_selector
private

Definition at line 182 of file mega_execution_trace.hpp.


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