bb::MegaEccOpBoundaryRelationImpl< FF_ > Class Template Reference

Enforces that MegaZK's ecc op wires start with four zeros: ecc_op_wire_j(x) = 0 for j = 1..4 on rows 0..3. More...

#include <ecc_op_queue_relation.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const Parameters &, const FF &scaling_factor)

Static Public Attributes
static constexpr bool	IS_OFFSET_ONLY = true
static constexpr std::array< size_t, 4 >	SUBRELATION_PARTIAL_LENGTHS { 2, 2, 2, 2 }

Detailed Description

template<typename FF_>
class bb::MegaEccOpBoundaryRelationImpl< FF_ >

Enforces that MegaZK's ecc op wires start with four zeros: ecc_op_wire_j(x) = 0 for j = 1..4 on rows 0..3.

Definition at line 131 of file ecc_op_queue_relation.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

using bb::MegaEccOpBoundaryRelationImpl< FF_ >::FF = FF_

Definition at line 133 of file ecc_op_queue_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF_ >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

static void bb::MegaEccOpBoundaryRelationImpl< FF_ >::accumulate ( ContainerOverSubrelations &  evals, const AllEntities &  in, const Parameters &  , const FF &  scaling_factor  )

inlinestatic

Definition at line 141 of file ecc_op_queue_relation.hpp.

Member Data Documentation

IS_OFFSET_ONLY

template<typename FF_ >

constexpr bool bb::MegaEccOpBoundaryRelationImpl< FF_ >::IS_OFFSET_ONLY = true

staticconstexpr

Definition at line 135 of file ecc_op_queue_relation.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 4> bb::MegaEccOpBoundaryRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS { 2, 2, 2, 2 }

staticconstexpr

Definition at line 138 of file ecc_op_queue_relation.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/relations/ecc_op_queue_relation.hpp