bb::avm2::tracegen::UpdateCheckTraceBuilder Class Reference

#include <update_check_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::UpdateCheckEvent >::Container &events, TraceContainer &trace)
	Process the UpdateCheck events and populate the relevant columns in the trace.

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 10 of file update_check_trace.hpp.

Member Function Documentation

process()

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

Process the UpdateCheck events and populate the relevant columns in the trace.

Events are emitted in the following flavors:

• Hash is zero (never updated): preimage fields (metadata, pre_class_id, post_class_id) are all zero; hash_not_zero is false and most conditional columns are inactive.
• Hash is nonzero (update exists): all fields are populated; metadata is decomposed into update_hi_metadata and timestamp_of_change, and the pre/post class ID zero flags are derived.

Parameters

events	Container of UpdateCheckEvent to process.
trace	The trace container to populate.

Definition at line 22 of file update_check_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::UpdateCheckTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<lookup_update_check_timestamp_from_public_inputs_settings, InteractionType::LookupIntoIndexedByRow>()
        .add<lookup_update_check_update_hash_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_update_check_delayed_public_mutable_slot_poseidon2_settings, InteractionType::LookupSequential>()
        .add<lookup_update_check_update_hash_public_data_read_settings, InteractionType::LookupGeneric>()
        .add<lookup_update_check_update_hi_metadata_range_settings, InteractionType::LookupGeneric>()
        .add<lookup_update_check_update_lo_metadata_range_settings, InteractionType::LookupGeneric>()
        .add<lookup_update_check_timestamp_is_lt_timestamp_of_change_settings, InteractionType::LookupGeneric>(
            Column::gt_sel)

Definition at line 15 of file update_check_trace.hpp.

---

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

• src/barretenberg/vm2/tracegen/update_check_trace.hpp
• src/barretenberg/vm2/tracegen/update_check_trace.cpp