Internal prover for multilinear batching sumcheck over a fixed number of claims. More...

#include <multilinear_batching_prover.hpp>

Public Types
using	Flavor = Flavor_

using	FF = typename Flavor::FF

using	Commitment = typename Flavor::Commitment

using	ProvingKey = typename Flavor::ProvingKey

using	Transcript = typename Flavor::Transcript

Public Member Functions
	MultilinearBatchingProverInternal (std::vector< MultilinearBatchingProverClaim > &&claims, std::shared_ptr< Transcript > transcript)

BB_PROFILE void	execute_relation_check_rounds ()

BB_PROFILE MultilinearBatchingProverClaim	compute_new_claim ()

HonkProof	export_proof ()

HonkProof	construct_proof ()

Public Attributes
std::shared_ptr< Transcript >	transcript

ProvingKey	key

SumcheckOutput< Flavor >	sumcheck_output

Private Attributes
FF	claim_batching_challenge = FF(0)

FF	claim_merge_challenge = FF(0)

Detailed Description

template<typename Flavor_>
class bb::MultilinearBatchingProverInternal< Flavor_ >

Internal prover for multilinear batching sumcheck over a fixed number of claims.

Templated on the flavor, whose NUM_CLAIMS fixes the batching width at compile time. A family of widths (2 .. CHONK_MAX_CLAIMS_PER_KERNEL) is instantiated so each kernel uses the circuit that exactly fits its group. Not called directly: the public MultilinearBatchingProver routes to the correctly-instantiated internal prover based on the runtime claim count.

Definition at line 23 of file multilinear_batching_prover.hpp.

Member Typedef Documentation

◆ Commitment

template<typename Flavor_ >

using bb::MultilinearBatchingProverInternal< Flavor_ >::Commitment = typename Flavor::Commitment

Definition at line 27 of file multilinear_batching_prover.hpp.

◆ FF

template<typename Flavor_ >

using bb::MultilinearBatchingProverInternal< Flavor_ >::FF = typename Flavor::FF

Definition at line 26 of file multilinear_batching_prover.hpp.

◆ Flavor

template<typename Flavor_ >

using bb::MultilinearBatchingProverInternal< Flavor_ >::Flavor = Flavor_

Definition at line 25 of file multilinear_batching_prover.hpp.

◆ ProvingKey

template<typename Flavor_ >

using bb::MultilinearBatchingProverInternal< Flavor_ >::ProvingKey = typename Flavor::ProvingKey

Definition at line 28 of file multilinear_batching_prover.hpp.

◆ Transcript

template<typename Flavor_ >

using bb::MultilinearBatchingProverInternal< Flavor_ >::Transcript = typename Flavor::Transcript

Definition at line 29 of file multilinear_batching_prover.hpp.

Constructor & Destructor Documentation

◆ MultilinearBatchingProverInternal()

template<typename Flavor >

bb::MultilinearBatchingProverInternal< Flavor >::MultilinearBatchingProverInternal	(	std::vector< MultilinearBatchingProverClaim > &&	claims,
		std::shared_ptr< Transcript >	transcript
	)