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

#include <multilinear_batching_recursive_flavor.hpp>

Classes

class  AllValues
 

Public Types

using NativeFlavor = MultilinearBatchingFlavor
 
using Builder = MegaCircuitBuilder
 
using Curve = stdlib::bn254< Builder >
 
using PCS = KZG< Curve >
 
using FF = typename Curve::ScalarField
 
using Commitment = typename Curve::Element
 
using Transcript = StdlibTranscript< Builder >
 
template<typename FF >
using Relations_ = std::tuple< bb::MultilinearBatchingAccumulatorRelation< FF >, bb::MultilinearBatchingInstanceRelation< FF > >
 
using Relations = Relations_< FF >
 
using SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >
 
using CommitmentLabels = NativeFlavor::CommitmentLabels
 

Static Public Attributes

static constexpr size_t VIRTUAL_LOG_N = NativeFlavor::VIRTUAL_LOG_N
 
static constexpr bool HasZK = NativeFlavor::HasZK
 
static constexpr bool IS_MULTILINEAR_BATCHING = NativeFlavor::IS_MULTILINEAR_BATCHING
 
static constexpr bool USE_PADDING = NativeFlavor::USE_PADDING
 
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_WITNESS_ENTITIES = NativeFlavor::NUM_WITNESS_ENTITIES
 
static constexpr size_t MAX_PARTIAL_RELATION_LENGTH = NativeFlavor::MAX_PARTIAL_RELATION_LENGTH
 
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 = compute_number_of_subrelations<Relations>()
 

Detailed Description

Definition at line 15 of file multilinear_batching_recursive_flavor.hpp.

Member Typedef Documentation

◆ Builder

using bb::MultilinearBatchingRecursiveFlavor::Builder = MegaCircuitBuilder

Definition at line 18 of file multilinear_batching_recursive_flavor.hpp.

◆ Commitment

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

Definition at line 22 of file multilinear_batching_recursive_flavor.hpp.

◆ CommitmentLabels

using bb::MultilinearBatchingRecursiveFlavor::CommitmentLabels = NativeFlavor::CommitmentLabels

Definition at line 70 of file multilinear_batching_recursive_flavor.hpp.

◆ Curve

using bb::MultilinearBatchingRecursiveFlavor::Curve = stdlib::bn254<Builder>

Definition at line 19 of file multilinear_batching_recursive_flavor.hpp.

◆ FF

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

Definition at line 21 of file multilinear_batching_recursive_flavor.hpp.

◆ NativeFlavor

using bb::MultilinearBatchingRecursiveFlavor::NativeFlavor = MultilinearBatchingFlavor

Definition at line 17 of file multilinear_batching_recursive_flavor.hpp.

◆ PCS

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

Definition at line 20 of file multilinear_batching_recursive_flavor.hpp.

◆ Relations

using bb::MultilinearBatchingRecursiveFlavor::Relations = Relations_<FF>

Definition at line 48 of file multilinear_batching_recursive_flavor.hpp.

◆ Relations_

template<typename FF >
using bb::MultilinearBatchingRecursiveFlavor::Relations_ = std::tuple<bb::MultilinearBatchingAccumulatorRelation<FF>, bb::MultilinearBatchingInstanceRelation<FF> >

Definition at line 46 of file multilinear_batching_recursive_flavor.hpp.

◆ SubrelationSeparators

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

Definition at line 62 of file multilinear_batching_recursive_flavor.hpp.

◆ Transcript

using bb::MultilinearBatchingRecursiveFlavor::Transcript = StdlibTranscript<Builder>

Definition at line 23 of file multilinear_batching_recursive_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH
staticconstexpr

Definition at line 55 of file multilinear_batching_recursive_flavor.hpp.

◆ HasZK

constexpr bool bb::MultilinearBatchingRecursiveFlavor::HasZK = NativeFlavor::HasZK
staticconstexpr

Definition at line 29 of file multilinear_batching_recursive_flavor.hpp.

◆ IS_MULTILINEAR_BATCHING

constexpr bool bb::MultilinearBatchingRecursiveFlavor::IS_MULTILINEAR_BATCHING = NativeFlavor::IS_MULTILINEAR_BATCHING
staticconstexpr

Definition at line 31 of file multilinear_batching_recursive_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::MAX_PARTIAL_RELATION_LENGTH = NativeFlavor::MAX_PARTIAL_RELATION_LENGTH
staticconstexpr

Definition at line 50 of file multilinear_batching_recursive_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_ENTITIES
staticconstexpr

Definition at line 38 of file multilinear_batching_recursive_flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 56 of file multilinear_batching_recursive_flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()
staticconstexpr

Definition at line 61 of file multilinear_batching_recursive_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::NUM_WIRES = NativeFlavor::NUM_WIRES
staticconstexpr

Definition at line 35 of file multilinear_batching_recursive_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::NUM_WITNESS_ENTITIES = NativeFlavor::NUM_WITNESS_ENTITIES
staticconstexpr

Definition at line 41 of file multilinear_batching_recursive_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::MultilinearBatchingRecursiveFlavor::USE_PADDING = NativeFlavor::USE_PADDING
staticconstexpr

Definition at line 34 of file multilinear_batching_recursive_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::MultilinearBatchingRecursiveFlavor::VIRTUAL_LOG_N = NativeFlavor::VIRTUAL_LOG_N
staticconstexpr

Definition at line 27 of file multilinear_batching_recursive_flavor.hpp.

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