oink_verifier.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
 
#include "barretenberg/ultra_honk/verifier_instance.hpp"
 
namespace bb {
 
template <typename Flavor> class OinkVerifier {
    using Transcript = typename Flavor::Transcript;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using Instance = bb::VerifierInstance_<Flavor>;
 
  public:
    OinkVerifier(const std::shared_ptr<Instance>& verifier_instance,
                 const std::shared_ptr<Transcript>& transcript,
                 size_t num_public_inputs)
        : transcript(transcript)
        , verifier_instance(verifier_instance)
        , num_public_inputs(num_public_inputs)
    {}
 
    // emit_alpha: when false, skip drawing the "alpha" challenge at the end of Oink.
    // Used by BatchedHonkTranslatorVerifier, which draws a single joint alpha ("Sumcheck:alpha")
    // after both circuits' pre-sumcheck phases instead.
    void verify(bool emit_alpha = true);
 
  private:
    std::shared_ptr<Transcript> transcript;
    std::shared_ptr<Instance> verifier_instance;
    typename Flavor::CommitmentLabels comm_labels;
    size_t num_public_inputs;
    void receive_vk_hash_and_public_inputs();
    void receive_wire_commitments();
    void receive_lookup_counts_and_w4_commitments();
    void receive_logderiv_commitments();
    void complete_grand_product_round();
};
} // namespace bb