multilinear_batching_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/flavor/multilinear_batching_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"
 
#include <optional>
 
namespace bb {
 
template <typename Flavor_> class MultilinearBatchingProverInternal {
  public:
    using Flavor = Flavor_;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using ProvingKey = typename Flavor::ProvingKey;
    using Transcript = typename Flavor::Transcript;
 
    MultilinearBatchingProverInternal(std::vector<MultilinearBatchingProverClaim>&& claims,
                                      std::shared_ptr<Transcript> transcript);
 
    BB_PROFILE void execute_relation_check_rounds();
    BB_PROFILE MultilinearBatchingProverClaim compute_new_claim();
 
    HonkProof export_proof();
    HonkProof construct_proof();
 
    std::shared_ptr<Transcript> transcript;
    ProvingKey key;
    SumcheckOutput<Flavor> sumcheck_output;
 
  private:
    // γ: separates the input claims so the single sumcheck proves each P_i(u_i) = e_i (drawn before sumcheck).
    FF claim_batching_challenge = FF(0);
    // ρ: merges the output claims into a single accumulator (drawn after sumcheck, once the claimed evaluations are
    // bound to the transcript, so the combined opening binds each P_i(r) individually).
    FF claim_merge_challenge = FF(0);
};
 
class MultilinearBatchingProver {
  public:
    using ProverClaim = MultilinearBatchingProverClaim;
    using Transcript = NativeTranscript;
 
    MultilinearBatchingProver(std::vector<ProverClaim>&& claims, std::shared_ptr<Transcript> transcript);
 
    HonkProof construct_proof();
    ProverClaim compute_new_claim();
 
  private:
    template <size_t NumClaims> HonkProof prove_with_width();
 
    std::vector<ProverClaim> claims;
    std::shared_ptr<Transcript> transcript;
    std::optional<ProverClaim> new_claim;
};
 
} // namespace bb