Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
check_relation.cpp
Go to the documentation of this file.
1
#include "
barretenberg/vm2/constraining/testing/check_relation.hpp
"
2
3
namespace
bb::avm2::constraining::detail
{
4
5
const
RelationParameters<FF>
&
get_test_params
()
6
{
7
static
RelationParameters<FF>
params = {
8
.
eta
= 0,
9
.beta =
FF::random_element
(),
10
.gamma =
FF::random_element
(),
11
.public_input_delta = 0,
12
.beta_sqr = 0,
13
.beta_cube = 0,
14
.eccvm_set_permutation_delta = 0,
15
};
16
return
params;
17
}
18
19
}
// namespace bb::avm2::constraining::detail
check_relation.hpp
bb::avm2::constraining::detail
Definition
check_relation.cpp:3
bb::avm2::constraining::detail::get_test_params
const RelationParameters< FF > & get_test_params()
Definition
check_relation.cpp:5
bb::RelationParameters
Container for parameters used by the grand product (permutation, lookup) Honk relations.
Definition
relation_parameters.hpp:19
bb::RelationParameters::eta
T eta
Definition
relation_parameters.hpp:26
bb::field< Bn254FrParams >::random_element
static field random_element(numeric::RNG *engine=nullptr) noexcept
Definition
field_impl.hpp:665
src
barretenberg
vm2
constraining
testing
check_relation.cpp
Generated by
1.9.8