text: #include "scheme_vrfq_notary.h"
  #include "chain.h"
  #include "mkl_tree.h"
  #include "scheme_misc.h"
  
  namespace scheme::table::vrfq {
  bool VerifyProof(G1 const& g_exp_r, Secret const& secret) {
    auto const& ecc_pub = GetEccPub();
    return ecc_pub.PowerG1(secret.r) == g_exp_r;
  }
  
  bool VerifyProof(Receipt const& receipt, Secret const& secret) {
    return VerifyProof(receipt.g_exp_r, secret);
  }
  }  // namespace scheme::table::vrfq
  