barretenberg-doxygen/3f0fad0de81d472cf71c03df11cf01ed6e7e09e0/ecc__msm__relation_8hpp_source.html

#pragma once

#include "barretenberg/relations/relation_types.hpp"


namespace proof_system::honk::sumcheck {


template <typename FF_> class ECCVMMSMRelationImpl {

  public:

    using FF = FF_;


    static constexpr std::array<size_t, 36> SUBRELATION_PARTIAL_LENGTHS{ 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,

                                                                         8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,

                                                                         8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8 };


    template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>

    static void accumulate(ContainerOverSubrelations& accumulator,

                           const AllEntities& in,

                           const Parameters& /* unused */,

                           const FF& scaling_factor);

};


template <typename FF> using ECCVMMSMRelation = Relation<ECCVMMSMRelationImpl<FF>>;


} // namespace proof_system::honk::sumcheck

proof_system::Relation
The templates defined herein facilitate sharing the relation arithmetic between the prover and the ve...
Definition: relation_types.hpp:121

proof_system::honk::sumcheck::ECCVMMSMRelationImpl
MSM relations that evaluate the Strauss multiscalar multiplication algorithm.
Definition: ecc_msm_relation.hpp:37

proof_system::honk::sumcheck::ECCVMMSMRelationImpl::accumulate
static void accumulate(ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &, const FF &scaling_factor)
MSM relations that evaluate the Strauss multiscalar multiplication algorithm.
Definition: ecc_msm_relation.cpp:40