bb::MultilinearBatchingProver Class Reference

Public entrypoint for multilinear batching. More...

#include <multilinear_batching_prover.hpp>

Public Types
using	ProverClaim = MultilinearBatchingProverClaim
using	Transcript = NativeTranscript

Public Member Functions
	MultilinearBatchingProver (std::vector< ProverClaim > &&claims, std::shared_ptr< Transcript > transcript)
HonkProof	construct_proof ()
ProverClaim	compute_new_claim ()

Private Member Functions
template<size_t NumClaims>
HonkProof	prove_with_width ()

Private Attributes
std::vector< ProverClaim >	claims
std::shared_ptr< Transcript >	transcript
std::optional< ProverClaim >	new_claim

Detailed Description

Public entrypoint for multilinear batching.

Holds the claims to batch and, on construct_proof(), routes to the internal prover of the width matching the runtime claim count. The new accumulator claim is cached and returned by compute_new_claim().

Definition at line 57 of file multilinear_batching_prover.hpp.

Member Typedef Documentation

ProverClaim

using bb::MultilinearBatchingProver::ProverClaim = MultilinearBatchingProverClaim

Definition at line 59 of file multilinear_batching_prover.hpp.

Transcript

using bb::MultilinearBatchingProver::Transcript = NativeTranscript

Definition at line 60 of file multilinear_batching_prover.hpp.

Constructor & Destructor Documentation

MultilinearBatchingProver()

bb::MultilinearBatchingProver::MultilinearBatchingProver	(	std::vector< ProverClaim > &&	claims,
		std::shared_ptr< Transcript >	transcript
	)

Definition at line 158 of file multilinear_batching_prover.cpp.

Member Function Documentation

compute_new_claim()

MultilinearBatchingProver::ProverClaim bb::MultilinearBatchingProver::compute_new_claim

(

)

Definition at line 189 of file multilinear_batching_prover.cpp.

construct_proof()

HonkProof bb::MultilinearBatchingProver::construct_proof

(

)

Definition at line 172 of file multilinear_batching_prover.cpp.

prove_with_width()

template<size_t NumClaims>

HonkProof bb::MultilinearBatchingProver::prove_with_width ( )

private

Definition at line 164 of file multilinear_batching_prover.cpp.

Member Data Documentation

claims

std::vector<ProverClaim> bb::MultilinearBatchingProver::claims

private

Definition at line 70 of file multilinear_batching_prover.hpp.

new_claim

std::optional<ProverClaim> bb::MultilinearBatchingProver::new_claim

private

Definition at line 72 of file multilinear_batching_prover.hpp.

transcript

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

private

Definition at line 71 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