public_data_tree_check_event.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <vector>
 
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/events/checkpoint_event_type.hpp"
#include "barretenberg/vm2/simulation/lib/db_interfaces.hpp"
 
namespace bb::avm2::simulation {
 
using PublicDataTreeLeafPreimage = IndexedLeaf<PublicDataLeafValue>;
 
struct PublicDataWriteData {
    PublicDataTreeLeafPreimage updated_low_leaf_preimage;
    FF updated_low_leaf_hash;
    FF new_leaf_hash;
    FF intermediate_root;
    AppendOnlyTreeSnapshot next_snapshot;
 
    bool operator==(const PublicDataWriteData& other) const = default;
};
 
struct PublicDataTreeReadWriteEvent {
    AztecAddress contract_address;
    FF slot;
    FF value;
    FF leaf_slot;
    AppendOnlyTreeSnapshot prev_snapshot;
 
    PublicDataTreeLeafPreimage low_leaf_preimage;
    FF low_leaf_hash;
    uint64_t low_leaf_index;
 
    std::optional<PublicDataWriteData> write_data;
 
    uint32_t execution_id;
 
    bool operator==(const PublicDataTreeReadWriteEvent& other) const = default;
};
 
using PublicDataTreeCheckEvent = std::variant<PublicDataTreeReadWriteEvent, CheckPointEventType>;
 
} // namespace bb::avm2::simulation