bb::ECCVMBoolsRelationImpl< FF_ > Class Template Reference

ECCVMBoolsRelationImpl evaluates the correctness of ECCVM boolean checks. More...

#include <ecc_bools_relation.hpp>

Public Types
using	FF = FF_

Static Public Member Functions
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &, const FF &scaling_factor)
	ECCVMBoolsRelationImpl evaluates the correctness of ECCVM boolean checks.

Static Public Attributes
static constexpr std::array< size_t, 19 >	SUBRELATION_PARTIAL_LENGTHS

Detailed Description

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

ECCVMBoolsRelationImpl evaluates the correctness of ECCVM boolean checks.

There are a lot of columns in ECCVM that are boolean. As these are all low-degree we place them in a separate relation class

Template Parameters

FF

Definition at line 22 of file ecc_bools_relation.hpp.

Member Typedef Documentation

FF

template<typename FF_ >

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

Definition at line 24 of file ecc_bools_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

void bb::ECCVMBoolsRelationImpl< FF >::accumulate ( ContainerOverSubrelations &  accumulator, const AllEntities &  in, const Parameters &  , const FF &  scaling_factor  )

static

ECCVMBoolsRelationImpl evaluates the correctness of ECCVM boolean checks.

There are a lot of columns in ECCVM that are boolean. As these are all low-degree we place them in a separate relation class

Template Parameters

FF
ContainerOverSubrelations
AllEntities
Parameters

Definition at line 27 of file ecc_bools_relation_impl.hpp.

Member Data Documentation

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 19> bb::ECCVMBoolsRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
    }

Definition at line 26 of file ecc_bools_relation.hpp.

---

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

• src/barretenberg/relations/ecc_vm/ecc_bools_relation.hpp
• src/barretenberg/relations/ecc_vm/ecc_bools_relation_impl.hpp