multilinear_batching_prover.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Sergei], 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"
 
namespace bb {
 
class MultilinearBatchingProver {
  public:
    using Flavor = MultilinearBatchingFlavor;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using ProvingKey = typename Flavor::ProvingKey;
    using Transcript = typename Flavor::Transcript;
 
    MultilinearBatchingProver(MultilinearBatchingProverClaim&& accumulator_claim,
                              MultilinearBatchingProverClaim&& instance_claim,
                              std::shared_ptr<Transcript> transcript);
 
    BB_PROFILE void execute_commitments_round();
 
    BB_PROFILE void execute_challenges_and_evaluations_round();
 
    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;
};
 
} // namespace bb