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

#include <recursive_flavor.hpp>

Classes

class  AllValues
 A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
 
class  VerificationKey
 

Public Types

using CircuitBuilder = AvmRecursiveFlavorSettings::CircuitBuilder
 
using Curve = AvmRecursiveFlavorSettings::Curve
 
using PCS = AvmRecursiveFlavorSettings::PCS
 
using GroupElement = AvmRecursiveFlavorSettings::GroupElement
 
using Commitment = AvmRecursiveFlavorSettings::Commitment
 
using FF = AvmRecursiveFlavorSettings::FF
 
using BF = AvmRecursiveFlavorSettings::BF
 
using NativeFlavor = avm2::AvmFlavor
 
using NativeVerificationKey = NativeFlavor::VerificationKey
 
using Transcript = BaseTranscript< stdlib::recursion::honk::StdlibTranscriptParams< CircuitBuilder > >
 
using VerifierCommitmentKey = NativeFlavor::VerifierCommitmentKey
 
using Relations = NativeFlavor::Relations_< FF >
 
using SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >
 
using WitnessCommitments = NativeFlavor::WitnessEntities< Commitment >
 
using VerifierCommitments = NativeFlavor::VerifierCommitments_< Commitment, VerificationKey >
 

Static Public Attributes

static constexpr bool USE_SHORT_MONOMIALS = NativeFlavor::USE_SHORT_MONOMIALS
 
static constexpr size_t NUM_WIRES = NativeFlavor::NUM_WIRES
 
static constexpr size_t NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_ENTITIES
 
static constexpr size_t NUM_PRECOMPUTED_ENTITIES = NativeFlavor::NUM_PRECOMPUTED_ENTITIES
 
static constexpr size_t NUM_WITNESS_ENTITIES = NativeFlavor::NUM_WITNESS_ENTITIES
 
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH
 
static constexpr size_t NUM_RELATIONS = std::tuple_size_v<Relations>
 
static constexpr size_t NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS
 
static constexpr bool HasZK = false
 
static constexpr bool USE_PADDING = true
 

Detailed Description

Definition at line 13 of file recursive_flavor.hpp.

Member Typedef Documentation

◆ BF

using bb::avm2::AvmRecursiveFlavor::BF = AvmRecursiveFlavorSettings::BF

Definition at line 21 of file recursive_flavor.hpp.

◆ CircuitBuilder

using bb::avm2::AvmRecursiveFlavor::CircuitBuilder = AvmRecursiveFlavorSettings::CircuitBuilder

Definition at line 15 of file recursive_flavor.hpp.

◆ Commitment

using bb::avm2::AvmRecursiveFlavor::Commitment = AvmRecursiveFlavorSettings::Commitment

Definition at line 19 of file recursive_flavor.hpp.

◆ Curve

using bb::avm2::AvmRecursiveFlavor::Curve = AvmRecursiveFlavorSettings::Curve

Definition at line 16 of file recursive_flavor.hpp.

◆ FF

using bb::avm2::AvmRecursiveFlavor::FF = AvmRecursiveFlavorSettings::FF

Definition at line 20 of file recursive_flavor.hpp.

◆ GroupElement

using bb::avm2::AvmRecursiveFlavor::GroupElement = AvmRecursiveFlavorSettings::GroupElement

Definition at line 18 of file recursive_flavor.hpp.

◆ NativeFlavor

using bb::avm2::AvmRecursiveFlavor::NativeFlavor = avm2::AvmFlavor

Definition at line 23 of file recursive_flavor.hpp.

◆ NativeVerificationKey

using bb::avm2::AvmRecursiveFlavor::NativeVerificationKey = NativeFlavor::VerificationKey

Definition at line 24 of file recursive_flavor.hpp.

◆ PCS

using bb::avm2::AvmRecursiveFlavor::PCS = AvmRecursiveFlavorSettings::PCS

Definition at line 17 of file recursive_flavor.hpp.

◆ Relations

using bb::avm2::AvmRecursiveFlavor::Relations = NativeFlavor::Relations_<FF>

Definition at line 30 of file recursive_flavor.hpp.

◆ SubrelationSeparators

using bb::avm2::AvmRecursiveFlavor::SubrelationSeparators = std::array<FF, NUM_SUBRELATIONS - 1>

Definition at line 44 of file recursive_flavor.hpp.

◆ Transcript

using bb::avm2::AvmRecursiveFlavor::Transcript = BaseTranscript<stdlib::recursion::honk::StdlibTranscriptParams<CircuitBuilder> >

Definition at line 25 of file recursive_flavor.hpp.

◆ VerifierCommitmentKey

using bb::avm2::AvmRecursiveFlavor::VerifierCommitmentKey = NativeFlavor::VerifierCommitmentKey

Definition at line 28 of file recursive_flavor.hpp.

◆ VerifierCommitments

using bb::avm2::AvmRecursiveFlavor::VerifierCommitments = NativeFlavor::VerifierCommitments_<Commitment, VerificationKey>

Definition at line 112 of file recursive_flavor.hpp.

◆ WitnessCommitments

using bb::avm2::AvmRecursiveFlavor::WitnessCommitments = NativeFlavor::WitnessEntities<Commitment>

Definition at line 111 of file recursive_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::avm2::AvmRecursiveFlavor::BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH
staticconstexpr

Definition at line 40 of file recursive_flavor.hpp.

◆ HasZK

constexpr bool bb::avm2::AvmRecursiveFlavor::HasZK = false
staticconstexpr

Definition at line 47 of file recursive_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_ENTITIES
staticconstexpr

Definition at line 36 of file recursive_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_PRECOMPUTED_ENTITIES = NativeFlavor::NUM_PRECOMPUTED_ENTITIES
staticconstexpr

Definition at line 37 of file recursive_flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 41 of file recursive_flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS
staticconstexpr

Definition at line 43 of file recursive_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_WIRES = NativeFlavor::NUM_WIRES
staticconstexpr

Definition at line 35 of file recursive_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::avm2::AvmRecursiveFlavor::NUM_WITNESS_ENTITIES = NativeFlavor::NUM_WITNESS_ENTITIES
staticconstexpr

Definition at line 38 of file recursive_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::avm2::AvmRecursiveFlavor::USE_PADDING = true
staticconstexpr

Definition at line 51 of file recursive_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::avm2::AvmRecursiveFlavor::USE_SHORT_MONOMIALS = NativeFlavor::USE_SHORT_MONOMIALS
staticconstexpr

Definition at line 33 of file recursive_flavor.hpp.

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