verification_key.hpp

#pragma once
 
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/curves/bn254/pairing.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/ecc/scalar_multiplication/scalar_multiplication.hpp"
#include "barretenberg/numeric/bitop/pow.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/polynomials/polynomial_arithmetic.hpp"
#include "barretenberg/srs/factories/crs_factory.hpp"
#include "barretenberg/srs/factories/file_crs_factory.hpp"
 
#include <cstddef>
#include <memory>
#include <string_view>
 
namespace proof_system::honk::pcs {
 
template <class Curve> class VerifierCommitmentKey;
 
template <> class VerifierCommitmentKey<curve::BN254> {
    using Curve = curve::BN254;
    using GroupElement = typename Curve::Element;
    using Commitment = typename Curve::AffineElement;
 
  public:
    VerifierCommitmentKey() = delete;
 
    VerifierCommitmentKey([[maybe_unused]] size_t num_points,
                          std::shared_ptr<barretenberg::srs::factories::CrsFactory<Curve>> crs_factory)
        : srs(crs_factory->get_verifier_crs())
    {}
 
    bool pairing_check(const GroupElement& p0, const GroupElement& p1)
    {
        Commitment pairing_points[2]{ p0, p1 };
        // The final pairing check of step 12.
        Curve::TargetField result = barretenberg::pairing::reduced_ate_pairing_batch_precomputed(
            pairing_points, srs->get_precomputed_g2_lines(), 2);
 
        return (result == Curve::TargetField::one());
    }
 
    std::shared_ptr<barretenberg::srs::factories::VerifierCrs<Curve>> srs;
};
 
template <> class VerifierCommitmentKey<curve::Grumpkin> {
    using Curve = curve::Grumpkin;
    using GroupElement = typename Curve::Element;
    using Commitment = typename Curve::AffineElement;
 
  public:
    VerifierCommitmentKey() = delete;
 
    VerifierCommitmentKey(size_t num_points,
                          std::shared_ptr<barretenberg::srs::factories::CrsFactory<Curve>> crs_factory)
        : pippenger_runtime_state(num_points)
        , srs(crs_factory->get_verifier_crs(num_points))
 
    {}
 
    barretenberg::scalar_multiplication::pippenger_runtime_state<Curve> pippenger_runtime_state;
    std::shared_ptr<barretenberg::srs::factories::VerifierCrs<Curve>> srs;
};
 
} // namespace proof_system::honk::pcs