bb::HypernovaDeciderProver Class Reference

#include <hypernova_decider_prover.hpp>

Public Types
using	Flavor = MegaFlavor
using	Curve = Flavor::Curve
using	Accumulator = HypernovaFoldingProver::Accumulator
using	CommitmentKey = Flavor::CommitmentKey
using	Transcript = Flavor::Transcript
using	OpeningClaim = ProverOpeningClaim< Curve >
using	PolynomialBatcher = GeminiProver_< Curve >::PolynomialBatcher
using	ShpleminiProver = ShpleminiProver_< Curve >

Public Member Functions
	HypernovaDeciderProver (std::shared_ptr< Transcript > &transcript)
HonkProof	construct_proof (const CommitmentKey &ck, Accumulator &accumulator)

Public Attributes
std::shared_ptr< Transcript >	transcript

Detailed Description

Definition at line 15 of file hypernova_decider_prover.hpp.

Member Typedef Documentation

Accumulator

using bb::HypernovaDeciderProver::Accumulator = HypernovaFoldingProver::Accumulator

Definition at line 19 of file hypernova_decider_prover.hpp.

CommitmentKey

using bb::HypernovaDeciderProver::CommitmentKey = Flavor::CommitmentKey

Definition at line 20 of file hypernova_decider_prover.hpp.

Curve

using bb::HypernovaDeciderProver::Curve = Flavor::Curve

Definition at line 18 of file hypernova_decider_prover.hpp.

Flavor

using bb::HypernovaDeciderProver::Flavor = MegaFlavor

Definition at line 17 of file hypernova_decider_prover.hpp.

OpeningClaim

using bb::HypernovaDeciderProver::OpeningClaim = ProverOpeningClaim<Curve>

Definition at line 22 of file hypernova_decider_prover.hpp.

PolynomialBatcher

using bb::HypernovaDeciderProver::PolynomialBatcher = GeminiProver_<Curve>::PolynomialBatcher

Definition at line 23 of file hypernova_decider_prover.hpp.

ShpleminiProver

using bb::HypernovaDeciderProver::ShpleminiProver = ShpleminiProver_<Curve>

Definition at line 24 of file hypernova_decider_prover.hpp.

Transcript

using bb::HypernovaDeciderProver::Transcript = Flavor::Transcript

Definition at line 21 of file hypernova_decider_prover.hpp.

Constructor & Destructor Documentation

HypernovaDeciderProver()

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

inline

Definition at line 28 of file hypernova_decider_prover.hpp.

Member Function Documentation

construct_proof()

HonkProof bb::HypernovaDeciderProver::construct_proof	(	const CommitmentKey &	ck,
		Accumulator &	accumulator
	)

Definition at line 10 of file hypernova_decider_prover.cpp.

Member Data Documentation

transcript

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

Definition at line 26 of file hypernova_decider_prover.hpp.

---

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

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