Vyper で最初のスマート コントラクトを作成するためのガイド

Vyper の設計哲学を理解する

1. Vyper は機能の豊富さよりもセキュリティと監査可能性を優先し、継承や再帰呼び出しなどの複雑な構造を意図的に省略しています。

2. この言語は、すべての関数と状態変数に対して明示的な可視性宣言を強制し、契約レビュー中の曖昧さを軽減します。

3. Python のような構文を使用しますが、中間抽象化を行わずに EVM バイトコードに直接コンパイルするため、攻撃対象領域が最小限に抑えられます。

4. 整数のオーバーフローおよびアンダーフロー保護が組み込まれており、手動の SafeMath パターンは必要ありません。

5. すべての外部呼び出しは@externalデコレータでマークされ、対話境界がソース コード内ですぐに見えるようになります。

開発環境のセットアップ

1. Python 3.9 以降と pip をインストールし、 pip install vyperを実行して公式コンパイラを入手します。

2. VS Code と Vyper 拡張機能を使用して、構文の強調表示と基本的な lint サポートを行います。

3. Anvil 経由でローカル テストネット ノードを構成するか、Foundry のanvilコマンドを使用して Ethereum の実行をシミュレートします。

4. 単体テストのために pytest と統合 - Vyper コントラクトは、pytest が直接呼び出せる ABI 互換インターフェイスを公開します。

5. vyper -f json my_contract.vyを実行した後、コンパイルされたバイトコードと ABI を別の JSON ファイルに保存します。

最小限のトークン コントラクトを作成する

1. Balance_of: public(HashMap[address, uint256])などのpublicまたはprivate修飾子を使用してストレージ変数を宣言します。

2. @externalでコンストラクターを定義し、1 つのアトミック ブロックで総供給量と所有者の残高を初期化します。

3. 送信者残高の十分性、ゼロ以外の受信者アドレス、およびlog Transfer(...)を使用したイベント発行などの厳密なチェックを備えた転送ロジックを実装します。

4. 不変条件を強制するには、revert 文字列の代わりにassertステートメントを使用します。Vyper はカスタム エラー メッセージをサポートしません。

5. 無制限の反復によるループを避けます。ガスの枯渇を防ぐために、固定長の配列と有界の for ループのみが許可されます。

テストネットでのコンパイルとデプロイ

1. vyper -f combined_json my_contract.vyを使用してコンパイルし、バイトコードと ABI の両方を 1 つの出力で生成します。

2. web3.py を使用して RPC エンドポイントに接続し、コントラクト オブジェクトをインスタンス化し、秘密キーを使用して展開トランザクションに署名します。

3. 提出前にガス見積もりを検証する - Vyper の決定論的コンパイルにより、導入前の正確なガスコスト予測が可能になります。

4. Etherscan テストネット エクスプローラーでコントラクト アドレスをクエリし、発行されたイベントを確認して、展開を確認します。

5. web3.eth.contract() メソッドを介して対話し、すべての引数が Vyper ソースで定義されている予期される型と一致することを確認します。

よくある質問

Q: Vyper は浮動小数点演算をサポートしていますか? A: いいえ。Vyper にはネイティブの浮動小数点型が含まれていません。固定小数点演算は、整数スケール係数を使用して手動で実装する必要があります。

Q: 自分の契約内から別の Vyper 契約を呼び出すことはできますか? A: はい。ただし、ターゲット コントラクトのインターフェイスがインターフェイスブロックを使用して明示的に宣言されており、呼び出しが型付き変数を通じて行われる場合に限ります。

Q: Vyper では構造体はどのように処理されますか? A: 構造体はフィールドの名前付きグループとしてサポートされていますが、ネストしたり、マッピング キーとして使用したりすることはできません。これらは、 structキーワードを使用してグローバルに宣言する必要があります。

Q: Vyper で時間ベースのロジックを処理する標準的な方法はありますか? A: はい。 block.timestamp を直接使用します。グローバル定数としてアクセスでき、Solidity のバージョンと同様に動作します。