Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::ECCVMTranscriptShortRelationImpl< FF_ > Class Template Reference

#include <ecc_transcript_short_relation.hpp>

Inheritance diagram for bb::ECCVMTranscriptShortRelationImpl< FF_ >:
bb::ECCVMTranscriptRelationImpl< 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 , ACCUMULATOR_NOT_EMPTY_INIT = 26 , OFFSET_GENERATOR_X = 27 ,
  OFFSET_GENERATOR_Y = 28 , MSM_INFINITY_X_DIFF = 29 , MSM_INFINITY_Y_SUM = 30 , MSM_INFINITY_INVERSE = 31 ,
  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, 32 > 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 106 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,
3,
}

Definition at line 31 of file ecc_transcript_short_relation.hpp.

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