verifier_instance.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
 
namespace bb {
template <typename Flavor_> class VerifierInstance_ {
  public:
    using Flavor = Flavor_;
    using FF = typename Flavor::FF;
    using Commitment = typename Flavor::Commitment;
    using VerificationKey = typename Flavor::VerificationKey;
    using VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey;
    using WitnessCommitments = typename Flavor::WitnessCommitments;
    using SubrelationSeparator = typename Flavor::SubrelationSeparator;
    using Transcript = typename Flavor::Transcript;
    using VKAndHash = typename Flavor::VKAndHash;
 
    std::shared_ptr<VKAndHash> vk_and_hash;
 
    std::vector<FF> public_inputs; // to be extracted from the corresponding proof
 
    SubrelationSeparator alpha; // a challenge whose powers are used to batch subrelation contributions during Sumcheck
    RelationParameters<FF> relation_parameters;
    std::vector<FF> gate_challenges;
 
    WitnessCommitments witness_commitments;
 
    // For ZK flavors: store Gemini masking polynomial commitment
    Commitment gemini_masking_commitment;
 
    explicit VerifierInstance_(std::shared_ptr<VKAndHash> vk_and_hash)
        : vk_and_hash(vk_and_hash)
    {}
 
    std::shared_ptr<VerificationKey> get_vk() const { return vk_and_hash->vk; }
};
 
} // namespace bb