bb::DeciderVerifier_< Flavor > Class Template Reference

#include <decider_verifier.hpp>

Classes
struct	Output

Public Member Functions
	DeciderVerifier_ ()
	DeciderVerifier_ (const std::shared_ptr< DeciderVerificationKey > &verification_key, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())
	Constructor from a verification key and a transcript assumed to be initialized with a full Honk proof.
Output	verify_proof (const DeciderProof &)
	Verify a decider proof relative to a decider verification key (ϕ, \vec{β*}, e*).
Output	verify ()
	Verify a decider proof that is assumed to be contained in the transcript.

Public Attributes
std::shared_ptr< VerificationKey >	key
std::shared_ptr< DeciderVerificationKey >	accumulator
std::shared_ptr< Transcript >	transcript

Private Types
using	FF = typename Flavor::FF
using	Commitment = typename Flavor::Commitment
using	VerificationKey = typename Flavor::VerificationKey
using	Transcript = typename Flavor::Transcript
using	DeciderVerificationKey = DeciderVerificationKey_< Flavor >
using	DeciderProof = typename Transcript::Proof

Detailed Description

template<typename Flavor>
class bb::DeciderVerifier_< Flavor >

Definition at line 17 of file decider_verifier.hpp.

Member Typedef Documentation

Commitment

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::Commitment = typename Flavor::Commitment

private

Definition at line 19 of file decider_verifier.hpp.

DeciderProof

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::DeciderProof = typename Transcript::Proof

private

Definition at line 23 of file decider_verifier.hpp.

DeciderVerificationKey

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::DeciderVerificationKey = DeciderVerificationKey_<Flavor>

private

Definition at line 22 of file decider_verifier.hpp.

FF

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::FF = typename Flavor::FF

private

Definition at line 18 of file decider_verifier.hpp.

Transcript

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::Transcript = typename Flavor::Transcript

private

Definition at line 21 of file decider_verifier.hpp.

VerificationKey

template<typename Flavor >

using bb::DeciderVerifier_< Flavor >::VerificationKey = typename Flavor::VerificationKey

private

Definition at line 20 of file decider_verifier.hpp.

Constructor & Destructor Documentation

DeciderVerifier_() [1/2]

template<typename Flavor >

bb::DeciderVerifier_< Flavor >::DeciderVerifier_ ( )

explicit

DeciderVerifier_() [2/2]

template<typename Flavor >

bb::DeciderVerifier_< Flavor >::DeciderVerifier_ ( const std::shared_ptr< DeciderVerificationKey > &  verification_key, const std::shared_ptr< Transcript > &  transcript = std::make_shared<Transcript>()  )

explicit

Constructor from a verification key and a transcript assumed to be initialized with a full Honk proof.

Used in the case where an external transcript already exists and has been initialized with a proof, e.g. when the decider is being used in the context of the larger Honk protocol.

Definition at line 18 of file decider_verifier.cpp.

Member Function Documentation

verify()

template<typename Flavor >

DeciderVerifier_< Flavor >::Output bb::DeciderVerifier_< Flavor >::verify

(

)

Verify a decider proof that is assumed to be contained in the transcript.

Definition at line 38 of file decider_verifier.cpp.

verify_proof()

template<typename Flavor >

DeciderVerifier_< Flavor >::Output bb::DeciderVerifier_< Flavor >::verify_proof

(

const DeciderProof &

proof

)

Verify a decider proof relative to a decider verification key (ϕ, \vec{β*}, e*).

Definition at line 28 of file decider_verifier.cpp.

Member Data Documentation

accumulator

template<typename Flavor >

std::shared_ptr<DeciderVerificationKey> bb::DeciderVerifier_< Flavor >::accumulator

Definition at line 54 of file decider_verifier.hpp.

key

template<typename Flavor >

std::shared_ptr<VerificationKey> bb::DeciderVerifier_< Flavor >::key

Definition at line 53 of file decider_verifier.hpp.

transcript

template<typename Flavor >

std::shared_ptr<Transcript> bb::DeciderVerifier_< Flavor >::transcript

Definition at line 55 of file decider_verifier.hpp.

---

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

• src/barretenberg/ultra_honk/decider_verifier.hpp
• src/barretenberg/ultra_honk/decider_verifier.cpp