Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookup_into_indexed_by_clk.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include <cassert>
4
5
#include "
barretenberg/common/tuple.hpp
"
6
#include "
barretenberg/vm2/tracegen/lib/lookup_builder.hpp
"
7
8
namespace
bb::avm2::tracegen
{
9
18
template
<
typename
LookupSettings>
class
LookupIntoIndexedByClk
:
public
IndexedLookupTraceBuilder
<LookupSettings> {
19
protected
:
20
using
TupleType
=
typename
IndexedLookupTraceBuilder<LookupSettings>::TupleType
;
21
// This is an efficient implementation of indexing into the precomputed table.
22
uint32_t
find_in_dst
(
const
TupleType
& tup)
const override
{
return
static_cast<
uint32_t
>
(
flat_tuple::get<0>
(tup)); }
23
};
24
25
}
// namespace bb::avm2::tracegen
bb::avm2::tracegen::IndexedLookupTraceBuilder
Definition
lookup_builder.hpp:24
bb::avm2::tracegen::IndexedLookupTraceBuilder::TupleType
RefTuple< LookupSettings::LOOKUP_TUPLE_SIZE > TupleType
Definition
lookup_builder.hpp:64
bb::avm2::tracegen::LookupIntoIndexedByClk
Definition
lookup_into_indexed_by_clk.hpp:18
bb::avm2::tracegen::LookupIntoIndexedByClk::find_in_dst
uint32_t find_in_dst(const TupleType &tup) const override
Definition
lookup_into_indexed_by_clk.hpp:22
bb::avm2::tracegen::LookupIntoIndexedByClk::TupleType
typename IndexedLookupTraceBuilder< LookupSettings >::TupleType TupleType
Definition
lookup_into_indexed_by_clk.hpp:20
lookup_builder.hpp
bb::avm2::tracegen
Definition
full_row.hpp:9
tuplet::get
TUPLET_INLINE constexpr decltype(auto) get(Tup &&tup)
Definition
tuplet.hpp:1021
tuple.hpp
src
barretenberg
vm2
tracegen
lib
lookup_into_indexed_by_clk.hpp
Generated by
1.9.8