Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
retrieved_bytecodes_tree.test.cpp
Go to the documentation of this file.
1
#include "
barretenberg/vm2/simulation/lib/retrieved_bytecodes_tree.hpp
"
2
3
#include <gtest/gtest.h>
4
5
namespace
bb::avm2::simulation
{
6
7
namespace
{
8
9
TEST
(AvmRetrievedBytecodesTree, CorrectRoot)
10
{
11
auto
snapshot =
build_retrieved_bytecodes_tree
().
get_snapshot
();
12
EXPECT_EQ(snapshot.root,
FF
(
AVM_RETRIEVED_BYTECODES_TREE_INITIAL_ROOT
));
13
EXPECT_EQ(snapshot.next_available_leaf_index,
AVM_RETRIEVED_BYTECODES_TREE_INITIAL_SIZE
);
14
}
15
16
}
// namespace
17
18
}
// namespace bb::avm2::simulation
AVM_RETRIEVED_BYTECODES_TREE_INITIAL_ROOT
#define AVM_RETRIEVED_BYTECODES_TREE_INITIAL_ROOT
Definition
aztec_constants.hpp:249
AVM_RETRIEVED_BYTECODES_TREE_INITIAL_SIZE
#define AVM_RETRIEVED_BYTECODES_TREE_INITIAL_SIZE
Definition
aztec_constants.hpp:250
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_retrieved_bytecodes_tree
RetrievedBytecodesTree build_retrieved_bytecodes_tree()
Definition
retrieved_bytecodes_tree.cpp:58
bb::TEST
TEST(BoomerangMegaCircuitBuilder, BasicCircuit)
Definition
graph_description_megacircuitbuilder.test.cpp:22
retrieved_bytecodes_tree.hpp
bb::field< bb::Bn254FrParams >
src
barretenberg
vm2
simulation
lib
retrieved_bytecodes_tree.test.cpp
Generated by
1.9.8