Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
written_slots_tree.test.cpp
Go to the documentation of this file.
1
#include "
barretenberg/vm2/simulation/lib/written_slots_tree.hpp
"
2
3
#include <gtest/gtest.h>
4
5
namespace
bb::avm2::simulation
{
6
7
namespace
{
8
9
TEST
(AvmWrittenSlotsTree, CorrectRoot)
10
{
11
auto
snapshot =
build_public_data_slots_tree
().
get_snapshot
();
12
EXPECT_EQ(snapshot.root,
FF
(
AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT
));
13
EXPECT_EQ(snapshot.next_available_leaf_index,
AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE
);
14
}
15
16
}
// namespace
17
18
}
// namespace bb::avm2::simulation
AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT
#define AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT
Definition
aztec_constants.hpp:245
AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE
#define AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE
Definition
aztec_constants.hpp:247
bb::avm2::simulation::IndexedMemoryTree::get_snapshot
AppendOnlyTreeSnapshot get_snapshot() const
Definition
indexed_memory_tree.hpp:130
bb::avm2::simulation
Definition
address_derivation_event.hpp:6
bb::avm2::simulation::build_public_data_slots_tree
WrittenPublicDataSlotsTree build_public_data_slots_tree()
Definition
written_slots_tree.cpp:58
bb::TEST
TEST(BoomerangMegaCircuitBuilder, BasicCircuit)
Definition
graph_description_megacircuitbuilder.test.cpp:22
bb::field< bb::Bn254FrParams >
written_slots_tree.hpp
src
barretenberg
vm2
simulation
lib
written_slots_tree.test.cpp
Generated by
1.9.8