hypernova_decider_verifier.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Sergei], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
#pragma once
 
#include "barretenberg/hypernova/hypernova_verifier.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
 
namespace bb {
template <typename Flavor_> class HypernovaDeciderVerifier {
  public:
    using Flavor = Flavor_;
    using FF = Flavor::FF;
    using Curve = Flavor::Curve;
    using Commitment = Flavor::Commitment;
    using Transcript = Flavor::Transcript;
    using PCS = Flavor::PCS;
    using Accumulator = HypernovaFoldingVerifier<Flavor>::Accumulator;
    // Types conditionally assigned based on the Flavor being recursive
    using Proof = HypernovaFoldingVerifier<Flavor>::Proof;
    using PairingPoints =
        std::conditional_t<Curve::is_stdlib_type, stdlib::recursion::PairingPoints<Curve>, bb::PairingPoints<Curve>>;
 
    std::shared_ptr<Transcript> transcript;
 
    HypernovaDeciderVerifier(const std::shared_ptr<Transcript>& transcript)
        : transcript(transcript) {};
 
    PairingPoints verify_proof(Accumulator& accumulator, const Proof& proof);
};
} // namespace bb