oink_verifier.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], 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 WitnessCommitments = typename Flavor::WitnessCommitments;
    using Transcript = typename Flavor::Transcript;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using SubrelationSeparator = typename Flavor::SubrelationSeparator;
    using Instance = bb::VerifierInstance_<Flavor>;
 
  public:
    std::shared_ptr<Transcript> transcript;
    std::shared_ptr<Instance> verifier_instance;
    std::string domain_separator;
    typename Flavor::CommitmentLabels comm_labels;
    bb::RelationParameters<FF> relation_parameters;
    WitnessCommitments witness_comms;
 
    // Number of public inputs - provided by caller, not derived from VK.
    // This avoids .get_value() in recursive contexts and makes the dependency explicit.
    size_t num_public_inputs;
 
    OinkVerifier(const std::shared_ptr<Instance>& verifier_instance,
                 const std::shared_ptr<Transcript>& transcript,
                 size_t num_public_inputs,
                 std::string domain_separator = "")
        : transcript(transcript)
        , verifier_instance(verifier_instance)
        , domain_separator(std::move(domain_separator))
        , num_public_inputs(num_public_inputs)
    {}
 
    void verify();
 
    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();
 
    SubrelationSeparator generate_alpha_round();
};
} // namespace bb