verification_key.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Luke], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
 
#include "barretenberg/common/assert.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/curves/bn254/pairing.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/srs/global_crs.hpp"
 
#include <memory>
 
namespace bb {
 
template <class Curve> class VerifierCommitmentKey;
 
template <> class VerifierCommitmentKey<curve::BN254> {
  public:
    using Curve = curve::BN254;
    using GroupElement = typename Curve::Element;
    using Commitment = typename Curve::AffineElement;
 
    VerifierCommitmentKey() = default;
 
    void initialize()
    {
        if (!srs) {
            srs = srs::get_crs_factory<Curve>()->get_verifier_crs();
        }
    };
 
    bool initialized() const { return srs != nullptr; }
 
    Commitment get_g1_identity()
    {
        initialize();
        return srs->get_g1_identity();
    }
 
    bool pairing_check(const GroupElement& p0, const GroupElement& p1)
    {
        initialize();
        std::array<Commitment, 2> pairing_points{ p0, p1 };
        Curve::TargetField result = bb::pairing::reduced_ate_pairing_batch_precomputed(
            pairing_points.data(), srs->get_precomputed_g2_lines(), 2);
 
        return (result == Curve::TargetField::one());
    }
 
  private:
    std::shared_ptr<bb::srs::factories::Crs<Curve>> srs;
};
 
template <> class VerifierCommitmentKey<curve::Grumpkin> {
  public:
    using Curve = curve::Grumpkin;
    using GroupElement = typename Curve::Element;
    using Commitment = typename Curve::AffineElement;
 
    VerifierCommitmentKey(size_t num_points, const std::shared_ptr<bb::srs::factories::CrsFactory<Curve>>& crs_factory)
        : srs(crs_factory->get_crs(num_points))
    {}
 
    VerifierCommitmentKey(size_t num_points) { srs = srs::get_crs_factory<Curve>()->get_crs(num_points); }
 
    VerifierCommitmentKey() = default;
 
    bool initialized() const { return srs != nullptr; }
 
    Commitment get_g1_identity() const
    {
        BB_ASSERT(srs != nullptr, "VerifierCommitmentKey<Grumpkin>: SRS not initialized (default-constructed key)");
        return srs->get_g1_identity();
    }
 
    std::span<const Commitment> get_monomial_points() const
    {
        BB_ASSERT(srs != nullptr, "VerifierCommitmentKey<Grumpkin>: SRS not initialized (default-constructed key)");
        return srs->get_monomial_points();
    }
 
  private:
    std::shared_ptr<bb::srs::factories::Crs<Curve>> srs;
};
 
} // namespace bb