Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookups_nullifier_exists.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include <cstddef>
5#include <string_view>
6#include <tuple>
7
8#include "../columns.hpp"
11
12namespace bb::avm2 {
13
15
17 static constexpr std::string_view NAME = "LOOKUP_NULLIFIER_EXISTS_NULLIFIER_EXISTS_CHECK";
18 static constexpr std::string_view RELATION_NAME = "nullifier_exists";
19 static constexpr size_t LOOKUP_TUPLE_SIZE = 4;
20 static constexpr Column SRC_SELECTOR = Column::execution_sel_execute_nullifier_exists;
21 static constexpr Column DST_SELECTOR = Column::nullifier_check_sel;
22 static constexpr Column COUNTS = Column::lookup_nullifier_exists_nullifier_exists_check_counts;
23 static constexpr Column INVERSES = Column::lookup_nullifier_exists_nullifier_exists_check_inv;
24 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
25 ColumnAndShifts::execution_register_1_,
26 ColumnAndShifts::execution_register_0_,
27 ColumnAndShifts::execution_prev_nullifier_tree_root,
28 ColumnAndShifts::precomputed_zero
29 };
30 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
31 ColumnAndShifts::nullifier_check_exists,
32 ColumnAndShifts::nullifier_check_nullifier,
33 ColumnAndShifts::nullifier_check_root,
34 ColumnAndShifts::nullifier_check_sel_silo
35 };
36};
37
40template <typename FF_>
43
44} // namespace bb::avm2
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Settings to be passed ot GenericLookupRelationImpl.