Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::tracegen::BitwiseTraceBuilder Class Referencefinal

Trace builder for the bitwise subtrace (AND/OR/XOR operations). More...

#include <bitwise_trace.hpp>

Public Member Functions

void process (const simulation::EventEmitterInterface< simulation::BitwiseEvent >::Container &events, TraceContainer &trace)
 Populate the bitwise trace columns from simulation events.
 

Static Public Attributes

static const InteractionDefinition interactions
 Interaction definitions for outbound lookups (BYTE_OPERATIONS, INTEGRAL_TAG_LENGTH).
 

Detailed Description

Trace builder for the bitwise subtrace (AND/OR/XOR operations).

Definition at line 13 of file bitwise_trace.hpp.

Member Function Documentation

◆ process()

void bb::avm2::tracegen::BitwiseTraceBuilder::process ( const simulation::EventEmitterInterface< simulation::BitwiseEvent >::Container &  events,
TraceContainer trace 
)

Populate the bitwise trace columns from simulation events.

Parameters
eventsContainer of BitwiseEvent from simulation (success and error events).
traceThe trace container to populate with bitwise columns.

Definition at line 51 of file bitwise_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::BitwiseTraceBuilder::interactions
static
Initial value:
=
InteractionDefinition()
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_1_settings>(C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_3_settings>(C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_5_settings>(C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_7_settings>(C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_9_settings>(C::precomputed_sel_range_16)
C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_11_settings>(
C::precomputed_sel_range_16)
C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_13_settings>(
C::precomputed_sel_range_16)
C::precomputed_sel_range_16)
.add<InteractionType::LookupIntoBitwise, lookup_bitwise_byte_operations_15_settings>(
C::precomputed_sel_range_16)
lookup_settings< lookup_bitwise_bitw_tag_byte_length_settings_ > lookup_bitwise_bitw_tag_byte_length_settings
lookup_settings< lookup_bitwise_byte_operations_14_settings_ > lookup_bitwise_byte_operations_14_settings
lookup_settings< lookup_bitwise_byte_operations_2_settings_ > lookup_bitwise_byte_operations_2_settings
lookup_settings< lookup_bitwise_byte_operations_4_settings_ > lookup_bitwise_byte_operations_4_settings
lookup_settings< lookup_bitwise_byte_operations_0_settings_ > lookup_bitwise_byte_operations_0_settings
lookup_settings< lookup_bitwise_byte_operations_8_settings_ > lookup_bitwise_byte_operations_8_settings
lookup_settings< lookup_bitwise_byte_operations_10_settings_ > lookup_bitwise_byte_operations_10_settings
lookup_settings< lookup_bitwise_byte_operations_12_settings_ > lookup_bitwise_byte_operations_12_settings
lookup_settings< lookup_bitwise_byte_operations_6_settings_ > lookup_bitwise_byte_operations_6_settings

Interaction definitions for outbound lookups (BYTE_OPERATIONS, INTEGRAL_TAG_LENGTH).

Definition at line 25 of file bitwise_trace.hpp.


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