oink_verifier.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
 
#include "barretenberg/stdlib/protogalaxy_verifier/recursive_verifier_instance.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"
 
namespace bb {
 
// Helper to select the correct instance type without violating template constraints
template <typename Flavor, bool = IsRecursiveFlavor<Flavor>> struct OinkVerifierInstanceType {
    using type = VerifierInstance_<Flavor>;
};
 
template <typename Flavor> struct OinkVerifierInstanceType<Flavor, true> {
    using type = bb::stdlib::recursion::honk::RecursiveVerifierInstance_<Flavor>;
};
 
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 SubrelationSeparators = typename Flavor::SubrelationSeparators;
 
    // Use appropriate instance type based on whether flavor is recursive
    using Instance = typename OinkVerifierInstanceType<Flavor>::type;
 
  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;
 
    OinkVerifier(const std::shared_ptr<Instance>& verifier_instance,
                 const std::shared_ptr<Transcript>& transcript,
                 std::string domain_separator = "")
        : transcript(transcript)
        , verifier_instance(verifier_instance)
        , domain_separator(std::move(domain_separator))
    {}
 
    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();
 
    SubrelationSeparators generate_alphas_round();
 
  private:
    size_t get_num_public_inputs() const
    {
        auto vk = verifier_instance->get_vk();
        if constexpr (IsRecursiveFlavor<Flavor>) {
            return static_cast<size_t>(static_cast<uint32_t>(vk->num_public_inputs.get_value()));
        } else {
            return static_cast<size_t>(vk->num_public_inputs);
        }
    }
};
} // namespace bb