Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
to_radix_event.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include <vector>
5
8
9namespace bb::avm2::simulation {
10
12 FF value = 0;
13 uint32_t radix = 0;
14 std::vector<uint8_t> limbs;
15
16 bool operator==(const ToRadixEvent& other) const = default;
17};
18
20 uint32_t execution_clk = 0;
21 uint16_t space_id = 0;
22 uint32_t num_limbs = 0;
24
25 FF value = 0;
26 uint32_t radix = 0;
27 bool is_output_bits = false; // true if output is U1 or false if output is U8
28 // Need to know if the output is U8 or U1
30};
31
32} // namespace bb::avm2::simulation
AVM range check gadget for witness generation.
AvmFlavorSettings::FF FF
Definition field.hpp:10
uint32_t MemoryAddress
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
bool operator==(const ToRadixEvent &other) const =default