oink_prover.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
// clang-format off
/*                                            )\   /|
*                                          .-/'-|_/ |
*                       __            __,-' (   / \/
*                   .-'"  "'-..__,-'""          -o.`-._
*                  /                                   '/
*          *--._ ./                                 _.--
*                |                              _.-'
*                :                           .-/
*                 \                       )_ /
*                  \                _)   / \‍(
*                    `.   /-.___.---'(  /   \\
*                     (  /   \\       \‍(     L\
*                      \‍(     L\       \\
*                       \\              \\
*                        L\              L\
*/
// clang-format on
#include <utility>
 
#include "barretenberg/honk/execution_trace/execution_trace_usage_tracker.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
 
namespace bb {
template <IsUltraOrMegaHonk Flavor> class OinkProver {
    using CommitmentKey = typename Flavor::CommitmentKey;
    using HonkVK = typename Flavor::VerificationKey;
    using DeciderPK = DeciderProvingKey_<Flavor>;
    using Transcript = typename Flavor::Transcript;
    using FF = typename Flavor::FF;
    using Proof = typename Transcript::Proof;
 
  public:
    std::shared_ptr<DeciderPK> proving_key;
    std::shared_ptr<HonkVK> honk_vk;
    std::shared_ptr<Transcript> transcript;
    std::string domain_separator;
    ExecutionTraceUsageTracker trace_usage_tracker;
 
    typename Flavor::CommitmentLabels commitment_labels;
    using SubrelationSeparators = typename Flavor::SubrelationSeparators;
 
    OinkProver(std::shared_ptr<DeciderPK> proving_key,
               std::shared_ptr<HonkVK> honk_vk,
               const std::shared_ptr<typename Flavor::Transcript>& transcript = std::make_shared<Transcript>(),
               std::string domain_separator = "",
               const ExecutionTraceUsageTracker& trace_usage_tracker = ExecutionTraceUsageTracker{})
        : proving_key(proving_key)
        , honk_vk(honk_vk)
        , transcript(transcript)
        , domain_separator(std::move(domain_separator))
        , trace_usage_tracker(trace_usage_tracker)
    {}
 
    void prove();
    Proof export_proof();
    void execute_preamble_round();
    void execute_wire_commitments_round();
    void execute_sorted_list_accumulator_round();
    void execute_log_derivative_inverse_round();
    void execute_grand_product_computation_round();
    SubrelationSeparators generate_alphas_round();
    void commit_to_witness_polynomial(Polynomial<FF>& polynomial,
                                      const std::string& label,
                                      const CommitmentKey::CommitType type = CommitmentKey::CommitType::Default);
};
 
using MegaOinkProver = OinkProver<MegaFlavor>;
 
} // namespace bb