Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
bb::MockClaimGenerator< Curve > Struct Template Reference

Constructs random polynomials, computes commitments and corresponding evaluations. More...

#include <mock_witness_generator.hpp>

Classes

struct  ClaimData
 

Public Types

using CommitmentKey = bb::CommitmentKey< Curve >
 
using Fr = typename Curve::ScalarField
 
using Commitment = typename Curve::AffineElement
 
using Polynomial = bb::Polynomial< Fr >
 
using PolynomialBatcher = bb::GeminiProver_< Curve >::PolynomialBatcher
 
using ClaimBatcher = ClaimBatcher_< Curve >
 
using ClaimBatch = ClaimBatcher::Batch
 

Public Member Functions

 MockClaimGenerator (const size_t poly_size, const size_t num_polynomials, const size_t num_to_be_shifted, const std::vector< Fr > &mle_opening_point, const CommitmentKey &commitment_key)
 Construct claim data for a set of random polynomials with the specified type.
 
 MockClaimGenerator (const size_t n, const size_t num_zero_polynomials)
 
 MockClaimGenerator (const size_t poly_size, const std::vector< Polynomial > custom_unshifted, const std::vector< Fr > &custom_unshifted_evals, const CommitmentKey &commitment_key)
 
template<typename Flavor >
void compute_sumcheck_opening_data (const size_t log_n, const size_t sumcheck_univariate_length, std::vector< Fr > &challenge, const CommitmentKey &ck)
 

Public Attributes

CommitmentKey ck
 
ClaimData unshifted
 
ClaimData to_be_shifted
 
std::vector< Fr > const_size_mle_opening_point
 
PolynomialBatcher polynomial_batcher
 
ClaimBatcher claim_batcher
 
std::vector< bb::Polynomial< Fr > > round_univariates
 
std::vector< Commitment > sumcheck_commitments
 
std::vector< std::array< Fr, 3 > > sumcheck_evaluations
 

Detailed Description

template<typename Curve>
struct bb::MockClaimGenerator< Curve >

Constructs random polynomials, computes commitments and corresponding evaluations.

Template Parameters
Curve

Definition at line 17 of file mock_witness_generator.hpp.

Member Typedef Documentation

◆ ClaimBatch

template<typename Curve >
using bb::MockClaimGenerator< Curve >::ClaimBatch = ClaimBatcher::Batch

Definition at line 25 of file mock_witness_generator.hpp.

◆ ClaimBatcher

template<typename Curve >
using bb::MockClaimGenerator< Curve >::ClaimBatcher = ClaimBatcher_<Curve>

Definition at line 24 of file mock_witness_generator.hpp.

◆ Commitment

template<typename Curve >
using bb::MockClaimGenerator< Curve >::Commitment = typename Curve::AffineElement

Definition at line 21 of file mock_witness_generator.hpp.

◆ CommitmentKey

template<typename Curve >
using bb::MockClaimGenerator< Curve >::CommitmentKey = bb::CommitmentKey<Curve>

Definition at line 19 of file mock_witness_generator.hpp.

◆ Fr

template<typename Curve >
using bb::MockClaimGenerator< Curve >::Fr = typename Curve::ScalarField

Definition at line 20 of file mock_witness_generator.hpp.

◆ Polynomial

template<typename Curve >
using bb::MockClaimGenerator< Curve >::Polynomial = bb::Polynomial<Fr>

Definition at line 22 of file mock_witness_generator.hpp.

◆ PolynomialBatcher

template<typename Curve >
using bb::MockClaimGenerator< Curve >::PolynomialBatcher = bb::GeminiProver_<Curve>::PolynomialBatcher

Definition at line 23 of file mock_witness_generator.hpp.

Constructor & Destructor Documentation

◆ MockClaimGenerator() [1/3]

template<typename Curve >
bb::MockClaimGenerator< Curve >::MockClaimGenerator ( const size_t  poly_size,
const size_t  num_polynomials,
const size_t  num_to_be_shifted,
const std::vector< Fr > &  mle_opening_point,
const CommitmentKey &  commitment_key 
)
inline

Construct claim data for a set of random polynomials with the specified type.

Note
All to-be-shifted polynomials have an unshifted counterpart so the total number of claims is num_polynomials + num_to_be_shifted
Parameters
poly_sizesize of mock polynomials
num_polynomialstotal number of unique polynomials
num_to_be_shiftednumber of polynomials to-be-shifted
mle_opening_point
commitment_key

Definition at line 59 of file mock_witness_generator.hpp.

◆ MockClaimGenerator() [2/3]

template<typename Curve >
bb::MockClaimGenerator< Curve >::MockClaimGenerator ( const size_t  n,
const size_t  num_zero_polynomials 
)
inline

Definition at line 124 of file mock_witness_generator.hpp.

◆ MockClaimGenerator() [3/3]

template<typename Curve >
bb::MockClaimGenerator< Curve >::MockClaimGenerator ( const size_t  poly_size,
const std::vector< Polynomial >  custom_unshifted,
const std::vector< Fr > &  custom_unshifted_evals,
const CommitmentKey &  commitment_key 
)
inline

Definition at line 141 of file mock_witness_generator.hpp.

Member Function Documentation

◆ compute_sumcheck_opening_data()

template<typename Curve >
template<typename Flavor >
void bb::MockClaimGenerator< Curve >::compute_sumcheck_opening_data ( const size_t  log_n,
const size_t  sumcheck_univariate_length,
std::vector< Fr > &  challenge,
const CommitmentKey &  ck 
)
inline

Definition at line 165 of file mock_witness_generator.hpp.

Member Data Documentation

◆ ck

template<typename Curve >
CommitmentKey bb::MockClaimGenerator< Curve >::ck

Definition at line 27 of file mock_witness_generator.hpp.

◆ claim_batcher

template<typename Curve >
ClaimBatcher bb::MockClaimGenerator< Curve >::claim_batcher

Definition at line 41 of file mock_witness_generator.hpp.

◆ const_size_mle_opening_point

template<typename Curve >
std::vector<Fr> bb::MockClaimGenerator< Curve >::const_size_mle_opening_point

Definition at line 38 of file mock_witness_generator.hpp.

◆ polynomial_batcher

template<typename Curve >
PolynomialBatcher bb::MockClaimGenerator< Curve >::polynomial_batcher

Definition at line 40 of file mock_witness_generator.hpp.

◆ round_univariates

template<typename Curve >
std::vector<bb::Polynomial<Fr> > bb::MockClaimGenerator< Curve >::round_univariates

Definition at line 44 of file mock_witness_generator.hpp.

◆ sumcheck_commitments

template<typename Curve >
std::vector<Commitment> bb::MockClaimGenerator< Curve >::sumcheck_commitments

Definition at line 45 of file mock_witness_generator.hpp.

◆ sumcheck_evaluations

template<typename Curve >
std::vector<std::array<Fr, 3> > bb::MockClaimGenerator< Curve >::sumcheck_evaluations

Definition at line 46 of file mock_witness_generator.hpp.

◆ to_be_shifted

template<typename Curve >
ClaimData bb::MockClaimGenerator< Curve >::to_be_shifted

Definition at line 36 of file mock_witness_generator.hpp.

◆ unshifted

template<typename Curve >
ClaimData bb::MockClaimGenerator< Curve >::unshifted

Definition at line 35 of file mock_witness_generator.hpp.

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