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...
 

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 VerificationKey = FixedStdlibVKAndHash_< CircuitBuilder, ECCVMFlavor::PrecomputedEntities< Commitment >, NativeVerificationKey >
 The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier.
 
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 Proof = stdlib::Proof< CircuitBuilder >
 
using VKAndHash = VKAndHash_< VerificationKey, FF >
 

Static Public Attributes

static constexpr bool HasZK = true
 
static constexpr bool USE_PADDING = ECCVMFlavor::USE_PADDING
 
static constexpr size_t TRACE_OFFSET = 4
 
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 17 of file eccvm_recursive_flavor.hpp.

Member Typedef Documentation

◆ BF

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

Definition at line 24 of file eccvm_recursive_flavor.hpp.

◆ CircuitBuilder

using bb::ECCVMRecursiveFlavor::CircuitBuilder = UltraCircuitBuilder

Definition at line 19 of file eccvm_recursive_flavor.hpp.

◆ Commitment

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

Definition at line 21 of file eccvm_recursive_flavor.hpp.

◆ CommitmentLabels

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

Definition at line 86 of file eccvm_recursive_flavor.hpp.

◆ Curve

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

Definition at line 20 of file eccvm_recursive_flavor.hpp.

◆ FF

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

Definition at line 23 of file eccvm_recursive_flavor.hpp.

◆ GroupElement

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

Definition at line 22 of file eccvm_recursive_flavor.hpp.

◆ NativeFlavor

using bb::ECCVMRecursiveFlavor::NativeFlavor = ECCVMFlavor

Definition at line 25 of file eccvm_recursive_flavor.hpp.

◆ NativeVerificationKey

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

Definition at line 26 of file eccvm_recursive_flavor.hpp.

◆ PCS

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

Definition at line 27 of file eccvm_recursive_flavor.hpp.

◆ Proof

using bb::ECCVMRecursiveFlavor::Proof = stdlib::Proof<CircuitBuilder>

Definition at line 93 of file eccvm_recursive_flavor.hpp.

◆ Relations

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

Definition at line 49 of file eccvm_recursive_flavor.hpp.

◆ SubrelationSeparators

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

Definition at line 52 of file eccvm_recursive_flavor.hpp.

◆ Transcript

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

Definition at line 90 of file eccvm_recursive_flavor.hpp.

◆ VerificationKey

using bb::ECCVMRecursiveFlavor::VerificationKey = FixedStdlibVKAndHash_<CircuitBuilder, ECCVMFlavor::PrecomputedEntities<Commitment>, NativeVerificationKey>

The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier.

Definition at line 78 of file eccvm_recursive_flavor.hpp.

◆ VerifierCommitmentKey

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

Definition at line 72 of file eccvm_recursive_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 88 of file eccvm_recursive_flavor.hpp.

◆ VKAndHash

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

Definition at line 95 of file eccvm_recursive_flavor.hpp.

◆ WitnessCommitments

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

A container for the witness commitments.

Definition at line 84 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 59 of file eccvm_recursive_flavor.hpp.

◆ HasZK

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

Definition at line 30 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 54 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 39 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 42 of file eccvm_recursive_flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 60 of file eccvm_recursive_flavor.hpp.

◆ NUM_SUBRELATIONS

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

Definition at line 51 of file eccvm_recursive_flavor.hpp.

◆ NUM_WIRES

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

Definition at line 35 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 44 of file eccvm_recursive_flavor.hpp.

◆ REPEATED_COMMITMENTS

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

Definition at line 46 of file eccvm_recursive_flavor.hpp.

◆ TRACE_OFFSET

constexpr size_t bb::ECCVMRecursiveFlavor::TRACE_OFFSET = 4
staticconstexpr

Definition at line 33 of file eccvm_recursive_flavor.hpp.

◆ USE_PADDING

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

Definition at line 32 of file eccvm_recursive_flavor.hpp.

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