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::ECCVMRecursiveFlavor Class Reference

#include <eccvm_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
 The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier. More...
 

Public Types

using CircuitBuilder = UltraCircuitBuilder
 
using Curve = stdlib::grumpkin< CircuitBuilder >
 
using Commitment = Curve::AffineElement
 
using GroupElement = Curve::Element
 
using FF = Curve::ScalarField
 
using BF = Curve::BaseField
 
using NativeFlavor = ECCVMFlavor
 
using NativeVerificationKey = NativeFlavor::VerificationKey
 
using PCS = IPA< Curve >
 
using Relations = ECCVMFlavor::Relations_< FF >
 
using SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >
 
using VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >
 
using WitnessCommitments = ECCVMFlavor::WitnessEntities< Commitment >
 A container for the witness commitments.
 
using CommitmentLabels = ECCVMFlavor::CommitmentLabels
 
using VerifierCommitments = ECCVMFlavor::VerifierCommitments_< Commitment, VerificationKey >
 
using Transcript = StdlibTranscript< CircuitBuilder >
 
using VKAndHash = VKAndHash_< VerificationKey, FF >
 

Static Public Attributes

static constexpr bool USE_SHORT_MONOMIALS = ECCVMFlavor::USE_SHORT_MONOMIALS
 
static constexpr bool HasZK = true
 
static constexpr bool USE_PADDING = ECCVMFlavor::USE_PADDING
 
static constexpr size_t NUM_WIRES = ECCVMFlavor::NUM_WIRES
 
static constexpr size_t NUM_ALL_ENTITIES = ECCVMFlavor::NUM_ALL_ENTITIES
 
static constexpr size_t NUM_PRECOMPUTED_ENTITIES = ECCVMFlavor::NUM_PRECOMPUTED_ENTITIES
 
static constexpr size_t NUM_WITNESS_ENTITIES = ECCVMFlavor::NUM_WITNESS_ENTITIES
 
static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS = ECCVMFlavor::REPEATED_COMMITMENTS
 
static constexpr size_t NUM_SUBRELATIONS = ECCVMFlavor::NUM_SUBRELATIONS
 
static constexpr size_t MAX_PARTIAL_RELATION_LENGTH = ECCVMFlavor::MAX_PARTIAL_RELATION_LENGTH
 
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH = ECCVMFlavor::BATCHED_RELATION_PARTIAL_LENGTH
 
static constexpr size_t NUM_RELATIONS = std::tuple_size<Relations>::value
 

Detailed Description

Definition at line 16 of file eccvm_recursive_flavor.hpp.

Member Typedef Documentation

◆ BF

using bb::ECCVMRecursiveFlavor::BF = Curve::BaseField

Definition at line 23 of file eccvm_recursive_flavor.hpp.

◆ CircuitBuilder

using bb::ECCVMRecursiveFlavor::CircuitBuilder = UltraCircuitBuilder

Definition at line 18 of file eccvm_recursive_flavor.hpp.

◆ Commitment

using bb::ECCVMRecursiveFlavor::Commitment = Curve::AffineElement

Definition at line 20 of file eccvm_recursive_flavor.hpp.

◆ CommitmentLabels

using bb::ECCVMRecursiveFlavor::CommitmentLabels = ECCVMFlavor::CommitmentLabels

Definition at line 140 of file eccvm_recursive_flavor.hpp.

◆ Curve

using bb::ECCVMRecursiveFlavor::Curve = stdlib::grumpkin<CircuitBuilder>

Definition at line 19 of file eccvm_recursive_flavor.hpp.

◆ FF

using bb::ECCVMRecursiveFlavor::FF = Curve::ScalarField

Definition at line 22 of file eccvm_recursive_flavor.hpp.

◆ GroupElement

using bb::ECCVMRecursiveFlavor::GroupElement = Curve::Element

Definition at line 21 of file eccvm_recursive_flavor.hpp.

◆ NativeFlavor

using bb::ECCVMRecursiveFlavor::NativeFlavor = ECCVMFlavor

Definition at line 24 of file eccvm_recursive_flavor.hpp.

◆ NativeVerificationKey

using bb::ECCVMRecursiveFlavor::NativeVerificationKey = NativeFlavor::VerificationKey

Definition at line 25 of file eccvm_recursive_flavor.hpp.

◆ PCS

using bb::ECCVMRecursiveFlavor::PCS = IPA<Curve>

Definition at line 26 of file eccvm_recursive_flavor.hpp.

◆ Relations

using bb::ECCVMRecursiveFlavor::Relations = ECCVMFlavor::Relations_<FF>

Definition at line 50 of file eccvm_recursive_flavor.hpp.

◆ SubrelationSeparators

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

Definition at line 53 of file eccvm_recursive_flavor.hpp.

◆ Transcript

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

Definition at line 144 of file eccvm_recursive_flavor.hpp.

◆ VerifierCommitmentKey

using bb::ECCVMRecursiveFlavor::VerifierCommitmentKey = bb::VerifierCommitmentKey<Curve>

Definition at line 73 of file eccvm_recursive_flavor.hpp.

◆ VerifierCommitments

using bb::ECCVMRecursiveFlavor::VerifierCommitments = ECCVMFlavor::VerifierCommitments_<Commitment, VerificationKey>

Definition at line 142 of file eccvm_recursive_flavor.hpp.

◆ VKAndHash

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

Definition at line 146 of file eccvm_recursive_flavor.hpp.

◆ WitnessCommitments

using bb::ECCVMRecursiveFlavor::WitnessCommitments = ECCVMFlavor::WitnessEntities<Commitment>

A container for the witness commitments.

Definition at line 138 of file eccvm_recursive_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::ECCVMRecursiveFlavor::BATCHED_RELATION_PARTIAL_LENGTH = ECCVMFlavor::BATCHED_RELATION_PARTIAL_LENGTH
staticconstexpr

Definition at line 60 of file eccvm_recursive_flavor.hpp.

◆ HasZK

constexpr bool bb::ECCVMRecursiveFlavor::HasZK = true
staticconstexpr

Definition at line 32 of file eccvm_recursive_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::ECCVMRecursiveFlavor::MAX_PARTIAL_RELATION_LENGTH = ECCVMFlavor::MAX_PARTIAL_RELATION_LENGTH
staticconstexpr

Definition at line 55 of file eccvm_recursive_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_ALL_ENTITIES = ECCVMFlavor::NUM_ALL_ENTITIES
staticconstexpr

Definition at line 40 of file eccvm_recursive_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_PRECOMPUTED_ENTITIES = ECCVMFlavor::NUM_PRECOMPUTED_ENTITIES
staticconstexpr

Definition at line 43 of file eccvm_recursive_flavor.hpp.

◆ NUM_RELATIONS

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_RELATIONS = std::tuple_size<Relations>::value
staticconstexpr

Definition at line 61 of file eccvm_recursive_flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_SUBRELATIONS = ECCVMFlavor::NUM_SUBRELATIONS
staticconstexpr

Definition at line 52 of file eccvm_recursive_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_WIRES = ECCVMFlavor::NUM_WIRES
staticconstexpr

Definition at line 36 of file eccvm_recursive_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::ECCVMRecursiveFlavor::NUM_WITNESS_ENTITIES = ECCVMFlavor::NUM_WITNESS_ENTITIES
staticconstexpr

Definition at line 45 of file eccvm_recursive_flavor.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::ECCVMRecursiveFlavor::REPEATED_COMMITMENTS = ECCVMFlavor::REPEATED_COMMITMENTS
staticconstexpr

Definition at line 47 of file eccvm_recursive_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::ECCVMRecursiveFlavor::USE_PADDING = ECCVMFlavor::USE_PADDING
staticconstexpr

Definition at line 34 of file eccvm_recursive_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::ECCVMRecursiveFlavor::USE_SHORT_MONOMIALS = ECCVMFlavor::USE_SHORT_MONOMIALS
staticconstexpr

Definition at line 29 of file eccvm_recursive_flavor.hpp.

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