verifier_commitment_key.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#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)
    {
        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]));
        }
    }
 
    std::vector<Commitment> get_monomial_points() const { return monomial_points; }
 
  private:
    std::vector<Commitment> monomial_points;
};
} // namespace bb