decider_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/commitment_schemes/pairing_points.hpp"
#include "barretenberg/flavor/mega_zk_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"
 
namespace bb {
template <typename Flavor> class DeciderVerifier_ {
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using VerificationKey = typename Flavor::VerificationKey;
    using Transcript = typename Flavor::Transcript;
    using VerifierInstance = VerifierInstance_<Flavor>;
    using DeciderProof = typename Transcript::Proof;
 
  public:
    struct Output {
        bool sumcheck_verified;
        bool libra_evals_verified;
        PairingPoints pairing_points;
 
        bool check()
        {
            bool pairing_check_verified = pairing_points.check();
            vinfo("sumcheck_verified: ", sumcheck_verified);
            vinfo("libra_evals_verified: ", libra_evals_verified);
            vinfo("pairing_check_verified: ", pairing_check_verified);
            return sumcheck_verified && libra_evals_verified && pairing_check_verified;
        }
    };
 
    explicit DeciderVerifier_();
    explicit DeciderVerifier_(const std::shared_ptr<VerifierInstance>& verification_key,
                              const std::shared_ptr<Transcript>& transcript = std::make_shared<Transcript>());
 
    Output verify_proof(const DeciderProof&); // used when a decider proof is known explicitly
    Output verify();                          // used with a transcript that has been initialized with a proof
    std::shared_ptr<VerificationKey> key;
    std::shared_ptr<VerifierInstance> accumulator;
    std::shared_ptr<Transcript> transcript;
};
 
using UltraDeciderVerifier = DeciderVerifier_<UltraFlavor>;
using MegaDeciderVerifier = DeciderVerifier_<MegaFlavor>;
using MegaZKDeciderVerifier = DeciderVerifier_<MegaZKFlavor>;
 
} // namespace bb