2#include "barretenberg/relations/relation_types.hpp"
4namespace proof_system::honk::sumcheck {
22 static constexpr std::array<size_t, 6> SUBRELATION_PARTIAL_LENGTHS{ 6, 6, 6, 6, 6, 6 };
24 template <
typename ContainerOverSubrelations,
typename AllEntities,
typename Parameters>
25 static void accumulate(ContainerOverSubrelations& accumulator,
26 const AllEntities& in,
28 const FF& scaling_factor);
The templates defined herein facilitate sharing the relation arithmetic between the prover and the ve...
Definition: relation_types.hpp:121
ECCVMPointTableRelationImpl.
Definition: ecc_point_table_relation.hpp:18
static void accumulate(ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &, const FF &scaling_factor)
ECCVMPointTableRelationImpl.
Definition: ecc_point_table_relation.cpp:21