oink_recursive_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_decider_verification_key.hpp"
#include "barretenberg/stdlib/transcript/transcript.hpp"
 
namespace bb::stdlib::recursion::honk {
 
template <typename Flavor> class OinkRecursiveVerifier_ {
  public:
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using GroupElement = typename Flavor::GroupElement;
    using RecursiveDeciderVK = RecursiveDeciderVerificationKey_<Flavor>;
    using VerificationKey = typename Flavor::VerificationKey;
    using Builder = typename Flavor::CircuitBuilder;
    using SubrelationSeparators = typename Flavor::SubrelationSeparators;
    using Transcript = bb::BaseTranscript<bb::stdlib::recursion::honk::StdlibTranscriptParams<Builder>>;
    using WitnessCommitments = typename Flavor::WitnessCommitments;
    using OinkProof = std::vector<FF>;
 
    explicit OinkRecursiveVerifier_(Builder* builder,
                                    const std::shared_ptr<RecursiveDeciderVK>& decider_vk,
                                    const std::shared_ptr<Transcript>& transcript,
                                    std::string domain_separator = "");
 
    explicit OinkRecursiveVerifier_(Builder* builder,
                                    const std::shared_ptr<RecursiveDeciderVK>& decider_vk,
                                    std::string domain_separator = "");
 
    void verify();
 
    void verify_proof(const OinkProof& proof);
 
    std::shared_ptr<RecursiveDeciderVK> decider_vk;
    Builder* builder;
    std::shared_ptr<Transcript> transcript = std::make_shared<Transcript>();
    std::string domain_separator; // used in PG to distinguish between verification_keys in transcript
};
 
} // namespace bb::stdlib::recursion::honk