verifier_commitment_key.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "barretenberg/commitment_schemes/verification_key.hpp"
namespace bb {
 
template <typename Curve_> class VerifierCommitmentKey {
  public:
    using Curve = Curve_;
    using Builder = Curve::Builder;
    using Commitment = Curve::AffineElement;
    using NativeEmbeddedCurve = typename Builder::EmbeddedCurve;
 
    VerifierCommitmentKey([[maybe_unused]] Builder* builder,
                          size_t num_points,
                          const VerifierCommitmentKey<NativeEmbeddedCurve>& native_pcs_verification_key)
        : g1_identity(Commitment(native_pcs_verification_key.get_g1_identity()))
    {
 
        auto native_points = native_pcs_verification_key.get_monomial_points();
        BB_ASSERT_LTE(num_points, native_points.size());
        for (size_t i = 0; i < num_points; i += 1) {
            monomial_points.emplace_back(Commitment(native_points[i]));
        }
    }
 
    VerifierCommitmentKey() = default;
 
    Commitment get_g1_identity() const { return g1_identity; }
    std::vector<Commitment> get_monomial_points() const { return monomial_points; }
 
  private:
    Commitment g1_identity;
    std::vector<Commitment> monomial_points;
};
} // namespace bb