このページは英語からの機械翻訳を使用しており、誤りや不明瞭な表現が含まれている可能性があります。最も正確な情報については、オリジナルの英語版をご覧ください。頻繁な更新のため、一部のコンテンツはオリジナルの英語になっている可能性があります。Crowdinでの取り組みに参加して、このページの翻訳改善にご協力ください。 (Crowdin translation page, Contributing guide)

ブロックエクスプローラーを使ったスマートコントラクトの検証方法

はじめに

通常、スマート・コントラクトのデプロイする者は、実際にデプロイされたコードにアクセスできる唯一の当事者であり、デプロイ者が検証するまで、一般人はコントラクトのソースコードを読むことができない。 コントラクトの検証は、（ユーザーにとっての）透明性、（開発者にとっての）利便性、そしてデプロイされたコントラクトの安全性を向上させるのに役立つからだ。

とはいえ、スマートコントラクトが検証されると、KaiascanやOKX Kaia Explorerのようなブロックエクスプローラーは、ブロックエクスプローラーのユーザーインターフェイスを使って、一般の人がコントラクトのパブリックメソッドと対話することも可能にする。 これは、一般の人々が検証済みの契約ソースコードに直接アクセスできることに加えてのことである。

このガイドでは、ブロックエクスプローラーを使用してKaiaネットワーク上でデプロイされたスマートコントラクトを検証する方法を見ていきます。

前提条件

• Remix IDE と Kaia Wallet
• Faucetから十分なテストKAIA

はじめに

このガイドでは、Kaiaエコシステムに存在するブロックエクスプローラーで、シングルコントラクトとマルチパートコントラクトの両方を検証する方法を説明する：

• カイアスカン
• OKLink

さっそく始めよう！

単一契約の展開

スマート・コントラクトを検証するには、まずターゲット・ネットワーク上にコントラクトをデプロイする必要がある。 したがって、このガイドでは、Kaia Kairos Testnetにコントラクトをデプロイすることにする。 また、このチュートリアルでは、Remix IDE上にCounter.solというシンプルなカウンターのコントラクトをデプロイする。 コードを以下に示す：

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

contract Counter {

uint256 public count;

constructor(uint256 _initialCount) {

count = _initialCount;

}

function incrementCounter() public {

count++;

}

function decrementCounter() public {

count--;

}

function resetCounter() public {

count = 0;

}

}

備考

Kaia Kairos Testnetのライブラリを使用したスマートコントラクトのデプロイに関するチュートリアルは、こちらのページをご覧ください。 スマートコントラクトをKaia Kairos Testnetにデプロイするには、Hardhat、Foundry、Remixなどの開発者ツールを使用することもできます。

単一契約検証のパラメータ

ブロック・エクスプローラーでコントラクトを検証するには、いくつかのパラメータが必要で、スマート・コントラクトをデプロイする際に考慮しなければならない。 以下は、コントラクトをうまく検証するための、コントラクトのコンパイラとデプロイメントに関する詳細である：

Remix IDE :

• Remix IDEで、Solidityコンパイラタブに移動します。

  • 契約のコンパイルとデプロイに使用されたコンパイラのバージョンを確認してください。
  • 契約で使用されているオープンソースライセンスの種類を確認してください。 これは、Solidity ソース ファイルの先頭で使用される SPDX ライセンス識別子を意味します。 Counter.solファイルでは、// SPDX-License-Identifier：MIT
  • コントラクトのデプロイに使用されるEVMバージョンを確認してください。
  • (オプション）コンパイル時に最適化が有効になっている場合、最適化実行パラメータの値に注意する。

  

• Remix IDEでKaiaタブに移動します。

  • (オプション) コンストラクタのメソッドが引数を受け付ける場合は、コンストラクタの引数の ABI エンコード形式 に注意してください。
  • デプロイに成功したら、Deployed Contractsタブでスマートコントラクトのコントラクトアドレスをメモしてください。

  

マルチパートコントラクトのデプロイ

マルチパートのコントラクトのデプロイメントには、単一のコントラクトのデプロイメントと同じ手順が必要であることに注意することが重要である。 このガイドでは、airdropToken.solという名前のシンプルなKIP7のエアドロップコントラクトをデプロイする。 コードを以下に示す：

//SPDX-License-Identifier: MIT

pragma solidity ^0.8.4;

import "@kaiachain/contracts/KIP/token/KIP7/KIP7.sol";

import "@kaiachain/contracts/access/Ownable.sol";

// the creator of the project mints certian amount of fungible tokens directly to a certain selection of wallets.

contract TokenAirdrop is KIP7, Ownable {

constructor() KIP7("Token Aidrop Demo", "TAD") {

}

// Airdrop Token

function airdropTokens(address[] calldata wAddresses, uint[] calldata tAmount) public onlyOwner {

require(wAddresses.length == tAmount.length, "Must be same lenght");

for (uint256 i = 0; i < wAddresses.length; i++) {

_mintSingleTokens(wAddresses[i], tAmount[i]);

}

}

function _mintSingleTokens(address wAddress, uint amount) private {

_mint(wAddress, amount);

}

function supportsInterface(bytes4 interfaceId)

public

view

virtual

override

returns (bool)

{

return

super.supportsInterface(interfaceId);

}

}

マルチパートコントラクト検証のパラメータ

マルチパートコントラクトを検証するためのパラメータは、単一契約の場合と同じである。 しかし、それらは複数の依存するコントラクトで構成されているため、コントラクトのすべての依存関係を単一のsolidityファイルに前処理する必要があります。 この前処理は通常、スマート・コントラクトのフラット化と呼ばれる。

このため、コントラクトをフラット化し、ブロックエクスプローラーで新しいフラット化されたSolidityファイルを使用して検証できるようにする必要があります。

Remix IDE:

• Remix IDEで、ファイルエクスプローラタブに移動します。

  • contractsフォルダの下に新しく作成した契約を選択します。
  • 2本指でクリックまたはタップすると、コントラクトで利用可能なすべてのコマンドが表示されます。
  • flattenを選択

  

  • コードが平坦化されると、airdropTokens_flattened.solという名前の新しいコントラクトが表示されます。

  

備考

マルチパートのスマートコントラクトを単一のSolidityファイルにフラット化するためのさまざまなツールがあります。たとえば、Hardhat Flattenerがあります。 スマート・コントラクト・フラットニング・ツールの詳細な使用方法については、それぞれのスマート・コントラクト・フラットニング・ツールのドキュメントを参照してください。 スマート・コントラクト・フラットニング・ツールの詳細な使用方法については、それぞれのスマート・コントラクト・フラットニング・ツールのドキュメントを参照してください。

契約の確認

検証パラメータをすべて取得したので、このセクションでは、ブロック・エクスプローラ上で単一のスマート・コントラクト（Counter.sol）と複数パートのスマート・コントラクト（airdropTokens.sol）を検証する手順を説明します。

カイアスカン

To verify a single contract and multi-part contracts on Kaiascan, navigate to the contract submission request page.

備考

Kaiascanでの契約の検証は現在ベータ版です。

単一契約の検証

1. 配置された契約（Counter.sol）の契約アドレスを記入してください。
2. Counter.solの例で使用されているコンパイラのバージョンを選択してください。
3. Counter.solの例で使用したオープン・ソース・ライセンス・タイプを選択します。 Counter.solの例では、**MIT License (MIT)**を選択してください。 使用されたものがない場合は、**ライセンスなし（None）**を選択する。
4. 必ずRemix IDEからCounter.solをダウンロードし、**Source Code (Solidity File)**フィールドにアップロードしてください。
5. 契約のEVMバージョンを選択します。 Counter.solの例では、Istanbulを選択する。
6. 最適化がコンパイル時に有効になっている場合はTrueを選択し、Optimization Runsの実行回数を200になるように入力します。
7. (オプション) このフィールドのABIエンコードされたコンストラクタ引数を取得するには、abi.hashex.org にアクセスして、以下の画像に従ってエンコードされたデータを取得します：

8. Click on the Sign and Submit button to confirm and begin verification.

9. 認証が完了すると、Submission Successfulというメッセージが表示されます。 これで、エクスプローラーの検索バーに契約書アドレスを貼り付けて、契約書ソースコード、契約書ABI、作成コードおよびABIエンコード値を表示できる。

複数パート契約の検証

Kaiascanで複数パートにまたがる契約を検証する場合は、単一の契約を検証する場合と同じ手順を踏みます。 ただし、Kaiascan は現在検証用ファイルのアップロードをサポートしていないため、airdropToken_flattened.sol ファイルをコピーして Enter the Solidity Contract Code below フィールドに貼り付けることに注意してください。 ただし、現在 Kaiascan は検証用のファイル アップロードをサポートしていないため、airdropToken_flattened.sol ファイルをコピーして Enter the Solidity Contract Code below フィールドに貼り付けることに注意してください。

検証パラメータを入力したら、Verify and Publish ボタンをクリックして検証を開始します。 認証が完了すると、認証ページが更新されます。 これで、エクスプローラーの検索バーに契約書のアドレスを貼り付けて、契約書のソースコード、契約書のABI、作成コードを表示できる。

OKLink

OKLinkで単一契約および複数パート契約を検証するには、契約検証予備ページに移動します。

備考

OKLinkのサポートは今のところKaiaメインネットに限定されているため、契約確認はメインネットのデプロイでのみ利用可能です。

単一契約の検証

1. 配置された契約（Counter.sol）の契約アドレスを記入してください。
2. コンパイラの種類**を選択してください。 このガイドでは、**Solidity(SingleFile)**を選択する。
3. Counter.solの例で使用したコンパイラのバージョンを選択します：v0.8.30+commit.73712a01を選択し、Nextをクリックします。
4. 契約ソースコード**欄にRemix IDEからCounter.solをアップロードしてください。
5. コンパイル時に有効になっていれば、OptimizationにTrueを選択し、Optimization Runsに実行回数を200と記入する。
6. Counter.solの例で使用されているオープン・ソース・ライセンス・タイプを選択してください。 Counter.solの例では、**MITライセンス(MIT)**を選択してください。 使用されたものがない場合は、**ライセンスなし（None）**を選択する。
7. 契約のEVMバージョンを選択します。 Counter.solの例では、defaultオプションを選択します。
8. Submit**ボタンをクリックして認証を開始します。

9. 認証が完了すると、「認証に成功しました」というメッセージが表示されます。

これで、エクスプローラーの検索バーにコントラクトのアドレスを貼り付けて、コントラクトのソースコード、コントラクトABI、コントラクトのデプロイメント・ バイトコードを表示できる。

複数パート契約の検証

OKLinkでのマルチパート契約の検証は、単一契約の検証と同じステップを踏む。 ただし、現在OKLinkは検証用ファイルのアップロードをサポートしていないため、契約ソースコード欄にairdropToken_flattened.solファイルをコピー＆ペーストすることに注意してください。

検証パラメータを入力後、Submitボタンをクリックして検証を開始します。 認証が完了すると、「認証に成功しました」というメッセージが表示されます。

これで、エクスプローラーの検索バーにコントラクトのアドレスを貼り付けて、コントラクトのソースコード、コントラクトABI、コントラクトのデプロイメント・ バイトコードを表示できる。

結論

このガイドに従ったことを祝福する！ このチュートリアルでは、KaiascanとOKLinkを使用してコントラクト（シングル・パートとマルチ・パートの両方）を検証し、（ユーザーにとっての）透明性、（開発者にとっての）利便性、およびデプロイされたコントラクトの安全性を高める方法を学びました。 より詳しい情報はKaia Docsを、質問があればKaia Forumをご覧ください。