Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
mega_avm_recursive_flavor.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
11
12namespace bb {
13
19template <typename BuilderType> class MegaAvmRecursiveFlavor_ : public MegaRecursiveFlavor_<BuilderType> {
20 public:
23
24 // Re-export types from base class
25 using Commitment = typename Base::Commitment;
27 using FF = typename Base::FF;
28
29 // Override VIRTUAL_LOG_N to match MegaAvmFlavor
31};
32
33} // namespace bb
A flavor for the AVM recursive verifier circuit arithmetized with Mega.
static constexpr size_t VIRTUAL_LOG_N
Recursive flavor for verifying proofs produced with MegaAvmFlavor.
typename Base::VerificationKey VerificationKey
The recursive counterpart to the "native" Mega flavor.
typename Curve::Element Commitment
StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, NativeFlavor::VerificationKey > VerificationKey
typename Curve::ScalarField FF
Entry point for Barretenberg command-line interface.
Definition api.hpp:5