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
6
#include "
barretenberg/vm2/common/field.hpp
"
7
#include "
barretenberg/vm2/common/memory_types.hpp
"
8
9
namespace
bb::avm2::simulation
{
10
11
struct
ToRadixEvent
{
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
19
struct
ToRadixMemoryEvent
{
20
uint32_t
execution_clk
= 0;
21
uint16_t
space_id
= 0;
22
uint32_t
num_limbs
= 0;
23
MemoryAddress
dst_addr
= 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
29
std::vector<MemoryValue>
limbs
;
30
};
31
32
}
// namespace bb::avm2::simulation
memory_types.hpp
bb::avm2::simulation
AVM range check gadget for witness generation.
Definition
address_derivation_event.hpp:6
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition
field.hpp:10
bb::avm2::MemoryAddress
uint32_t MemoryAddress
Definition
memory_types.hpp:11
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition
tuple.hpp:13
bb::avm2::simulation::ToRadixEvent
Definition
to_radix_event.hpp:11
bb::avm2::simulation::ToRadixEvent::value
FF value
Definition
to_radix_event.hpp:12
bb::avm2::simulation::ToRadixEvent::limbs
std::vector< uint8_t > limbs
Definition
to_radix_event.hpp:14
bb::avm2::simulation::ToRadixEvent::radix
uint32_t radix
Definition
to_radix_event.hpp:13
bb::avm2::simulation::ToRadixEvent::operator==
bool operator==(const ToRadixEvent &other) const =default
bb::avm2::simulation::ToRadixMemoryEvent
Definition
to_radix_event.hpp:19
bb::avm2::simulation::ToRadixMemoryEvent::dst_addr
MemoryAddress dst_addr
Definition
to_radix_event.hpp:23
bb::avm2::simulation::ToRadixMemoryEvent::execution_clk
uint32_t execution_clk
Definition
to_radix_event.hpp:20
bb::avm2::simulation::ToRadixMemoryEvent::num_limbs
uint32_t num_limbs
Definition
to_radix_event.hpp:22
bb::avm2::simulation::ToRadixMemoryEvent::radix
uint32_t radix
Definition
to_radix_event.hpp:26
bb::avm2::simulation::ToRadixMemoryEvent::limbs
std::vector< MemoryValue > limbs
Definition
to_radix_event.hpp:29
bb::avm2::simulation::ToRadixMemoryEvent::value
FF value
Definition
to_radix_event.hpp:25
bb::avm2::simulation::ToRadixMemoryEvent::is_output_bits
bool is_output_bits
Definition
to_radix_event.hpp:27
bb::avm2::simulation::ToRadixMemoryEvent::space_id
uint16_t space_id
Definition
to_radix_event.hpp:21
field.hpp
src
barretenberg
vm2
simulation
events
to_radix_event.hpp
Generated by
1.9.8