Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | List of all members
bb::avm2::tracegen::PrecomputedTraceBuilder Class Referencefinal

#include <precomputed_trace.hpp>

Public Member Functions

void process_misc (TraceContainer &trace, const uint32_t num_rows=MAX_AVM_TRACE_SIZE)
 
void process_bitwise (TraceContainer &trace)
 
void process_sel_range_8 (TraceContainer &trace)
 
void process_sel_range_16 (TraceContainer &trace)
 
void process_power_of_2 (TraceContainer &trace)
 
void process_sha256_round_constants (TraceContainer &trace)
 
void process_tag_parameters (TraceContainer &trace)
 
void process_wire_instruction_spec (TraceContainer &trace)
 
void process_exec_instruction_spec (TraceContainer &trace)
 
void process_to_radix_safe_limbs (TraceContainer &trace)
 
void process_to_radix_p_decompositions (TraceContainer &trace)
 
void process_memory_tag_range (TraceContainer &trace)
 
void process_addressing_gas (TraceContainer &trace)
 
void process_phase_table (TraceContainer &trace)
 
void process_keccak_round_constants (TraceContainer &trace)
 
void process_get_env_var_table (TraceContainer &trace)
 
void process_get_contract_instance_table (TraceContainer &trace)
 

Detailed Description

Definition at line 12 of file precomputed_trace.hpp.

Member Function Documentation

◆ process_addressing_gas()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_addressing_gas ( TraceContainer &  trace)

Definition at line 356 of file precomputed_trace.cpp.

◆ process_bitwise()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_bitwise ( TraceContainer &  trace)

Definition at line 37 of file precomputed_trace.cpp.

◆ process_exec_instruction_spec()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_exec_instruction_spec ( TraceContainer &  trace)

Definition at line 230 of file precomputed_trace.cpp.

◆ process_get_contract_instance_table()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_get_contract_instance_table ( TraceContainer &  trace)

See opcodes/get_contract_instance.pil for an ascii version of this table.

Definition at line 613 of file precomputed_trace.cpp.

◆ process_get_env_var_table()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_get_env_var_table ( TraceContainer &  trace)

See opcodes/get_env_var.pil for an ascii version of this table.

Definition at line 579 of file precomputed_trace.cpp.

◆ process_keccak_round_constants()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_keccak_round_constants ( TraceContainer &  trace)

Definition at line 561 of file precomputed_trace.cpp.

◆ process_memory_tag_range()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_memory_tag_range ( TraceContainer &  trace)

Definition at line 345 of file precomputed_trace.cpp.

◆ process_misc()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_misc ( TraceContainer &  trace,
const uint32_t  num_rows = MAX_AVM_TRACE_SIZE 
)

Definition at line 22 of file precomputed_trace.cpp.

◆ process_phase_table()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_phase_table ( TraceContainer &  trace)

Definition at line 370 of file precomputed_trace.cpp.

◆ process_power_of_2()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_power_of_2 ( TraceContainer &  trace)

Generate a column where each row is a power of 2 (2^clk). Populate the first 256 rows.

Definition at line 128 of file precomputed_trace.cpp.

◆ process_sel_range_16()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_sel_range_16 ( TraceContainer &  trace)

Generate a selector column that activates the first 2^16 rows. We can enforce that a value X is <= 16 bits via a lookup that checks whether the selector (sel_range_16) is high at the corresponding clk's row (X==clk).

Definition at line 111 of file precomputed_trace.cpp.

◆ process_sel_range_8()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_sel_range_8 ( TraceContainer &  trace)

Generate a selector column that activates the first 2^8 (256) rows. We can enforce that a value X is <= 8 bits via a lookup that checks whether the selector (sel_range_8) is high at the corresponding clk's row (X==clk).

Definition at line 92 of file precomputed_trace.cpp.

◆ process_sha256_round_constants()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_sha256_round_constants ( TraceContainer &  trace)

Definition at line 139 of file precomputed_trace.cpp.

◆ process_tag_parameters()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_tag_parameters ( TraceContainer &  trace)

Definition at line 163 of file precomputed_trace.cpp.

◆ process_to_radix_p_decompositions()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_to_radix_p_decompositions ( TraceContainer &  trace)

Definition at line 326 of file precomputed_trace.cpp.

◆ process_to_radix_safe_limbs()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_to_radix_safe_limbs ( TraceContainer &  trace)

Definition at line 307 of file precomputed_trace.cpp.

◆ process_wire_instruction_spec()

void bb::avm2::tracegen::PrecomputedTraceBuilder::process_wire_instruction_spec ( TraceContainer &  trace)

Definition at line 182 of file precomputed_trace.cpp.

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