proof_system::GoblinTranslatorAccumulatorTransferRelationImpl< FF_ > Class Template Reference

Public Types
using	FF = FF_

Static Public Member Functions
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulators, const AllEntities &in, const Parameters &params, const FF &scaling_factor)
	Relation enforcing non-arithmetic transitions of accumulator (value that is tracking the batched evaluation of polynomials in non-native field)

Static Public Attributes
static constexpr size_t	RELATION_LENGTH = 3
static constexpr std::array< size_t, 12 >	SUBRELATION_PARTIAL_LENGTHS

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

void proof_system::GoblinTranslatorAccumulatorTransferRelationImpl< FF >::accumulate ( ContainerOverSubrelations &  accumulators, const AllEntities &  in, const Parameters &  params, const FF &  scaling_factor  )

static

Relation enforcing non-arithmetic transitions of accumulator (value that is tracking the batched evaluation of polynomials in non-native field)

This relation enforces three pieces of logic: 1) Accumulator starts as zero before we start accumulating stuff 2) Accumulator limbs stay the same if accumulation is not occurring (at even indices) 3) Accumulator limbs result in the values specified by relation parameters after accumulation

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.

Member Data Documentation

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 12> proof_system::GoblinTranslatorAccumulatorTransferRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3  
 
    }

---

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

• src/barretenberg/relations/translator_vm/translator_extra_relations.hpp
• src/barretenberg/relations/translator_vm/translator_extra_relations.cpp