goblin_avm.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/goblin/goblin.hpp"
#include "barretenberg/goblin_avm/types.hpp"
 
namespace bb {
 
class GoblinAvm : public Goblin {
  public:
    using ECCVMVerificationKey = ECCVMFlavor::VerificationKey;
    using TranslatorVerificationKey = TranslatorFlavor::VerificationKey;
 
    explicit GoblinAvm(MegaBuilder& builder,
                       CommitmentKey<curve::BN254> bn254_commitment_key = CommitmentKey<curve::BN254>(),
                       const std::shared_ptr<Transcript>& avm_transcript = std::make_shared<Transcript>());
 
    GoblinAvmProof prove();
};
 
} // namespace bb