#include <multilinear_batching_flavor.hpp>

Classes
class	AllValues

Public Types
using	NativeFlavor = MultilinearBatchingFlavor_< NumClaims >

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 >

using	Codec = stdlib::StdlibCodec< FF >

using	Relations = typename NativeFlavor::template Relations_< FF >

using	SubrelationSeparator = FF

Static Public Attributes
static constexpr size_t	NUM_CLAIMS = NativeFlavor::NUM_CLAIMS

static constexpr size_t	VIRTUAL_LOG_N = NativeFlavor::VIRTUAL_LOG_N

static constexpr bool	HasZK = NativeFlavor::HasZK

static constexpr bool	USE_PADDING = NativeFlavor::USE_PADDING

static constexpr size_t	NUM_ALL_ENTITIES = NativeFlavor::NUM_ALL_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 = NativeFlavor::NUM_SUBRELATIONS

Detailed Description

template<size_t NumClaims>
class bb::MultilinearBatchingRecursiveFlavor_< NumClaims >

Definition at line 230 of file multilinear_batching_flavor.hpp.

Member Typedef Documentation

◆ Builder

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Builder = MegaCircuitBuilder

Definition at line 233 of file multilinear_batching_flavor.hpp.

◆ Codec

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Codec = stdlib::StdlibCodec<FF>

Definition at line 239 of file multilinear_batching_flavor.hpp.

◆ Commitment

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Commitment = typename Curve::Element

Definition at line 237 of file multilinear_batching_flavor.hpp.

◆ Curve

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Curve = stdlib::bn254<Builder>

Definition at line 234 of file multilinear_batching_flavor.hpp.

◆ FF

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::FF = typename Curve::ScalarField

Definition at line 236 of file multilinear_batching_flavor.hpp.

◆ NativeFlavor

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::NativeFlavor = MultilinearBatchingFlavor_<NumClaims>

Definition at line 232 of file multilinear_batching_flavor.hpp.

◆ PCS

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::PCS = KZG<Curve>

Definition at line 235 of file multilinear_batching_flavor.hpp.

◆ Relations

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Relations = typename NativeFlavor::template Relations_<FF>

Definition at line 247 of file multilinear_batching_flavor.hpp.

◆ SubrelationSeparator

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::SubrelationSeparator = FF

Definition at line 252 of file multilinear_batching_flavor.hpp.

◆ Transcript

template<size_t NumClaims>

using bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::Transcript = StdlibTranscript<Builder>

Definition at line 238 of file multilinear_batching_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

template<size_t NumClaims>

constexpr size_t bb::MultilinearBatchingRecursiveFlavor_< NumClaims >::BATCHED_RELATION_PARTIAL_LENGTH = NativeFlavor::BATCHED_RELATION_PARTIAL_LENGTH

staticconstexpr

Definition at line 249 of file multilinear_batching_flavor.hpp.