merge_prover.hpp

#pragma once
 
#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/flavor/goblin_ultra.hpp"
#include "barretenberg/flavor/ultra.hpp"
#include "barretenberg/plonk/proof_system/types/proof.hpp"
#include "barretenberg/proof_system/op_queue/ecc_op_queue.hpp"
#include "barretenberg/transcript/transcript.hpp"
 
namespace proof_system::honk {
 
template <typename Flavor> class MergeProver_ {
    using FF = typename Flavor::FF;
    using Polynomial = typename Flavor::Polynomial;
    using CommitmentKey = typename Flavor::CommitmentKey;
    using Commitment = typename Flavor::Commitment;
    using PCS = typename Flavor::PCS;
    using Curve = typename Flavor::Curve;
    using OpeningClaim = typename pcs::ProverOpeningClaim<Curve>;
    using OpeningPair = typename pcs::OpeningPair<Curve>;
    using Transcript = BaseTranscript;
 
  public:
    std::shared_ptr<Transcript> transcript;
    std::shared_ptr<ECCOpQueue> op_queue;
    std::shared_ptr<CommitmentKey> pcs_commitment_key;
 
    explicit MergeProver_(const std::shared_ptr<CommitmentKey>&,
                          const std::shared_ptr<ECCOpQueue>&,
                          const std::shared_ptr<Transcript>& transcript = std::make_shared<Transcript>());
    plonk::proof& construct_proof();
 
  private:
    plonk::proof proof;
};
 
extern template class MergeProver_<honk::flavor::Ultra>;
extern template class MergeProver_<honk::flavor::GoblinUltra>;
 
} // namespace proof_system::honk