bb::HypernovaDeciderVerifier< Flavor_ > Class Template Reference

#include <hypernova_decider_verifier.hpp>

Public Types
using	Flavor = Flavor_
using	FF = Flavor::FF
using	Curve = Flavor::Curve
using	Commitment = Flavor::Commitment
using	Transcript = Flavor::Transcript
using	ClaimBatcher = ClaimBatcher_< Curve >
using	ClaimBatch = ClaimBatcher::Batch
using	ShpleminiVerifier = bb::ShpleminiVerifier_< Curve >
using	PCS = Flavor::PCS
using	Accumulator = HypernovaFoldingVerifier< Flavor >::Accumulator
using	Proof = std::conditional_t< IsRecursiveFlavor< Flavor >, typename HypernovaRecursiveTypes::Proof, typename HypernovaNativeTypes::Proof >
using	PairingPoints = std::conditional_t< IsRecursiveFlavor< Flavor >, typename HypernovaRecursiveTypes::PairingPoints, typename HypernovaNativeTypes::PairingPoints >

Public Member Functions
	HypernovaDeciderVerifier (std::shared_ptr< Transcript > &transcript)
PairingPoints	verify_proof (Accumulator &accumulator, const Proof &proof)

Public Attributes
std::shared_ptr< Transcript >	transcript

Detailed Description

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

Definition at line 17 of file hypernova_decider_verifier.hpp.

Member Typedef Documentation

Accumulator

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::Accumulator = HypernovaFoldingVerifier<Flavor>::Accumulator

Definition at line 28 of file hypernova_decider_verifier.hpp.

ClaimBatch

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::ClaimBatch = ClaimBatcher::Batch

Definition at line 25 of file hypernova_decider_verifier.hpp.

ClaimBatcher

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::ClaimBatcher = ClaimBatcher_<Curve>

Definition at line 24 of file hypernova_decider_verifier.hpp.

Commitment

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::Commitment = Flavor::Commitment

Definition at line 22 of file hypernova_decider_verifier.hpp.

Curve

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::Curve = Flavor::Curve

Definition at line 21 of file hypernova_decider_verifier.hpp.

FF

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::FF = Flavor::FF

Definition at line 20 of file hypernova_decider_verifier.hpp.

Flavor

template<typename Flavor_ >

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

Definition at line 19 of file hypernova_decider_verifier.hpp.

PairingPoints

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::PairingPoints = std::conditional_t<IsRecursiveFlavor<Flavor>, typename HypernovaRecursiveTypes::PairingPoints, typename HypernovaNativeTypes::PairingPoints>

Definition at line 33 of file hypernova_decider_verifier.hpp.

PCS

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::PCS = Flavor::PCS

Definition at line 27 of file hypernova_decider_verifier.hpp.

Proof

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::Proof = std::conditional_t<IsRecursiveFlavor<Flavor>, typename HypernovaRecursiveTypes::Proof, typename HypernovaNativeTypes::Proof>

Definition at line 30 of file hypernova_decider_verifier.hpp.

ShpleminiVerifier

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::ShpleminiVerifier = bb::ShpleminiVerifier_<Curve>

Definition at line 26 of file hypernova_decider_verifier.hpp.

Transcript

template<typename Flavor_ >

using bb::HypernovaDeciderVerifier< Flavor_ >::Transcript = Flavor::Transcript

Definition at line 23 of file hypernova_decider_verifier.hpp.

Constructor & Destructor Documentation

HypernovaDeciderVerifier()

template<typename Flavor_ >

bb::HypernovaDeciderVerifier< Flavor_ >::HypernovaDeciderVerifier ( std::shared_ptr< Transcript > &  transcript )

inline

Definition at line 39 of file hypernova_decider_verifier.hpp.

Member Function Documentation

verify_proof()

template<typename Flavor >

HypernovaDeciderVerifier< Flavor >::PairingPoints bb::HypernovaDeciderVerifier< Flavor >::verify_proof	(	Accumulator &	accumulator,
		const Proof &	proof
	)

Definition at line 12 of file hypernova_decider_verifier.cpp.

Member Data Documentation

transcript

template<typename Flavor_ >

std::shared_ptr<Transcript> bb::HypernovaDeciderVerifier< Flavor_ >::transcript

Definition at line 37 of file hypernova_decider_verifier.hpp.

---

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

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