2#include "barretenberg/relations/relation_types.hpp"
4namespace proof_system::honk::sumcheck {
38 static constexpr std::array<size_t, 21> SUBRELATION_PARTIAL_LENGTHS{
39 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
42 template <
typename ContainerOverSubrelations,
typename AllEntities,
typename Parameters>
43 static void accumulate(ContainerOverSubrelations& accumulator,
44 const AllEntities& in,
46 const FF& scaling_factor);
The templates defined herein facilitate sharing the relation arithmetic between the prover and the ve...
Definition: relation_types.hpp:121
ECCVMWnafRelationImpl evaluates relations that convert scalar multipliers into 4-bit WNAF slices.
Definition: ecc_wnaf_relation.hpp:34
static void accumulate(ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &, const FF &scaling_factor)
ECCVMWnafRelationImpl evaluates relations that convert scalar multipliers into 4-bit WNAF slices.
Definition: ecc_wnaf_relation.cpp:39