Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::MegaAppRecursiveFlavor Class Reference

Recursive counterpart to MegaAppFlavor. More...

#include <mega_app_recursive_flavor.hpp>

Classes

class  AllValues
 

Public Types

using CircuitBuilder = MegaCircuitBuilder
 
using Curve = stdlib::bn254< CircuitBuilder >
 
using PCS = KZG< Curve >
 
using GroupElement = typename Curve::Element
 
using FF = typename Curve::ScalarField
 
using Commitment = typename Curve::Element
 
using NativeFlavor = MegaAppFlavor
 
using Codec = stdlib::StdlibCodec< FF >
 
using Transcript = StdlibTranscript< CircuitBuilder >
 
using Relations = MegaAppFlavor::Relations_< FF >
 
using SubrelationSeparator = FF
 
using VerificationKey = StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, NativeFlavor::VerificationKey >
 
using WitnessCommitments = MegaAppFlavor::WitnessEntities< Commitment >
 
using CommitmentLabels = MegaAppFlavor::CommitmentLabels
 
using VKAndHash = VKAndHash_< FF, VerificationKey >
 

Static Public Member Functions

static constexpr size_t FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)
 
static const CommitmentLabels & commitment_labels ()
 

Static Public Attributes

static constexpr size_t VIRTUAL_LOG_N = MegaAppFlavor::VIRTUAL_LOG_N
 
static constexpr bool USE_SHORT_MONOMIALS = MegaAppFlavor::USE_SHORT_MONOMIALS
 
static constexpr bool HasZK = false
 
static constexpr bool USE_PADDING = MegaAppFlavor::USE_PADDING
 
static constexpr size_t NUM_WIRES = MegaAppFlavor::NUM_WIRES
 
static constexpr size_t NUM_ALL_ENTITIES = MegaAppFlavor::NUM_ALL_ENTITIES
 
static constexpr size_t NUM_PRECOMPUTED_ENTITIES = MegaAppFlavor::NUM_PRECOMPUTED_ENTITIES
 
static constexpr size_t NUM_WITNESS_ENTITIES = MegaAppFlavor::NUM_WITNESS_ENTITIES
 
static constexpr size_t NUM_SHIFTED_ENTITIES = MegaAppFlavor::NUM_SHIFTED_ENTITIES
 
static constexpr size_t NUM_UNSHIFTED_ENTITIES = MegaAppFlavor::NUM_UNSHIFTED_ENTITIES
 
static constexpr bool HasDataBus = MegaAppFlavor::HasDataBus
 
static constexpr size_t NUM_BUS_COLUMNS = MegaAppFlavor::NUM_BUS_COLUMNS
 
static constexpr bool HasLogDerivLookup = MegaAppFlavor::HasLogDerivLookup
 
static constexpr bool HasElliptic = MegaAppFlavor::HasElliptic
 
static constexpr bool HasMemory = MegaAppFlavor::HasMemory
 
static constexpr bool HasNonNativeField = MegaAppFlavor::HasNonNativeField
 
static constexpr bool HasEccOpQueue = MegaAppFlavor::HasEccOpQueue
 
static constexpr size_t MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()
 
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1
 
static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS = MegaAppFlavor::REPEATED_COMMITMENTS
 
static constexpr size_t NUM_RELATIONS = std::tuple_size_v<Relations>
 
static constexpr size_t NUM_SUBRELATIONS = MegaAppFlavor::NUM_SUBRELATIONS
 

Detailed Description

Recursive counterpart to MegaAppFlavor.

Used when a Mega kernel circuit recursively verifies a folding proof of a prior app. The recursive verifier always lives inside MegaCircuitBuilder, so this is a plain (non-template) class.

Definition at line 21 of file mega_app_recursive_flavor.hpp.

Member Typedef Documentation

◆ CircuitBuilder

using bb::MegaAppRecursiveFlavor::CircuitBuilder = MegaCircuitBuilder

Definition at line 23 of file mega_app_recursive_flavor.hpp.

◆ Codec

using bb::MegaAppRecursiveFlavor::Codec = stdlib::StdlibCodec<FF>

Definition at line 30 of file mega_app_recursive_flavor.hpp.

◆ Commitment

using bb::MegaAppRecursiveFlavor::Commitment = typename Curve::Element

Definition at line 28 of file mega_app_recursive_flavor.hpp.

◆ CommitmentLabels

using bb::MegaAppRecursiveFlavor::CommitmentLabels = MegaAppFlavor::CommitmentLabels

Definition at line 78 of file mega_app_recursive_flavor.hpp.

◆ Curve

using bb::MegaAppRecursiveFlavor::Curve = stdlib::bn254<CircuitBuilder>

Definition at line 24 of file mega_app_recursive_flavor.hpp.

◆ FF

using bb::MegaAppRecursiveFlavor::FF = typename Curve::ScalarField

Definition at line 27 of file mega_app_recursive_flavor.hpp.

◆ GroupElement

using bb::MegaAppRecursiveFlavor::GroupElement = typename Curve::Element

Definition at line 26 of file mega_app_recursive_flavor.hpp.

◆ NativeFlavor

using bb::MegaAppRecursiveFlavor::NativeFlavor = MegaAppFlavor

Definition at line 29 of file mega_app_recursive_flavor.hpp.

◆ PCS

using bb::MegaAppRecursiveFlavor::PCS = KZG<Curve>

Definition at line 25 of file mega_app_recursive_flavor.hpp.

◆ Relations

using bb::MegaAppRecursiveFlavor::Relations = MegaAppFlavor::Relations_<FF>

Definition at line 51 of file mega_app_recursive_flavor.hpp.

◆ SubrelationSeparator

using bb::MegaAppRecursiveFlavor::SubrelationSeparator = FF

Definition at line 65 of file mega_app_recursive_flavor.hpp.

◆ Transcript

using bb::MegaAppRecursiveFlavor::Transcript = StdlibTranscript<CircuitBuilder>

Definition at line 31 of file mega_app_recursive_flavor.hpp.

◆ VerificationKey

using bb::MegaAppRecursiveFlavor::VerificationKey = StdlibVerificationKey_<CircuitBuilder, NativeFlavor::PrecomputedEntities<Commitment>, NativeFlavor::VerificationKey>

Definition at line 73 of file mega_app_recursive_flavor.hpp.

◆ VKAndHash

using bb::MegaAppRecursiveFlavor::VKAndHash = VKAndHash_<FF, VerificationKey>

Definition at line 81 of file mega_app_recursive_flavor.hpp.

◆ WitnessCommitments

using bb::MegaAppRecursiveFlavor::WitnessCommitments = MegaAppFlavor::WitnessEntities<Commitment>

Definition at line 76 of file mega_app_recursive_flavor.hpp.

Member Function Documentation

◆ commitment_labels()

static const CommitmentLabels & bb::MegaAppRecursiveFlavor::commitment_labels ( )
inlinestatic

Definition at line 79 of file mega_app_recursive_flavor.hpp.

◆ FINAL_PCS_MSM_SIZE()

static constexpr size_t bb::MegaAppRecursiveFlavor::FINAL_PCS_MSM_SIZE ( size_t  log_n = VIRTUAL_LOG_N)
inlinestaticconstexpr

Definition at line 56 of file mega_app_recursive_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::MegaAppRecursiveFlavor::BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1
staticconstexpr

Definition at line 54 of file mega_app_recursive_flavor.hpp.

◆ HasDataBus

constexpr bool bb::MegaAppRecursiveFlavor::HasDataBus = MegaAppFlavor::HasDataBus
staticconstexpr

Definition at line 43 of file mega_app_recursive_flavor.hpp.

◆ HasEccOpQueue

constexpr bool bb::MegaAppRecursiveFlavor::HasEccOpQueue = MegaAppFlavor::HasEccOpQueue
staticconstexpr

Definition at line 49 of file mega_app_recursive_flavor.hpp.

◆ HasElliptic

constexpr bool bb::MegaAppRecursiveFlavor::HasElliptic = MegaAppFlavor::HasElliptic
staticconstexpr

Definition at line 46 of file mega_app_recursive_flavor.hpp.

◆ HasLogDerivLookup

constexpr bool bb::MegaAppRecursiveFlavor::HasLogDerivLookup = MegaAppFlavor::HasLogDerivLookup
staticconstexpr

Definition at line 45 of file mega_app_recursive_flavor.hpp.

◆ HasMemory

constexpr bool bb::MegaAppRecursiveFlavor::HasMemory = MegaAppFlavor::HasMemory
staticconstexpr

Definition at line 47 of file mega_app_recursive_flavor.hpp.

◆ HasNonNativeField

constexpr bool bb::MegaAppRecursiveFlavor::HasNonNativeField = MegaAppFlavor::HasNonNativeField
staticconstexpr

Definition at line 48 of file mega_app_recursive_flavor.hpp.

◆ HasZK

constexpr bool bb::MegaAppRecursiveFlavor::HasZK = false
staticconstexpr

Definition at line 35 of file mega_app_recursive_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::MegaAppRecursiveFlavor::MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()
staticconstexpr

Definition at line 53 of file mega_app_recursive_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_ALL_ENTITIES = MegaAppFlavor::NUM_ALL_ENTITIES
staticconstexpr

Definition at line 38 of file mega_app_recursive_flavor.hpp.

◆ NUM_BUS_COLUMNS

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_BUS_COLUMNS = MegaAppFlavor::NUM_BUS_COLUMNS
staticconstexpr

Definition at line 44 of file mega_app_recursive_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_PRECOMPUTED_ENTITIES = MegaAppFlavor::NUM_PRECOMPUTED_ENTITIES
staticconstexpr

Definition at line 39 of file mega_app_recursive_flavor.hpp.

◆ NUM_RELATIONS

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_RELATIONS = std::tuple_size_v<Relations>
staticconstexpr

Definition at line 62 of file mega_app_recursive_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_SHIFTED_ENTITIES = MegaAppFlavor::NUM_SHIFTED_ENTITIES
staticconstexpr

Definition at line 41 of file mega_app_recursive_flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_SUBRELATIONS = MegaAppFlavor::NUM_SUBRELATIONS
staticconstexpr

Definition at line 64 of file mega_app_recursive_flavor.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_UNSHIFTED_ENTITIES = MegaAppFlavor::NUM_UNSHIFTED_ENTITIES
staticconstexpr

Definition at line 42 of file mega_app_recursive_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_WIRES = MegaAppFlavor::NUM_WIRES
staticconstexpr

Definition at line 37 of file mega_app_recursive_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaAppRecursiveFlavor::NUM_WITNESS_ENTITIES = MegaAppFlavor::NUM_WITNESS_ENTITIES
staticconstexpr

Definition at line 40 of file mega_app_recursive_flavor.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaAppRecursiveFlavor::REPEATED_COMMITMENTS = MegaAppFlavor::REPEATED_COMMITMENTS
staticconstexpr

Definition at line 60 of file mega_app_recursive_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::MegaAppRecursiveFlavor::USE_PADDING = MegaAppFlavor::USE_PADDING
staticconstexpr

Definition at line 36 of file mega_app_recursive_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::MegaAppRecursiveFlavor::USE_SHORT_MONOMIALS = MegaAppFlavor::USE_SHORT_MONOMIALS
staticconstexpr

Definition at line 34 of file mega_app_recursive_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::MegaAppRecursiveFlavor::VIRTUAL_LOG_N = MegaAppFlavor::VIRTUAL_LOG_N
staticconstexpr

Definition at line 33 of file mega_app_recursive_flavor.hpp.

The documentation for this class was generated from the following file: