Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
recursive_flavor_settings.hpp
Go to the documentation of this file.
1
// === AUDIT STATUS ===
2
// internal: { status: Planned, auditors: [Federico], commit: }
3
// external_1: { status: not started, auditors: [], commit: }
4
// external_2: { status: not started, auditors: [], commit: }
5
// =====================
6
7
#pragma once
8
9
#include "
barretenberg/commitment_schemes/kzg/kzg.hpp
"
10
#include "
barretenberg/stdlib/primitives/curves/bn254.hpp
"
11
#include "
barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp
"
12
13
namespace
bb::avm2
{
14
15
struct
AvmRecursiveFlavorSettings
{
16
using
CircuitBuilder
=
MegaCircuitBuilder
;
17
using
Curve
=
stdlib::bn254<CircuitBuilder>
;
18
using
PCS
=
KZG<Curve>
;
19
using
GroupElement
=
typename
Curve::Element
;
20
using
Commitment
=
typename
Curve::AffineElement
;
21
using
FF
=
typename
Curve::ScalarField
;
22
using
BF
=
typename
Curve::BaseField
;
23
};
24
25
}
// namespace bb::avm2
bb::KZG
Definition
kzg.hpp:22
bb::MegaCircuitBuilder_
Definition
mega_circuit_builder.hpp:19
kzg.hpp
mega_circuit_builder.hpp
bb::avm2
Definition
dbs.cpp:19
bb::MegaCircuitBuilder
MegaCircuitBuilder_< field< Bn254FrParams > > MegaCircuitBuilder
Definition
circuit_builders_fwd.hpp:20
bn254.hpp
bb::avm2::AvmRecursiveFlavorSettings
Definition
recursive_flavor_settings.hpp:15
bb::avm2::AvmRecursiveFlavorSettings::BF
typename Curve::BaseField BF
Definition
recursive_flavor_settings.hpp:22
bb::avm2::AvmRecursiveFlavorSettings::Commitment
typename Curve::AffineElement Commitment
Definition
recursive_flavor_settings.hpp:20
bb::avm2::AvmRecursiveFlavorSettings::GroupElement
typename Curve::Element GroupElement
Definition
recursive_flavor_settings.hpp:19
bb::avm2::AvmRecursiveFlavorSettings::FF
typename Curve::ScalarField FF
Definition
recursive_flavor_settings.hpp:21
bb::stdlib::bn254
Definition
bn254.hpp:15
bb::stdlib::bn254::Element
Group Element
Definition
bn254.hpp:36
bb::stdlib::bn254::ScalarField
field_t< CircuitBuilder > ScalarField
Definition
bn254.hpp:33
bb::stdlib::bn254::BaseField
Group::BaseField BaseField
Definition
bn254.hpp:35
bb::stdlib::bn254::AffineElement
Group AffineElement
Definition
bn254.hpp:37
src
barretenberg
vm2
constraining
recursion
recursive_flavor_settings.hpp
Generated by
1.9.8