Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
retrieved_bytecodes_tree.hpp
Go to the documentation of this file.
1#pragma once
2
7
8namespace bb::avm2::simulation {
9
10// Implements the methods expected by indexed_leaf.hpp
13
17
18 static bool is_updateable();
19
20 bool operator==(ClassIdLeafValue const& other) const;
21
22 friend std::ostream& operator<<(std::ostream& os, const ClassIdLeafValue& v);
23
24 fr get_key() const;
25
26 bool is_empty() const;
27
28 std::vector<fr> get_hash_inputs(fr nextKey, fr nextIndex) const;
29
30 operator uint256_t() const;
31
32 static ClassIdLeafValue empty();
33
35
36 static std::string name();
37};
38
40
42
44
45} // namespace bb::avm2::simulation
AVM range check gadget for witness generation.
RetrievedBytecodesTree build_retrieved_bytecodes_tree()
::bb::crypto::merkle_tree::index_t index_t
Definition db.hpp:37
AvmFlavorSettings::FF FF
Definition field.hpp:10
friend std::ostream & operator<<(std::ostream &os, const ClassIdLeafValue &v)
bool operator==(ClassIdLeafValue const &other) const
std::vector< fr > get_hash_inputs(fr nextKey, fr nextIndex) const
static ClassIdLeafValue padding(index_t i)