bb::ECCVMTranscriptShortRelationImpl< FF_ > Class Template Reference

#include <ecc_transcript_short_relation.hpp>

Inheritance diagram for bb::ECCVMTranscriptShortRelationImpl< FF_ >:

Public Types
using	FF = FF_
using	Base = ECCVMTranscriptRelationImpl< FF >
Public Types inherited from bb::ECCVMTranscriptRelationImpl< FF_ >
enum	SubrelationIndex : size_t {   Z1_ZERO_CHECK = 0 , Z2_ZERO_CHECK = 1 , OPCODE_WELL_FORMED = 2 , PC_UPDATE = 3 ,   MSM_COUNT_ZERO_AT_TRANSITION = 4 , MSM_TRANSITION = 5 , MSM_COUNT_ZERO_WHEN_NOT_MUL = 6 , MSM_COUNT_INCREMENT_ACROSS_ROWS = 7 ,   OPCODE_EXCLUSION = 8 , EQ_X_DIFF = 9 , EQ_Y_DIFF = 10 , BOUNDARY_ACCUMULATOR_EMPTY = 11 ,   BOUNDARY_MSM_COUNT_AND_PC = 12 , ON_CURVE_CHECK = 13 , LAMBDA_RELATION = 14 , ACCUMULATOR_X_UPDATE = 15 ,   ACCUMULATOR_Y_UPDATE = 16 , ACCUMULATOR_EMPTY_UPDATE = 17 , ADD_X_EQUAL_CHECK = 18 , ADD_Y_EQUAL_CHECK = 19 ,   HIDING_ROW_EQ = 20 , HIDING_ROW_RESET = 21 , INFINITY_BASE_PX = 22 , INFINITY_BASE_PY = 23 ,   INFINITY_ACC_X = 24 , INFINITY_ACC_Y = 25 , OFFSET_GENERATOR_X = 26 , OFFSET_GENERATOR_Y = 27 ,   MSM_INFINITY_X_DIFF = 28 , MSM_INFINITY_Y_SUM = 29 , MSM_INFINITY_INVERSE = 30 , NUM_SUBRELATIONS }
using	FF = FF_

Static Public Member Functions
template<typename AllEntities >
static bool	skip (const AllEntities &in)
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &params, const FF &scaling_factor)
Static Public Member Functions inherited from bb::ECCVMTranscriptRelationImpl< FF_ >
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &, const FF &scaling_factor)
	ECCVMTranscriptRelationImpl evaluates the correctness of the ECCVM transcript columns.
static constexpr FF	get_curve_b ()

Static Public Attributes
static constexpr size_t	NUM_MAIN_SUBRELATIONS = Base::OFFSET_GENERATOR_X
static constexpr std::array< size_t, NUM_MAIN_SUBRELATIONS >	SUBRELATION_PARTIAL_LENGTHS
Static Public Attributes inherited from bb::ECCVMTranscriptRelationImpl< FF_ >
static constexpr std::array< size_t, 31 >	SUBRELATION_PARTIAL_LENGTHS

Detailed Description

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

Definition at line 15 of file ecc_transcript_short_relation.hpp.

Member Typedef Documentation

Base

template<typename FF_ >

using bb::ECCVMTranscriptShortRelationImpl< FF_ >::Base = ECCVMTranscriptRelationImpl<FF>

Definition at line 18 of file ecc_transcript_short_relation.hpp.

FF

template<typename FF_ >

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

Definition at line 17 of file ecc_transcript_short_relation.hpp.

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

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

static

Definition at line 15 of file ecc_transcript_short_relation_impl.hpp.

skip()

template<typename FF_ >

template<typename AllEntities >

static bool bb::ECCVMTranscriptShortRelationImpl< FF_ >::skip ( const AllEntities &  in )

inlinestatic

Definition at line 105 of file ecc_transcript_short_relation.hpp.

Member Data Documentation

NUM_MAIN_SUBRELATIONS

template<typename FF_ >

constexpr size_t bb::ECCVMTranscriptShortRelationImpl< FF_ >::NUM_MAIN_SUBRELATIONS = Base::OFFSET_GENERATOR_X

staticconstexpr

Definition at line 30 of file ecc_transcript_short_relation.hpp.

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, NUM_MAIN_SUBRELATIONS> bb::ECCVMTranscriptShortRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        3, 
        3, 
        2, 
        5, 
        7, 
        4, 
        3, 
        6, 
        3, 
        6, 
        6, 
        3, 
        3, 
        7, 
        8, 
        8, 
        8, 
        8, 
        6, 
        6, 
        3, 
        3, 
        3, 
        3, 
        3, 
        3, 
    }

Definition at line 31 of file ecc_transcript_short_relation.hpp.

---

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

• src/barretenberg/relations/ecc_vm/ecc_transcript_short_relation.hpp
• src/barretenberg/relations/ecc_vm/ecc_transcript_short_relation_impl.hpp