goblin_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/eccvm/eccvm_verifier.hpp"
#include "barretenberg/goblin/goblin.hpp"
#include "barretenberg/goblin/merge_verifier.hpp"
#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_verifier.hpp"
 
namespace bb::stdlib::recursion::honk {
 
struct GoblinRecursiveVerifierOutput {
    using Builder = UltraCircuitBuilder;
    using Curve = grumpkin<Builder>;
    using BN254Curve = bn254<Builder>;
    using PairingAccumulator = PairingPoints<BN254Curve>;
    PairingAccumulator points_accumulator;
    OpeningClaim<Curve> opening_claim;
    stdlib::Proof<Builder> ipa_proof;
};
 
class GoblinRecursiveVerifier {
  public:
    // Goblin Recursive Verifier circuit is using Ultra arithmetisation
    using Builder = UltraCircuitBuilder;
    using MergeVerifier = bb::stdlib::recursion::goblin::MergeRecursiveVerifier<Builder>;
    using Transcript = UltraStdlibTranscript;
    using TranslatorFlavor = TranslatorRecursiveFlavor;
    using TranslatorVerifier = TranslatorRecursiveVerifier;
    using TranslationEvaluations = TranslatorVerifier::TranslationEvaluations;
    using TranslatorInputData = TranslatorInputData_<TranslatorRecursiveVerifier::BF>;
 
    // ECCVM and Translator verification keys
    using VerificationKey = Goblin::VerificationKey;
 
    // Merge commitments
    using MergeCommitments = MergeVerifier::InputCommitments;
 
    GoblinRecursiveVerifier(Builder* builder,
                            const VerificationKey& verification_keys,
                            const std::shared_ptr<Transcript>& transcript = std::make_shared<Transcript>())
        : builder(builder)
        , verification_keys(verification_keys)
        , transcript(transcript) {};
 
    [[nodiscard("IPA claim and Pairing points should be accumulated")]] GoblinRecursiveVerifierOutput verify(
        const GoblinProof&,
        const MergeCommitments& merge_commitments,
        const MergeSettings merge_settings = MergeSettings::PREPEND);
    [[nodiscard("IPA claim and Pairing points should be accumulated")]] GoblinRecursiveVerifierOutput verify(
        const GoblinStdlibProof&,
        const MergeCommitments& merge_commitments,
        const MergeSettings merge_settings = MergeSettings::PREPEND);
 
  private:
    Builder* builder;
    VerificationKey verification_keys; // ECCVM and Translator verification keys
    std::shared_ptr<Transcript> transcript;
};
 
} // namespace bb::stdlib::recursion::honk