oink_prover.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Completed, auditors: [Sergei], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
// clang-format off
/*                                            )\   /|
*                                          .-/'-|_/ |
*                       __            __,-' (   / \/
*                   .-'"  "'-..__,-'""          -o.`-._
*                  /                                   '/
*          *--._ ./                                 _.--
*                |                              _.-'
*                :                           .-/
*                 \                       )_ /
*                  \                _)   / \‍(
*                    `.   /-.___.---'(  /   \\
*                     (  /   \\       \‍(     L\
*                      \‍(     L\       \\
*                       \\              \\
*                        L\              L\
*/
// clang-format on
#include "barretenberg/ultra_honk/prover_instance.hpp"
 
namespace bb {
template <typename Flavor> class OinkProver {
    using CommitmentKey = typename Flavor::CommitmentKey;
    using HonkVK = typename Flavor::VerificationKey;
    using ProverInstance = ProverInstance_<Flavor>;
    using Transcript = typename Flavor::Transcript;
    using FF = typename Flavor::FF;
    using Proof = typename Transcript::Proof;
 
  public:
    OinkProver(std::shared_ptr<ProverInstance> prover_instance,
               std::shared_ptr<HonkVK> honk_vk,
               const std::shared_ptr<typename Flavor::Transcript>& transcript)
        : prover_instance(prover_instance)
        , honk_vk(honk_vk)
        , transcript(transcript)
    {}
 
    // emit_alpha: when false, skip drawing the "alpha" challenge at the end of Oink.
    // Used by BatchedHonkTranslatorProver, which draws a single joint alpha ("Sumcheck:alpha")
    // after both circuits' pre-sumcheck phases instead.
    void prove(bool emit_alpha = true);
    Proof export_proof();
 
    static void add_ram_rom_memory_records_to_wire_4(ProverInstance& instance);
    static void compute_logderivative_inverses(ProverInstance& instance);
    static void compute_grand_product_polynomial(ProverInstance& instance);
 
  private:
    std::shared_ptr<ProverInstance> prover_instance;
    std::shared_ptr<HonkVK> honk_vk;
    std::shared_ptr<Transcript> transcript;
    CommitmentKey commitment_key;
    typename Flavor::CommitmentLabels commitment_labels;
    void send_vk_hash_and_public_inputs();
    void commit_to_wires();
    void commit_to_lookup_counts_and_w4();
    void commit_to_logderiv_inverses();
    void commit_to_z_perm();
    void commit_to_masking_poly();
};
 
using MegaOinkProver = OinkProver<MegaFlavor>;
 
} // namespace bb