bb::MultilinearBatchingProver Class Reference

#include <multilinear_batching_prover.hpp>

Public Types
using	Flavor = MultilinearBatchingFlavor
using	ProverPolynomials = typename Flavor::ProverPolynomials
using	FF = typename Flavor::FF
using	Commitment = typename Flavor::Commitment
using	CommitmentKey = typename Flavor::CommitmentKey
using	ProvingKey = typename Flavor::ProvingKey
using	Polynomial = typename Flavor::Polynomial
using	CommitmentLabels = typename Flavor::CommitmentLabels
using	PCS = typename Flavor::PCS
using	Transcript = typename Flavor::Transcript

Public Member Functions
	MultilinearBatchingProver (const std::shared_ptr< MultilinearBatchingProverClaim > &accumulator_claim, const std::shared_ptr< MultilinearBatchingProverClaim > &instance_claim, const std::shared_ptr< Transcript > &transcript)
BB_PROFILE void	execute_commitments_round ()
BB_PROFILE void	execute_challenges_and_evaluations_round ()
BB_PROFILE void	execute_relation_check_rounds ()
	Run Sumcheck resulting in u = (u_1,...,u_d) challenges and all evaluations at u being calculated.
BB_PROFILE void	compute_new_claim ()
HonkProof	export_proof ()
HonkProof	construct_proof ()
MultilinearBatchingProverClaim	get_new_claim ()

Public Attributes
std::shared_ptr< Transcript >	transcript
std::shared_ptr< MultilinearBatchingProvingKey >	key
MultilinearBatchingProverClaim	new_claim
SumcheckOutput< Flavor >	sumcheck_output
RelationParameters< FF >	relation_parameters

Detailed Description

Definition at line 17 of file multilinear_batching_prover.hpp.

Member Typedef Documentation

Commitment

using bb::MultilinearBatchingProver::Commitment = typename Flavor::Commitment

Definition at line 22 of file multilinear_batching_prover.hpp.

CommitmentKey

using bb::MultilinearBatchingProver::CommitmentKey = typename Flavor::CommitmentKey

Definition at line 23 of file multilinear_batching_prover.hpp.

CommitmentLabels

using bb::MultilinearBatchingProver::CommitmentLabels = typename Flavor::CommitmentLabels

Definition at line 26 of file multilinear_batching_prover.hpp.

FF

using bb::MultilinearBatchingProver::FF = typename Flavor::FF

Definition at line 21 of file multilinear_batching_prover.hpp.

Flavor

using bb::MultilinearBatchingProver::Flavor = MultilinearBatchingFlavor

Definition at line 19 of file multilinear_batching_prover.hpp.

PCS

using bb::MultilinearBatchingProver::PCS = typename Flavor::PCS

Definition at line 27 of file multilinear_batching_prover.hpp.

Polynomial

using bb::MultilinearBatchingProver::Polynomial = typename Flavor::Polynomial

Definition at line 25 of file multilinear_batching_prover.hpp.

ProverPolynomials

using bb::MultilinearBatchingProver::ProverPolynomials = typename Flavor::ProverPolynomials

Definition at line 20 of file multilinear_batching_prover.hpp.

ProvingKey

using bb::MultilinearBatchingProver::ProvingKey = typename Flavor::ProvingKey

Definition at line 24 of file multilinear_batching_prover.hpp.

Transcript

using bb::MultilinearBatchingProver::Transcript = typename Flavor::Transcript

Definition at line 28 of file multilinear_batching_prover.hpp.

Constructor & Destructor Documentation

MultilinearBatchingProver()

bb::MultilinearBatchingProver::MultilinearBatchingProver ( const std::shared_ptr< MultilinearBatchingProverClaim > &  accumulator_claim, const std::shared_ptr< MultilinearBatchingProverClaim > &  instance_claim, const std::shared_ptr< Transcript > &  transcript  )

explicit

Definition at line 17 of file multilinear_batching_prover.cpp.

Member Function Documentation

compute_new_claim()

void bb::MultilinearBatchingProver::compute_new_claim

(

)

Definition at line 113 of file multilinear_batching_prover.cpp.

construct_proof()

HonkProof bb::MultilinearBatchingProver::construct_proof

(

)

Definition at line 146 of file multilinear_batching_prover.cpp.

execute_challenges_and_evaluations_round()

void bb::MultilinearBatchingProver::execute_challenges_and_evaluations_round

(

)

Definition at line 63 of file multilinear_batching_prover.cpp.

execute_commitments_round()

void bb::MultilinearBatchingProver::execute_commitments_round

(

)

Definition at line 55 of file multilinear_batching_prover.cpp.

execute_relation_check_rounds()

void bb::MultilinearBatchingProver::execute_relation_check_rounds

(

)

Run Sumcheck resulting in u = (u_1,...,u_d) challenges and all evaluations at u being calculated.

Definition at line 84 of file multilinear_batching_prover.cpp.

export_proof()

HonkProof bb::MultilinearBatchingProver::export_proof

(

)

Definition at line 141 of file multilinear_batching_prover.cpp.

get_new_claim()

MultilinearBatchingProverClaim bb::MultilinearBatchingProver::get_new_claim ( )

inline

Definition at line 43 of file multilinear_batching_prover.hpp.

Member Data Documentation

key

std::shared_ptr<MultilinearBatchingProvingKey> bb::MultilinearBatchingProver::key

Definition at line 47 of file multilinear_batching_prover.hpp.

new_claim

MultilinearBatchingProverClaim bb::MultilinearBatchingProver::new_claim

Definition at line 49 of file multilinear_batching_prover.hpp.

relation_parameters

RelationParameters<FF> bb::MultilinearBatchingProver::relation_parameters

Definition at line 52 of file multilinear_batching_prover.hpp.

sumcheck_output

SumcheckOutput<Flavor> bb::MultilinearBatchingProver::sumcheck_output

Definition at line 51 of file multilinear_batching_prover.hpp.

transcript

std::shared_ptr<Transcript> bb::MultilinearBatchingProver::transcript

Definition at line 45 of file multilinear_batching_prover.hpp.

---

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

• src/barretenberg/multilinear_batching/multilinear_batching_prover.hpp
• src/barretenberg/multilinear_batching/multilinear_batching_prover.cpp