bb::HypernovaFoldingProver Class Reference

#include <hypernova_prover.hpp>

Public Types
using	Flavor = MegaFlavor
using	FF = Flavor::FF
using	Polynomial = bb::Polynomial< FF >
using	Commitment = Flavor::Commitment
using	ProverInstance = ProverInstance_< Flavor >
using	Accumulator = MultilinearBatchingProverClaim
using	VerificationKey = Flavor::VerificationKey
using	VerifierCommitments = Flavor::VerifierCommitments
using	MegaOinkProver = OinkProver< Flavor >
using	MegaSumcheckProver = SumcheckProver< Flavor >
using	MegaSumcheckOutput = SumcheckOutput< Flavor >
using	Transcript = Flavor::Transcript

Public Member Functions
	HypernovaFoldingProver (std::shared_ptr< Transcript > &transcript)
Accumulator	instance_to_accumulator (const std::shared_ptr< ProverInstance > &instance)
	Turn an instance into an accumulator by running Sumcheck.
std::pair< HonkProof, Accumulator >	fold (const Accumulator &accumulator, const std::shared_ptr< ProverInstance > &instance)
	Fold an instance into an accumulator. Folding happens in place.
HonkProof	export_proof ()
	Export the proof contained in the transcript.

Public Attributes
std::shared_ptr< Transcript >	transcript

Private Member Functions
Accumulator	sumcheck_output_to_accumulator (MegaSumcheckOutput &sumcheck_output, const std::shared_ptr< ProverInstance > &instance, const std::shared_ptr< VerificationKey > &honk_vk)

Static Private Member Functions
template<size_t N>
static Polynomial	batch_polynomials (RefArray< Polynomial, N > polynomials_to_batch, const size_t &full_batched_size, const std::array< FF, N > &challenges)
	Batch prover polynomials. Batching happens in place into the first polynomial in the RefArray supplied.

Detailed Description

Definition at line 15 of file hypernova_prover.hpp.

Member Typedef Documentation

Accumulator

using bb::HypernovaFoldingProver::Accumulator = MultilinearBatchingProverClaim

Definition at line 22 of file hypernova_prover.hpp.

Commitment

using bb::HypernovaFoldingProver::Commitment = Flavor::Commitment

Definition at line 20 of file hypernova_prover.hpp.

FF

using bb::HypernovaFoldingProver::FF = Flavor::FF

Definition at line 18 of file hypernova_prover.hpp.

Flavor

using bb::HypernovaFoldingProver::Flavor = MegaFlavor

Definition at line 17 of file hypernova_prover.hpp.

MegaOinkProver

using bb::HypernovaFoldingProver::MegaOinkProver = OinkProver<Flavor>

Definition at line 25 of file hypernova_prover.hpp.

MegaSumcheckOutput

using bb::HypernovaFoldingProver::MegaSumcheckOutput = SumcheckOutput<Flavor>

Definition at line 27 of file hypernova_prover.hpp.

MegaSumcheckProver

using bb::HypernovaFoldingProver::MegaSumcheckProver = SumcheckProver<Flavor>

Definition at line 26 of file hypernova_prover.hpp.

Polynomial

using bb::HypernovaFoldingProver::Polynomial = bb::Polynomial<FF>

Definition at line 19 of file hypernova_prover.hpp.

ProverInstance

using bb::HypernovaFoldingProver::ProverInstance = ProverInstance_<Flavor>

Definition at line 21 of file hypernova_prover.hpp.

Transcript

using bb::HypernovaFoldingProver::Transcript = Flavor::Transcript

Definition at line 28 of file hypernova_prover.hpp.

VerificationKey

using bb::HypernovaFoldingProver::VerificationKey = Flavor::VerificationKey

Definition at line 23 of file hypernova_prover.hpp.

VerifierCommitments

using bb::HypernovaFoldingProver::VerifierCommitments = Flavor::VerifierCommitments

Definition at line 24 of file hypernova_prover.hpp.

Constructor & Destructor Documentation

HypernovaFoldingProver()

bb::HypernovaFoldingProver::HypernovaFoldingProver ( std::shared_ptr< Transcript > &  transcript )

inline

Definition at line 32 of file hypernova_prover.hpp.

Member Function Documentation

batch_polynomials()

template<size_t N>

HypernovaFoldingProver::Polynomial bb::HypernovaFoldingProver::batch_polynomials ( RefArray< Polynomial, N >  polynomials_to_batch, const size_t &  full_batched_size, const std::array< FF, N > &  challenges  )

staticprivate

Batch prover polynomials. Batching happens in place into the first polynomial in the RefArray supplied.

Template Parameters

N

Parameters

shiftable

If it is set to true, then the polynomials are aggregated as shiftable polynomials

Definition at line 85 of file hypernova_prover.cpp.

export_proof()

HonkProof bb::HypernovaFoldingProver::export_proof ( )

inline

Export the proof contained in the transcript.

Returns

HonkProof

Definition at line 58 of file hypernova_prover.hpp.

fold()

std::pair< HonkProof, HypernovaFoldingProver::Accumulator > bb::HypernovaFoldingProver::fold	(	const Accumulator &	accumulator,
		const std::shared_ptr< ProverInstance > &	instance
	)

Fold an instance into an accumulator. Folding happens in place.

Parameters

accumulator
instance

Returns

std::pair<HonkProof, Accumulator>

Definition at line 139 of file hypernova_prover.cpp.

instance_to_accumulator()

HypernovaFoldingProver::Accumulator bb::HypernovaFoldingProver::instance_to_accumulator

(

const std::shared_ptr< ProverInstance > &

instance

)

Turn an instance into an accumulator by running Sumcheck.

Parameters

instance

Returns

Accumulator

Definition at line 107 of file hypernova_prover.cpp.

sumcheck_output_to_accumulator()

HypernovaFoldingProver::Accumulator bb::HypernovaFoldingProver::sumcheck_output_to_accumulator ( HypernovaFoldingProver::MegaSumcheckOutput &  sumcheck_output, const std::shared_ptr< ProverInstance > &  instance, const std::shared_ptr< VerificationKey > &  honk_vk  )

private

Definition at line 12 of file hypernova_prover.cpp.

Member Data Documentation

transcript

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

Definition at line 30 of file hypernova_prover.hpp.

---

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

• src/barretenberg/hypernova/hypernova_prover.hpp
• src/barretenberg/hypernova/hypernova_prover.cpp