bb::VerifierCommitmentKey< Curve_ > Class Template Reference

Representation of the Grumpkin Verifier Commitment Key inside a bn254 circuit. More...

#include <verifier_commitment_key.hpp>

Public Types
using	Curve = Curve_
using	Builder = Curve::Builder
using	Commitment = Curve::AffineElement
using	NativeEmbeddedCurve = typename Builder::EmbeddedCurve

Public Member Functions
	VerifierCommitmentKey (Builder *builder, size_t num_points, const VerifierCommitmentKey< NativeEmbeddedCurve > &native_pcs_verification_key)
	Construct a recursive (in-circuit) Verifier Commitment Key from its native Grumpkin counterpart. The first num_points native Grumpkin SRS monomial points are copied directly into in-circuit commitments; these are the raw SRS points used for IPA verification.
std::vector< Commitment >	get_monomial_points () const

Private Attributes
std::vector< Commitment >	monomial_points

Detailed Description

template<typename Curve_>
class bb::VerifierCommitmentKey< Curve_ >

Representation of the Grumpkin Verifier Commitment Key inside a bn254 circuit.

Template Parameters

Builder

Definition at line 16 of file verifier_commitment_key.hpp.

Member Typedef Documentation

Builder

template<typename Curve_ >

using bb::VerifierCommitmentKey< Curve_ >::Builder = Curve::Builder

Definition at line 19 of file verifier_commitment_key.hpp.

Commitment

template<typename Curve_ >

using bb::VerifierCommitmentKey< Curve_ >::Commitment = Curve::AffineElement

Definition at line 20 of file verifier_commitment_key.hpp.

Curve

template<typename Curve_ >

using bb::VerifierCommitmentKey< Curve_ >::Curve = Curve_

Definition at line 18 of file verifier_commitment_key.hpp.

NativeEmbeddedCurve

template<typename Curve_ >

using bb::VerifierCommitmentKey< Curve_ >::NativeEmbeddedCurve = typename Builder::EmbeddedCurve

Definition at line 21 of file verifier_commitment_key.hpp.

Constructor & Destructor Documentation

VerifierCommitmentKey()

template<typename Curve_ >

bb::VerifierCommitmentKey< Curve_ >::VerifierCommitmentKey ( Builder *  builder, size_t  num_points, const VerifierCommitmentKey< NativeEmbeddedCurve > &  native_pcs_verification_key  )

inline

Construct a recursive (in-circuit) Verifier Commitment Key from its native Grumpkin counterpart. The first num_points native Grumpkin SRS monomial points are copied directly into in-circuit commitments; these are the raw SRS points used for IPA verification.

The Grumpkin SRS points are initialized as constants in the circuit but might be subsequently turned into constant witnesses to make operations in the circuit more efficient.

Definition at line 31 of file verifier_commitment_key.hpp.

Member Function Documentation

get_monomial_points()

template<typename Curve_ >

std::vector< Commitment > bb::VerifierCommitmentKey< Curve_ >::get_monomial_points ( ) const

inline

Definition at line 42 of file verifier_commitment_key.hpp.

Member Data Documentation

monomial_points

template<typename Curve_ >

std::vector<Commitment> bb::VerifierCommitmentKey< Curve_ >::monomial_points

private

Definition at line 45 of file verifier_commitment_key.hpp.

---

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

• src/barretenberg/commitment_schemes/verification_key.hpp
• src/barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp