protogalaxy_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/flavor/flavor.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/protogalaxy/folding_result.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/decider_keys.hpp"
 
namespace bb {
template <class DeciderVerificationKeys> class ProtogalaxyVerifier_ {
  public:
    using Flavor = typename DeciderVerificationKeys::Flavor;
    using Transcript = typename Flavor::Transcript;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using DeciderVK = typename DeciderVerificationKeys::DeciderVK;
    using VerificationKey = typename Flavor::VerificationKey;
    using WitnessCommitments = typename Flavor::WitnessCommitments;
    using CommitmentLabels = typename Flavor::CommitmentLabels;
    using SubrelationSeparators = typename Flavor::SubrelationSeparators;
 
    static constexpr size_t NUM_SUBRELATIONS = Flavor::NUM_SUBRELATIONS;
 
    DeciderVerificationKeys keys_to_fold;
 
    std::shared_ptr<Transcript> transcript = std::make_shared<Transcript>();
 
    ProtogalaxyVerifier_(const std::vector<std::shared_ptr<DeciderVK>>& keys,
                         const std::shared_ptr<Transcript>& transcript)
        : keys_to_fold(DeciderVerificationKeys(keys))
        , transcript(transcript) {};
    ~ProtogalaxyVerifier_() = default;
 
    void run_oink_verifier_on_each_incomplete_key(const std::vector<FF>&);
 
    std::shared_ptr<DeciderVK> verify_folding_proof(const std::vector<FF>&);
};
 
} // namespace bb