Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bitwise.hpp
Go to the documentation of this file.
1#pragma once
2
7
8namespace bb::avm2::simulation {
9
13class Bitwise : public BitwiseInterface {
14 public:
21
22 MemoryValue and_op(const MemoryValue& a, const MemoryValue& b) override;
23 MemoryValue or_op(const MemoryValue& a, const MemoryValue& b) override;
24 MemoryValue xor_op(const MemoryValue& a, const MemoryValue& b) override;
25
26 private:
28};
29
30} // namespace bb::avm2::simulation
Witness-generating implementation of bitwise AND/OR/XOR operations.
Definition bitwise.hpp:13
MemoryValue and_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise AND on two tagged memory values.
Definition bitwise.cpp:20
Bitwise(EventEmitterInterface< BitwiseEvent > &event_emitter)
Definition bitwise.hpp:18
EventEmitterInterface< BitwiseEvent > & events
Definition bitwise.hpp:27
MemoryValue or_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise OR on two tagged memory values.
Definition bitwise.cpp:43
MemoryValue xor_op(const MemoryValue &a, const MemoryValue &b) override
Perform bitwise XOR on two tagged memory values.
Definition bitwise.cpp:66
EventEmitter< DataCopyEvent > event_emitter
FF a
FF b
AVM range check gadget for witness generation.