barretenberg
Loading...
Searching...
No Matches
ecc_point_table_relation.hpp
1#pragma once
2#include "barretenberg/relations/relation_types.hpp"
3
4namespace proof_system::honk::sumcheck {
5
18template <typename FF_> class ECCVMPointTableRelationImpl {
19 public:
20 using FF = FF_;
21
22 static constexpr std::array<size_t, 6> SUBRELATION_PARTIAL_LENGTHS{ 6, 6, 6, 6, 6, 6 };
23
24 template <typename ContainerOverSubrelations, typename AllEntities, typename Parameters>
25 static void accumulate(ContainerOverSubrelations& accumulator,
26 const AllEntities& in,
27 const Parameters& /* unused */,
28 const FF& scaling_factor);
29};
30
32
33} // namespace proof_system::honk::sumcheck
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