Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
bb::SumcheckClientIVC::FirstSumcheckOutput Struct Reference

#include <sumcheck_client_ivc.hpp>

Public Types

using VerifierCommitments = Flavor::VerifierCommitments
 
using ClaimedEvaluations = Flavor::AllValues
 

Public Member Functions

ProverAccumulator batch (ProverPolynomials &polynomials, VerifierCommitments &commitments, const std::shared_ptr< Transcript > &transcript)
 
VerifierAccumulator batch (const std::shared_ptr< VerifierInstance > &verifier_instance, const std::shared_ptr< Transcript > &transcript)
 

Public Attributes

std::vector< FF > challenge
 
ClaimedEvaluations claimed_evaluations
 
size_t full_batched_size
 

Detailed Description

Definition at line 325 of file sumcheck_client_ivc.hpp.

Member Typedef Documentation

◆ ClaimedEvaluations

using bb::SumcheckClientIVC::FirstSumcheckOutput::ClaimedEvaluations = Flavor::AllValues

Definition at line 327 of file sumcheck_client_ivc.hpp.

◆ VerifierCommitments

using bb::SumcheckClientIVC::FirstSumcheckOutput::VerifierCommitments = Flavor::VerifierCommitments

Definition at line 326 of file sumcheck_client_ivc.hpp.

Member Function Documentation

◆ batch() [1/2]

VerifierAccumulator bb::SumcheckClientIVC::FirstSumcheckOutput::batch ( const std::shared_ptr< VerifierInstance > &  verifier_instance,
const std::shared_ptr< Transcript > &  transcript 
)
inline

Definition at line 418 of file sumcheck_client_ivc.hpp.

◆ batch() [2/2]

ProverAccumulator bb::SumcheckClientIVC::FirstSumcheckOutput::batch ( ProverPolynomials &  polynomials,
VerifierCommitments &  commitments,
const std::shared_ptr< Transcript > &  transcript 
)
inline

Definition at line 336 of file sumcheck_client_ivc.hpp.

Member Data Documentation

◆ challenge

std::vector<FF> bb::SumcheckClientIVC::FirstSumcheckOutput::challenge

Definition at line 330 of file sumcheck_client_ivc.hpp.

◆ claimed_evaluations

ClaimedEvaluations bb::SumcheckClientIVC::FirstSumcheckOutput::claimed_evaluations

Definition at line 332 of file sumcheck_client_ivc.hpp.

◆ full_batched_size

size_t bb::SumcheckClientIVC::FirstSumcheckOutput::full_batched_size

Definition at line 334 of file sumcheck_client_ivc.hpp.

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