Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
poseidon2_hash.hpp
Go to the documentation of this file.
1
// AUTOGENERATED FILE
2
#pragma once
3
4
#include <string_view>
5
6
#include "
barretenberg/common/op_count.hpp
"
7
#include "
barretenberg/relations/relation_parameters.hpp
"
8
#include "
barretenberg/relations/relation_types.hpp
"
9
#include "
barretenberg/vm2/generated/columns.hpp
"
10
11
namespace
bb::avm2
{
12
13
template
<
typename
FF_>
class
poseidon2_hashImpl
{
14
public
:
15
using
FF
= FF_;
16
17
static
constexpr
std::array<size_t, 19>
SUBRELATION_PARTIAL_LENGTHS
= { 3, 4, 3, 3, 3, 3, 4, 4, 4, 5,
18
4, 4, 4, 4, 4, 4, 4, 4, 4 };
19
20
template
<
typename
AllEntities>
inline
static
bool
skip
(
const
AllEntities& in)
21
{
22
using
C
=
ColumnAndShifts
;
23
24
return
(in.get(C::poseidon2_hash_sel)).is_zero();
25
}
26
27
template
<
typename
ContainerOverSubrelations,
typename
AllEntities>
28
void
static
accumulate
(ContainerOverSubrelations& evals,
29
const
AllEntities& in,
30
[[maybe_unused]]
const
RelationParameters<FF>
&,
31
[[maybe_unused]]
const
FF
& scaling_factor);
32
};
33
34
template
<
typename
FF>
class
poseidon2_hash
:
public
Relation
<poseidon2_hashImpl<FF>> {
35
public
:
36
static
constexpr
const
std::string_view
NAME
=
"poseidon2_hash"
;
37
38
static
std::string
get_subrelation_label
(
size_t
index)
39
{
40
switch
(index) {}
41
return
std::to_string
(index);
42
}
43
};
44
45
}
// namespace bb::avm2
bb::Relation
A wrapper for Relations to expose methods used by the Sumcheck prover or verifier to add the contribu...
Definition
relation_types.hpp:153
bb::avm2::poseidon2_hash
Definition
poseidon2_hash.hpp:34
bb::avm2::poseidon2_hash::NAME
static constexpr const std::string_view NAME
Definition
poseidon2_hash.hpp:36
bb::avm2::poseidon2_hash::get_subrelation_label
static std::string get_subrelation_label(size_t index)
Definition
poseidon2_hash.hpp:38
bb::avm2::poseidon2_hashImpl
Definition
poseidon2_hash.hpp:13
bb::avm2::poseidon2_hashImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition
poseidon2_hash_impl.hpp:10
bb::avm2::poseidon2_hashImpl::skip
static bool skip(const AllEntities &in)
Definition
poseidon2_hash.hpp:20
bb::avm2::poseidon2_hashImpl::FF
FF_ FF
Definition
poseidon2_hash.hpp:15
bb::avm2::poseidon2_hashImpl::SUBRELATION_PARTIAL_LENGTHS
static constexpr std::array< size_t, 19 > SUBRELATION_PARTIAL_LENGTHS
Definition
poseidon2_hash.hpp:17
columns.hpp
bb::avm2
Definition
flavor.hpp:472
bb::avm2::Column
Column
Definition
columns.hpp:32
bb::avm2::ColumnAndShifts
ColumnAndShifts
Definition
columns.hpp:35
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition
field.hpp:10
std::to_string
std::string to_string(bb::avm2::ValueTag tag)
Definition
tagged_value.cpp:399
op_count.hpp
relation_parameters.hpp
relation_types.hpp
bb::RelationParameters
Container for parameters used by the grand product (permutation, lookup) Honk relations.
Definition
relation_parameters.hpp:19
src
barretenberg
vm2
generated
relations
poseidon2_hash.hpp
Generated by
1.9.8