Witness-generating implementation of bitwise AND/OR/XOR operations.
MemoryValue and_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise AND on two tagged memory values.
Bitwise(EventEmitterInterface< BitwiseEvent > &event_emitter)
EventEmitterInterface< BitwiseEvent > & events
MemoryValue or_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise OR on two tagged memory values.
MemoryValue xor_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise XOR on two tagged memory values.
EventEmitter< DataCopyEvent > event_emitter
AVM range check gadget for witness generation.