使用 Hardhat 进行智能合约验证

适用于： Virtual Environments 和公共网络（主网和测试网）。同一插件同时处理两者；请在 hardhat.config.ts 中将其指向正确的网络。

Tenderly-Hardhat 插件在 Virtual Environments 或公共网络上验证从 Hardhat 部署的合约。使用自动验证在每次部署时进行验证，或使用手动验证从您的脚本中显式调用 tenderly.verify()。

在公共网络上，插件默认公开验证。要私密验证（仅在您的项目/组织内可见），请在 hardhat.config.ts 中设置 privateVerification: true。请参阅配置认证和验证可见性。

版本和兼容性

根据您与 Hardhat 一起使用的 Ethers 版本，您需要下载相应版本的 Tenderly-Hardhat 插件。

出于安全性和性能考虑，以及为了获得附加功能，强烈建议切换到 Ethers 6 并使用最新版本的 Tenderly-Hardhat 插件。

您的技术栈	Hardhat 版本	Tenderly-Hardhat 插件版本
Ethers 6+ 搭配 Hardhat Ignition	`>=2.19.0 <=2.22.0`	`@tenderly/hardhat-tenderly@^2.3.0`
Ethers 6+ 搭配 hardhat-verify	`>=2.19.0 <=2.22.0`	`@tenderly/hardhat-tenderly@^2.2.1`
Ethers 5+ 搭配 hardhat-verify	`< 2.19.0`	`@tenderly/hardhat-tenderly@1.8.0`

验证方法

Tenderly-Hardhat 插件支持三种合约验证方法。

自动验证（推荐）：只需导入并设置插件。这种方式非常适合部署期间的验证，因为过程是完全自动化的。自动验证适用于普通的 Hardhat 部署设置，以及使用 hardhat-ignition。通过使用 TENDERLY_AUTOMATIC_VERIFICATION 环境变量来控制自动验证。
手动验证（低代码）：在您的代码中提供显式验证步骤，适用于部署后验证、条件验证（例如仅在测试失败后）或验证工厂合约实例等场景。
详尽手动验证（高代码）：提供对验证过程的详细控制，指定库地址、源代码和编译器配置。这对于使用不同编译器版本或设置来验证多个合约是必要的。

示例

探索自动验证过程最好的方法是参考我们 GitHub 仓库中的示例。所有示例都使用示例 Greeter 合约。直接浏览示例项目：

Tenderly-Hardhat 插件设置

按照下面的步骤安装并初始化 Tenderly-Hardhat 插件。

在以下部分中，您将了解如何使用不同的验证方法验证合约。

自动验证

在使用 Ethers.js 部署合约时会无缝进行自动验证。自动验证方法将在收集编译器设置、已部署合约的地址和源代码后自动执行验证。要启用或禁用自动验证，请使用插件识别的 TENDERLY_AUTOMATIC_VERIFICATION 环境变量。当 Tenderly-Hardhat 插件检测到合约已部署，且 Ethers 已收到部署交易的收据时，将验证合约。要启用此功能，您需要在使用 Ethers 的辅助方法 ethers.deployContract() 和 ethers.getContractFactory() 部署合约时 await 部署，方法是分别在合约实例上调用 waitForDeployment() 或 deployed()。

如果您打算与该合约交互，需要捕获 waitForDeployment()（Ethers 6）和 deployed()（Ethers 5）返回的合约对象的引用。

验证代理合约

使用 hardhat-upgrades 部署和升级的代理合约的自动验证在以下版本的 @tenderly/hardhat-tenderly 包中可用：

>= 1.10.0
>= 2.1.0

对于版本 1.x.x < 1.10.0 和 2.x.x < 2.1.0，请按照代理验证指南进行操作。

手动验证

通过 tenderly.verify() 进行的低代码验证使您能够在部署脚本或 Hardhat 测试中显式指定验证的确切时点。此方法特别适合：

通过自定义脚本验证之前部署的合约。
验证工厂合约创建的实例。
通过在失败测试套件末尾（after）选择性地验证合约来增强测试运行，从而加快执行速度。

要手动控制验证，请在运行脚本时将 TENDERLY_AUTOMATIC_VERIFICATION 更改为 false 以禁用自动验证。

`verify` 函数

verify() 函数接受一个对象，您必须在其中提供：

合约的 name
合约部署的 address
合约使用的 libraries（可选）

Tenderly-Hardhat 插件将获取现有的编译器配置和合约源代码，以验证您指定的合约。

必须在合约部署之后调用 verify()。如果您在部署时执行验证，需要在 Ethers 6 中 await waitForDeployment()，在 Ethers 5 中 await deployed()。

let greeter = await ethers.deployContract("Greeter", ["Hello, Hardhat!"]);
greeter = await greeter.waitForDeployment();

await tenderly.verify({
  name: 'Greeter',
  address: await greeter.getAddress(),
  libraries: {
    AwsomeLib: "0x...",
  }
});

如果您要验证多个合约，该函数具有可变参数：

let greeter = await ethers.deployContract("Greeter", ["Hello, Hardhat!"]);
greeter = await greeter.waitForDeployment();

const counter = (await ethers.deployContract("Counter", [42])).waitForDeployment();

await tenderly.verify(
  {
    name: 'Greeter',
    address: await greeter.getAddress(),
  },
  {
    name: 'Counter',
    address: await counter.getAddress(),
    libraries: {
        KickAssLib: "0x...",
    }
  },
);

详尽手动验证

方法 verifyMultiCompilerAPI() 让您完全控制验证过程，允许您指定验证过程的每一个细节。 通常不推荐这样做，但如果您正在验证使用不同编译器版本或配置编译的合约，它会很有用。完全受控的验证方法允许您显式：

指定合约的源代码（sources）
设置编译参数（compiler）
设置链接的库（libraries）

以下示例演示了如何执行完全受控的验证。

await tenderly.verifyMultiCompilerAPI({
  contracts: [
    {
      contractToVerify: 'Greeter',
      sources: {
        'contracts/Greeter.sol': {
          name: 'Greeter',
          code: readFileSync('contracts/Greeter.sol', 'utf-8').toString(),
        },
        'hardhat/console.sol': {
          name: 'console',
          code: readFileSync('node_modules/hardhat/console.sol', 'utf-8').toString(),
        },
      },
      // solidity format compiler with a little modification at libraries param
      compiler: {
        version: '0.8.17',
        settings: {
          optimizer: {
            enabled: true,
            runs: 200,
          },
        },
        libraries: {
          'path/to/lib.sol': {
            addresses: {
              LibName1: '0x...',
              LibName2: '0x...',
            },
          },
        },
      },
      networks: {
        [NETWORK_ID]: {
          address: greeterAddress,
        },
      },
    },
  ],
});

验证参数

verifyMultiCompilerAPI() 方法接受一个参数——一个合约对象数组。每个合约对象由以下部分组成：


`contractToVerify`	string	要验证的合约名称。这可以是短名称如 `Greeter`，也可以是完全限定的合约名称如 `contracts/A/Greeter.sol:Greeter`。
`sources`	map	编译合约所需的所有源代码的映射。映射的键是指向合约的源路径，而值是一个包含名称和 UTF-8 编码合约源代码的对象。`js sources: { 'contracts/Greeter.sol': { name: 'Greeter', code: readFileSync('contracts/Greeter.sol', 'utf-8').toString(), }, 'hardhat/console.sol': { name: 'console', code: readFileSync('node_modules/hardhat/console.sol', 'utf-8').toString(), }, },`
`networks`	map	一个包含多个网络上所有部署地址的映射。`js { networks: { [NETWORK_ID]: { address: greeterAddress, }, }, }`
`libraries`	map	一个包含库部署信息的映射。键是相对于 `contracts` 文件夹的库源代码的相对路径。`js compiler.settings.libraries = { "path/to/lib.sol": { addresses: { "LibName1": "0x...", "LibName2": "0x..." } } }`

Getting Started

Simulator

Console

Monitor

Node RPC

Account & Settings

使用 Hardhat 进行智能合约验证

版本和兼容性

验证方法

示例

Tenderly-Hardhat 插件设置

自动验证

验证代理合约

手动验证

`verify` 函数

详尽手动验证

验证参数

​版本和兼容性

​验证方法

​示例

​Tenderly-Hardhat 插件设置

​自动验证

​验证代理合约

​手动验证

​verify 函数

​详尽手动验证

​验证参数

版本和兼容性

验证方法

示例

Tenderly-Hardhat 插件设置

自动验证

验证代理合约

手动验证

`verify` 函数

详尽手动验证

验证参数