Barretenberg: src/barretenberg/vm2/simulation/events/bitwise_event.hpp Source File

#pragma once


#include <cstdint>


#include "barretenberg/vm2/common/constants.hpp"

#include "barretenberg/vm2/common/memory_types.hpp"


namespace bb::avm2::simulation {


struct BitwiseEvent {

    BitwiseOperation operation;

    MemoryValue a = MemoryValue::from_tag(MemoryTag::FF, 0);

    MemoryValue b = MemoryValue::from_tag(MemoryTag::FF, 0);

    uint128_t res = 0;


    using Key = std::tuple<BitwiseOperation, MemoryValue, MemoryValue>;

    Key get_key() const { return { operation, a, b }; }


    bool operator==(const BitwiseEvent& other) const = default;

};


} // namespace bb::avm2::simulation

bb::avm2::TaggedValue
Definition tagged_value.hpp:114

bb::avm2::TaggedValue::from_tag
static TaggedValue from_tag(ValueTag tag, FF value)
Definition tagged_value.cpp:227

memory_types.hpp

bb::avm2::simulation
AVM range check gadget for witness generation.
Definition address_derivation_event.hpp:6

bb::avm2::ValueTag::FF
@ FF

bb::avm2::BitwiseOperation
BitwiseOperation
Definition constants.hpp:16

std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

uint128_t
unsigned __int128 uint128_t
Definition serialize.hpp:45

bb::avm2::simulation::BitwiseEvent
Event emitted during bitwise operation simulation for trace generation.
Definition bitwise_event.hpp:17

bb::avm2::simulation::BitwiseEvent::Key
std::tuple< BitwiseOperation, MemoryValue, MemoryValue > Key
Key type for deduplication (operation, input_a, input_b).
Definition bitwise_event.hpp:24

bb::avm2::simulation::BitwiseEvent::a
MemoryValue a
Left operand (tagged memory value).
Definition bitwise_event.hpp:19

bb::avm2::simulation::BitwiseEvent::b
MemoryValue b
Right operand (tagged memory value).
Definition bitwise_event.hpp:20

bb::avm2::simulation::BitwiseEvent::operation
BitwiseOperation operation
The bitwise operation (AND, OR, or XOR).
Definition bitwise_event.hpp:18

bb::avm2::simulation::BitwiseEvent::res
uint128_t res
Result of the operation. Defaults to 0 (used on error paths).
Definition bitwise_event.hpp:21

bb::avm2::simulation::BitwiseEvent::get_key
Key get_key() const
Definition bitwise_event.hpp:25

bb::avm2::simulation::BitwiseEvent::operator==
bool operator==(const BitwiseEvent &other) const =default

constants.hpp