bb::MultilinearBatchingInstanceRelationImpl< FF_ > Class Template Reference

#include <multilinear_batching_relation.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename AllEntities >
static bool	skip (const AllEntities &in)
	Returns true if the contribution from all subrelations for the provided inputs is identically zero.
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const Parameters &, const FF &scaling_factor)
	Expression for the Multilinear Batching gate.

Static Public Attributes
static constexpr std::array< size_t, 2 >	SUBRELATION_PARTIAL_LENGTHS
static constexpr std::array< bool, 2 >	SUBRELATION_LINEARLY_INDEPENDENT = { false, false }

Detailed Description

template<typename FF_>
class bb::MultilinearBatchingInstanceRelationImpl< FF_ >

Definition at line 57 of file multilinear_batching_relation.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

using bb::MultilinearBatchingInstanceRelationImpl< FF_ >::FF = FF_

Definition at line 59 of file multilinear_batching_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF_ >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

static void bb::MultilinearBatchingInstanceRelationImpl< FF_ >::accumulate ( ContainerOverSubrelations &  evals, const AllEntities &  in, const Parameters &  , const FF &  scaling_factor  )

inlinestatic

Expression for the Multilinear Batching gate.

Parameters

evals	transformed to evals + C(in(X)...)*scaling_factor
in	an std::array containing the fully extended Univariate edges.
parameters	contains beta, gamma, and public_input_delta, ....
scaling_factor	optional term to scale the evaluation before adding to evals.

Definition at line 88 of file multilinear_batching_relation.hpp.

skip()

template<typename FF_ >

template<typename AllEntities >

static bool bb::MultilinearBatchingInstanceRelationImpl< FF_ >::skip ( const AllEntities &  in )

inlinestatic

Returns true if the contribution from all subrelations for the provided inputs is identically zero.

Definition at line 72 of file multilinear_batching_relation.hpp.

Member Data Documentation

SUBRELATION_LINEARLY_INDEPENDENT

template<typename FF_ >

constexpr std::array<bool, 2> bb::MultilinearBatchingInstanceRelationImpl< FF_ >::SUBRELATION_LINEARLY_INDEPENDENT = { false, false }

staticconstexpr

Definition at line 66 of file multilinear_batching_relation.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 2> bb::MultilinearBatchingInstanceRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        3, 
        3, 
    }

Definition at line 61 of file multilinear_batching_relation.hpp.

---

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

• src/barretenberg/relations/multilinear_batching/multilinear_batching_relation.hpp