proof_system::honk::sumcheck::ECCVMSetRelationImpl< FF_ > Class Template Reference

Public Types
using	FF = FF_

Static Public Member Functions
template<typename Accumulator >
static Accumulator	convert_to_wnaf (const auto &s0, const auto &s1)
static auto &	get_grand_product_polynomial (auto &input)
static auto &	get_shifted_grand_product_polynomial (auto &input)
template<typename Accumulator , typename AllEntities , typename Parameters >
static Accumulator	compute_permutation_numerator (const AllEntities &in, const Parameters &params)
	Performs list-equivalence checks for the ECCVM.
template<typename Accumulator , typename AllEntities , typename Parameters >
static Accumulator	compute_permutation_denominator (const AllEntities &in, const Parameters &params)
template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >
static void	accumulate (ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters &params, const FF &scaling_factor)
	Expression for the StandardArithmetic gate. @dbetails The relation is defined as C(in(X)...) = (q_m * w_r * w_l) + (q_l * w_l) + (q_r * w_r) + (q_o * w_o) + q_c.

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

Member Function Documentation

accumulate()

template<typename FF >

template<typename ContainerOverSubrelations , typename AllEntities , typename Parameters >

void proof_system::honk::sumcheck::ECCVMSetRelationImpl< FF >::accumulate ( ContainerOverSubrelations &  accumulator, const AllEntities &  in, const Parameters &  params, const FF &  scaling_factor  )

static

Expression for the StandardArithmetic gate. @dbetails The relation is defined as C(in(X)...) = (q_m * w_r * w_l) + (q_l * w_l) + (q_r * w_r) + (q_o * w_o) + q_c.

Parameters

evals	transformed to evals + C(in(X)...)*scaling_factor
in	an std::array containing the fully extended Accumulator edges.
parameters	contains beta, gamma, and public_input_delta, ....
scaling_factor	optional term to scale the evaluation before adding to evals.

compute_permutation_denominator()

template<typename FF >

template<typename Accumulator , typename AllEntities , typename Parameters >

Accumulator proof_system::honk::sumcheck::ECCVMSetRelationImpl< FF >::compute_permutation_denominator ( const AllEntities &  in, const Parameters &  params  )

static

First term: tuple of (pc, round, wnaf_slice), used to determine which points we extract from lookup tables when evaluaing MSMs in ECCVMMsmRelation. These values must be equivalent to the values computed in the 1st term of compute_permutation_numerator

Second term: tuple of (transcript_pc, transcript_Px, transcript_Py, z1) OR (transcript_pc, \lambda * transcript_Px, -transcript_Py, z2) for each scalar multiplication in ECCVMTranscriptRelation columns. (the latter term uses the curve endomorphism: \lambda = cube root of unity). These values must be equivalent to the second term values in compute_permutation_numerator

Third term: tuple of (point-counter, P.x, P.y, msm-size) from ECCVMTranscriptRelation. (P.x, P.y) is the claimed output of a multi-scalar-multiplication evaluated in ECCVMMSMRelation. We need to validate that the msm output produced in ECCVMMSMRelation is equivalent to the output present in transcript_msm_output_x, transcript_msm_output_y, for a given multi-scalar multiplication starting at transcript_pc and has size transcript_msm_count

compute_permutation_numerator()

template<typename FF >

template<typename Accumulator , typename AllEntities , typename Parameters >

Accumulator proof_system::honk::sumcheck::ECCVMSetRelationImpl< FF >::compute_permutation_numerator ( const AllEntities &  in, const Parameters &  params  )

static

Performs list-equivalence checks for the ECCVM.

ECCVMSetRelationImpl validates the correctness of the inputs/outputs of the three main algorithms evaluated by the ECCVM.

First term: tuple of (pc, round, wnaf_slice), computed when slicing scalar multipliers into slices, as part of ECCVMWnafRelation Input source: ECCVMWnafRelation Output source: ECCVMMSMRelation

Second term: tuple of (point-counter, P.x, P.y, scalar-multiplier), used in ECCVMWnafRelation and ECCVMPointTableRelation Input source: ECCVMPointTableRelation Output source: ECCVMMSMRelation

Third term: tuple of (point-counter, P.x, P.y, msm-size) from ECCVMMSMRelation Input source: ECCVMMSMRelation Output source: ECCVMTranscriptRelation

Template Parameters

FF
AccumulatorTypes

Parameters

in
relation_params
index

Returns

ECCVMSetRelationImpl<FF>::template Accumulator<AccumulatorTypes>

First term: tuple of (pc, round, wnaf_slice), computed when slicing scalar multipliers into slices, as part of ECCVMWnafRelation. If precompute_select = 1, tuple entry = (wnaf-slice + point-counter * beta + msm-round * beta_sqr). There are 4 tuple entries per row.

Second term: tuple of (point-counter, P.x, P.y, scalar-multiplier), used in ECCVMWnafRelation and ECCVMPointTableRelation. ECCVMWnafRelation validates the sum of the wnaf slices associated with point-counter equals scalar-multiplier. ECCVMPointTableRelation computes a table of muliples of [P]: { -15[P], -13[P], ..., 15[P] }. We need to validate that scalar-multiplier and [P] = (P.x, P.y) come from MUL opcodes in the transcript columns.

Third term: tuple of (point-counter, P.x, P.y, msm-size) from ECCVMMSMRelation. (P.x, P.y) is the output of a multi-scalar-multiplication evaluated in ECCVMMSMRelation. We need to validate that the same values (P.x, P.y) are present in the Transcript columns and describe a multi-scalar multiplication of size msm-size, starting at point-counter.

If msm_transition_shift = 1, this indicates the current row is the last row of a multiscalar multiplication evaluation. The output of the MSM will be present on (msm_accumulator_x_shift, msm_accumulator_y_shift). The values of msm_accumulator_x_shift, msm_accumulator_y_shift, msm_pc, msm_size_of_msm must match up with equivalent values transcript_msm_output_x, transcript_msm_output_y, transcript_pc, transcript_msm_count present in the Transcript columns

Member Data Documentation

SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >

constexpr std::array<size_t, 2> proof_system::honk::sumcheck::ECCVMSetRelationImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS

staticconstexpr

Initial value:

{
        19, 
        19  
    }

---

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

• src/barretenberg/relations/ecc_vm/ecc_set_relation.hpp
• src/barretenberg/relations/ecc_vm/ecc_set_relation.cpp