batch_merge_prover.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
 
#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplonk.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/goblin/merge_prover.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/op_queue/ecc_op_queue.hpp"
#include "barretenberg/transcript/transcript.hpp"
 
namespace bb {
 
class BatchMergeProver {
  protected:
    using Curve = curve::BN254;
    using FF = Curve::ScalarField;
    using Commitment = Curve::AffineElement;
    using Polynomial = bb::Polynomial<FF>;
    using CommitmentKey = bb::CommitmentKey<Curve>;
    using PCS = KZG<Curve>;
    using OpeningClaim = ProverOpeningClaim<Curve>;
    using Transcript = NativeTranscript;
    using ShplonkProver = ShplonkProver_<Curve>;
 
  public:
    using MergeProof = std::vector<FF>;
 
    static constexpr size_t NUM_WIRES = MegaExecutionTraceBlocks::NUM_WIRES;
 
    explicit BatchMergeProver(const std::shared_ptr<ECCOpQueue>& op_queue, size_t max_subtables);
 
    MergeProof construct_proof();
 
    // Exposed for test access
    CommitmentKey pcs_commitment_key;
 
    // Public for testing purposes
    std::shared_ptr<Transcript> transcript;
 
  protected:
    std::shared_ptr<ECCOpQueue> op_queue;
    size_t max_subtables; // M
 
    static Polynomial compute_degree_check_polynomial(const std::vector<Polynomial>& flattened_columns,
                                                      const std::vector<FF>& degree_check_challenges,
                                                      const size_t max_size);
};
 
} // namespace bb