Barretenberg: src/barretenberg/relations/translator_vm/translator_decomposition_relation_2.cpp Source File

// === AUDIT STATUS ===

// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }

// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }

// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }

// =====================


#include "barretenberg/relations/translator_vm/translator_decomposition_relation_impl.hpp"

#include "barretenberg/translator_vm/translator_flavor.hpp"

namespace bb {

// Split up due to compile time, used to use DEFINE_SUMCHECK_RELATION_CLASS

template void TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>::accumulate<

    bb::Relation<TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>>::SumcheckArrayOfValuesOverSubrelations,

    TranslatorFlavor::AllValues>(

    bb::Relation<TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>>::SumcheckArrayOfValuesOverSubrelations&,

    TranslatorFlavor::AllValues const&,

    RelationParameters<TranslatorFlavor::FF> const&,

    TranslatorFlavor::FF const&);

template void TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>::accumulate<

    bb::Relation<TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>>::SumcheckTupleOfUnivariatesOverSubrelations,

    TranslatorFlavor::ExtendedEdges>(bb::Relation<TranslatorDecompositionRelationImpl<TranslatorFlavor::FF>>::

                                         SumcheckTupleOfUnivariatesOverSubrelations&,

                                     TranslatorFlavor::ExtendedEdges const&,

                                     RelationParameters<TranslatorFlavor::FF> const&,

                                     TranslatorFlavor::FF const&);

} // namespace bb

bb::Relation
A wrapper for Relations to expose methods used by the Sumcheck prover or verifier to add the contribu...
Definition relation_types.hpp:153

bb::TranslatorDecompositionRelationImpl::accumulate
static void accumulate(ContainerOverSubrelations &accumulators, const AllEntities &in, const Parameters &, const FF &scaling_factor)
Expression for decomposition of various values into smaller limbs or microlimbs.
Definition translator_decomposition_relation_impl.hpp:32

bb::TranslatorFlavor::FF
Curve::ScalarField FF
Definition translator_flavor.hpp:40

bb::TranslatorFlavor::ExtendedEdges
ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH > ExtendedEdges
A container for univariates produced during the hot loop in sumcheck.
Definition translator_flavor.hpp:866

bb
Entry point for Barretenberg command-line interface.
Definition acir_format_getters.cpp:6

translator_decomposition_relation_impl.hpp

translator_flavor.hpp