⛏️

Solidity 0.8.26での変更点まとめ

かるでね

2024/05/25に公開

はじめに

初めまして。
CryptoGamesというブロックチェーンゲーム企業でエンジニアをしている cardene（かるでね） です！
スマートコントラクトを書いたり、フロントエンド・バックエンド・インフラと幅広く触れています。

https://cryptogames.co.jp/

代表的なゲームはクリプトスペルズというブロックチェーンゲームです。

https://cryptospells.jp/

以下でも情報発信しているので、興味ある記事があればぜひ読んでみてください！

https://twitter.com/cardene777

https://chaldene.net/

https://qiita.com/cardene

https://cardene.substack.com/

今回はSolidityのバージョン0.8.26が2024年5月21日にリリースされたので、その変更点をまとめていきます。

以下の公式のリリース記事をもとにまとめていきます。

変更点

Solidityのバージョン0.8.26では以下の項目が変更されました。

requireでのcustomエラーサポート
エンコードサイズが小さいカスタムエラーの最適化
高速なYul Optimizerシーケンス
コンパイル時に使用されるJSONライブラリの変更

`require`でのcustomエラーサポート

カスタムエラーとは、以下のように任意のエラーを自分で定義できる機能です。

// SPDX-License-Identifier: MIT
pragma solidity 0.8.26;

contract Solidity0826 {
    uint256 requiredAmount = 0.01 ether;

    error InsufficientBalance(uint256 available, uint256 required);

    function deposit() public payable {
        if (msg.value <= 0.001 ether) {
            revert InsufficientBalance(msg.value, requiredAmount);
        }
    }
}

error InsufficientBalance(uint256 available, uint256 required);

上記でInsufficientBalanceというエラーを定義しておきます。

if (msg.value <= 0.001 ether) {
    revert InsufficientBalance(msg.value, requiredAmount);
}

その後、上記のようにif文などの条件にマッチした場合に、先ほど定義したエラーを返すようにします。

エラーを返すときによく使用されるエラーとしては、requireというものがあります。
こちらの方がより一般的かつ、ガス効率が良いです。

// SPDX-License-Identifier: MIT
pragma solidity 0.8.26;

contract Solidity0826 {
    uint256 requiredAmount = 0.01 ether;

    error InsufficientBalance(uint256 available, uint256 required);

    function deposit() public payable {
        require(msg.value > 0.001 ether, "InsufficientBalance");
    }
}

上記のrequireでは、msg.value > 0.001 etherという条件に一致しない場合は、InsufficientBalanceというメッセージを返して処理を止めます。
しかし、Solidiry 0.8.25以前まではrequireのメッセージ部分にカスタムエラーを入れることができませんでした。

Solidiry 0.8.26では、ここにカスタムエラーを入れられるようになりました。

// SPDX-License-Identifier: MIT
pragma solidity 0.8.26;

contract Solidity0826 {
    uint256 requiredAmount = 0.01 ether;

    error InsufficientBalance(uint256 available, uint256 required);

    function deposit() public payable {
        require(
            msg.value > 0.001 ether ,
            InsufficientBalance(msg.value, requiredAmount)
        );
    }
}

これにより以前のカスタムエラーよりもガス効率が良くなります。

ただ、一点注意が必要です。
それは、コンパイル時にIRパイプライン（Yul経由でのコンパイル）でのみこの機能がサポートされているということです。
IRパイプラインとは、直接コードをバイトコードに変換するのではなく、中間表現（人間が読みやすいコードと機械語の中間に位置する表現形式）に変換して、より効率的なバイトコードを生成するコンパイル方式です。
SolidityではYulという中間表現があります。

hardhatとremixでのIRパイプラインでのコンパイルをする方法を簡単に説明しておきます。

hardhat

hardhat.config.jsで以下のようにviaIR: true,を追加してください。

hardhat.config.js

solidity: {
  version: "0.8.24", // any version you want
  settings: {
+   viaIR: true,
    optimizer: {
      enabled: true,
      details: {
        yulDetails: {
          optimizerSteps: "u",
        },
      },
    },
  },
}

remix

remixでは、compiler_config.jsonに以下のように、"viaIR": true,を追加してください。

compiler_config.json


{
	"language": "Solidity",
	"settings": {
+		"viaIR": true,
		"optimizer": {
			"enabled": true,
			"runs": 200
		},
		"outputSelection": {
			"*": {
			"": ["ast"],
			"*": ["abi", "metadata", "devdoc", "userdoc", "storageLayout", "evm.legacyAssembly", "evm.bytecode", "evm.deployedBytecode", "evm.methodIdentifiers", "evm.gasEstimates", "evm.assembly"]
			}
		}
	}
}

ソースコード

remixで作成したソースコードも載せておきます。

エンコードサイズが小さいカスタムエラーの最適化

これまでカスタムエラーを使用して処理をrevert（中断）する時のコードの最適化には、インラインアセンブリを使用していました。

Solidiry 0.8.26では、引数のないカスタムエラーやメモリ領域に収まる程度のサイズのカスタムエラーの場合、デプロイ段階でガスコストを自動で最適化してくれるようになります。
これにより、インラインアセンプリでカスタムエラーコードを最適化する必要がなくなります。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.26;

error ForceFailure();

contract FailureForcer {
    function fail() external pure {
        revert ForceFailure();
    }
}

引数のないカスタムエラーは上記のようなエラーです。

高速なYul Optimizerシーケンス

Yul Optimizerを使用してコンパイルするときのシーケンス（どのように最適化するか）に、新しいデフォルトシーケンスを導入することが決まりました。
新しいデフォルトシーケンスでは、コードの最適化の精度を維持しつつ、コンパイル時間を大幅に短縮しています。

これまでは最適化の手順を複数回繰り返して最適化の機会を増やしていましたが、解析の結果、最初の最適化と最終結果がほとんど変わらないことがわかりました。

引用: https://soliditylang.org/blog/2024/05/21/solidity-0.8.26-release-announcement

そのため、新しいデフォルトシーケンスでは繰り返しの回数を減らして、1回の最適化が行われるように変更されました。

引用: https://soliditylang.org/blog/2024/05/21/solidity-0.8.26-release-announcement

ガス代の効率化も同じように1回の最適化に変換したようです。

これまでのシーケンス

引用: https://soliditylang.org/blog/2024/05/21/solidity-0.8.26-release-announcement

新しいシーケンス

引用: https://soliditylang.org/blog/2024/05/21/solidity-0.8.26-release-announcement

これにより、以下の図のように多くのプロジェクトでコンパイル時間が最大65%まで減少しました。

プロジェクト	コンパイル時間の減少率	バイトコードサイズの変化	実行時ガスコストの変化
pool-together	-63%	-1.29%	未測定
uniswap	-53%	+1.67%	未測定
zeppelin	-47%	-0.48%	-0.01%
elementfi	-42%	-1.87%	未測定
euler	-34%	+1.00%	未測定
yield_liquidator	-27%	+0.84%	+0.14%
ens	-22%	-1.20%	-0.01%
brink	-20%	+0.61%	未測定
perpetual-pools	-16%	-0.23%	+0.02%
gp2	-12%	+0.50%	未測定