bb::VerifierCommitmentsConstructor< Flavor > Class Template Reference

#include <verifier_commitments.hpp>

Public Types
using	Commitment = typename Flavor::Commitment
using	VerificationKey = typename Flavor::VerificationKey
using	WitnessCommitments = typename Flavor::WitnessCommitments
using	Commitments = typename VerifierCommitmentEntities< Flavor, Commitment >::Type

Static Public Member Functions
static Commitments	construct (const std::shared_ptr< VerificationKey > &verification_key)
static Commitments	construct (const std::shared_ptr< VerificationKey > &verification_key, const WitnessCommitments &witness_commitments)
static Commitments	construct (const std::shared_ptr< VerificationKey > &verification_key, const WitnessCommitments &witness_commitments, const Commitment &gemini_masking_commitment)

Static Private Member Functions
static constexpr bool	has_gemini_masking ()
static void	copy_precomputed (Commitments &commitments, const std::shared_ptr< VerificationKey > &verification_key)
static void	copy_witness (Commitments &commitments, const WitnessCommitments &witness_commitments)

Detailed Description

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

Definition at line 25 of file verifier_commitments.hpp.

Member Typedef Documentation

Commitment

template<typename Flavor >

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

Definition at line 27 of file verifier_commitments.hpp.

Commitments

template<typename Flavor >

using bb::VerifierCommitmentsConstructor< Flavor >::Commitments = typename VerifierCommitmentEntities<Flavor, Commitment>::Type

Definition at line 30 of file verifier_commitments.hpp.

VerificationKey

template<typename Flavor >

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

Definition at line 28 of file verifier_commitments.hpp.

WitnessCommitments

template<typename Flavor >

using bb::VerifierCommitmentsConstructor< Flavor >::WitnessCommitments = typename Flavor::WitnessCommitments

Definition at line 29 of file verifier_commitments.hpp.

Member Function Documentation

construct() [1/3]

template<typename Flavor >

static Commitments bb::VerifierCommitmentsConstructor< Flavor >::construct ( const std::shared_ptr< VerificationKey > &  verification_key )

inlinestatic

Definition at line 32 of file verifier_commitments.hpp.

construct() [2/3]

template<typename Flavor >

static Commitments bb::VerifierCommitmentsConstructor< Flavor >::construct ( const std::shared_ptr< VerificationKey > &  verification_key, const WitnessCommitments &  witness_commitments  )

inlinestatic

Definition at line 39 of file verifier_commitments.hpp.

construct() [3/3]

template<typename Flavor >

static Commitments bb::VerifierCommitmentsConstructor< Flavor >::construct ( const std::shared_ptr< VerificationKey > &  verification_key, const WitnessCommitments &  witness_commitments, const Commitment &  gemini_masking_commitment  )

inlinestatic

Definition at line 47 of file verifier_commitments.hpp.

copy_precomputed()

template<typename Flavor >

static void bb::VerifierCommitmentsConstructor< Flavor >::copy_precomputed ( Commitments &  commitments, const std::shared_ptr< VerificationKey > &  verification_key  )

inlinestaticprivate

Definition at line 68 of file verifier_commitments.hpp.

copy_witness()

template<typename Flavor >

static void bb::VerifierCommitmentsConstructor< Flavor >::copy_witness ( Commitments &  commitments, const WitnessCommitments &  witness_commitments  )

inlinestaticprivate

Definition at line 75 of file verifier_commitments.hpp.

has_gemini_masking()

template<typename Flavor >

static constexpr bool bb::VerifierCommitmentsConstructor< Flavor >::has_gemini_masking ( )

inlinestaticconstexprprivate

Definition at line 59 of file verifier_commitments.hpp.

---

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

• src/barretenberg/flavor/verifier_commitments.hpp