Solidityは、Ethereum Foundationのチーフサイエンティスト時代のGavin Woodが2014年に提案し、Christian Reitwiessnerが中心となって開発を進めたスマートコントラクト記述用のドメイン特化言語です。JavaScript、Python、C++から影響を受けた静的型付け言語で、EVMバイトコードにコンパイルしてEthereumをはじめとするEVM互換チェーン上で実行されます。Uniswap、Aave、MakerDAOなど主要DeFiプロトコルの大半がSolidityで書かれており、Web3エンジニアにとって最初に学ぶべき言語として事実上のデファクトスタンダードとなっています。
この記事の目次
- Solidityの誕生と進化
- 言語仕様の特徴
- 開発ツールチェーン
- 他言語との比較と将来
- まとめ
Solidityの誕生と進化
Ethereumプロジェクトが立ち上がった2014年当時、スマートコントラクトを書く言語として複数の選択肢が検討されていました。Gavin Woodが2014年8月にSolidityを提案し、Lispベースの「LLL」、Python風の「Serpent」、Solidityの3言語が候補となりました。Christian Reitwiessnerが開発を主導し、最終的にC++/JavaScriptに馴染んだ開発者を取り込みやすいSolidityがコミュニティで広く採用されることになります。
2015年8月のv0.1.0公開以降、年単位でメジャーバージョンが進み、2025年時点ではv0.8系が主流です。0.5系（2018年）でセキュリティ強化のための後方互換破壊が行われ、0.8系（2020年）ではデフォルトでオーバーフローチェックが有効化されました。コンパイラ自体は最初C++で書かれていましたが、現在はEthereum FoundationのSolidity Team（Daniel Kirchner氏など）が継続開発し、各種EIPの仕様変更に追随し続けています。
言語仕様の特徴
Solidityは静的型付けの言語で、整数（uint8〜uint256）、bool、address、固定長/可変長バイト列、文字列、構造体、配列、マッピングなどの型を持ちます。「contract」「library」「interface」というJavaやC++に似た構造を持ち、コントラクトには状態変数と関数を定義します。関数にはpublic/external/internal/privateの可視性修飾子と、view/pure/payableといった状態変更に関する修飾子があり、ガス効率とセキュリティの両方を意識した設計になっています。
他の言語と異なる点は、ガスコストを常に意識した設計です。ループの反復回数、ストレージへの書き込み回数、外部呼び出しの回数などがそのままトランザクション手数料に直結するため、メモリとストレージの使い分け、外部呼び出しの最小化、構造体のパッキング順序など、低レベルな最適化が現役で重要になります。また、再入可能性、整数オーバーフロー、フロントランニングといったブロックチェーン特有の攻撃を防ぐためのチェックパターン（Checks-Effects-Interactions）も実務必須の知識です。
開発ツールチェーン
Solidity開発の代表的な統合環境は2つあります。Hardhat（JavaScript/TypeScriptベース）はNomic Foundation提供のフレームワークで、コンパイル、テスト、デプロイ、フォーキング、デバッグまでをカバーします。Foundry（Rustベース）はParadigm社が開発し、Solidity自体でテストを書ける高速さが評価されています。OpenZeppelin Contractsは監査済みのERC-20/721/1155、AccessControl、Proxyなどの実装を提供し、自前実装のリスクを大幅に下げるための事実上の標準ライブラリです。
監査・解析ツールとしては、Slither（静的解析）、Mythril（記号実行）、Echidna（ファジング）、Manticore（記号実行）などがあり、CIに組み込んで継続的に脆弱性を検出するのが現代のベストプラクティスです。本番デプロイ前にはCertiK、Trail of Bits、ConsenSys Diligenceといった監査会社による外部レビューを受けるのが業界標準となっています。Remix IDEはブラウザだけで動くSolidity開発環境で、教育やプロトタイピングの定番として広く使われ続けています。
他言語との比較と将来
Ethereumの代替言語としてはVyperがあり、Python風の文法でSolidityよりシンプルかつセキュリティに配慮された設計が特徴です。Curve FinanceなどはVyperで書かれていますが、エコシステムの厚みではSolidityが圧倒的で、ライブラリ、ドキュメント、求人すべてSolidityが優勢です。Aptos/SuiのMove、CardanoのPlutus、SolanaのRustなど、非EVMチェーン向けの言語も存在しますが、各々独立したコミュニティを形成しています。
Solidityの今後は、Yul（中間表現）を介した最適化、Stylus（Arbitrum向けRust/C++コントラクト）との共存、ZK-SNARKsとの連携、Account Abstraction（EIP-4337）のためのスマートウォレット開発など、多方面に広がっています。EVM互換チェーン（Polygon、BNB Chain、Avalanche C-Chain、Base、Optimism、Arbitrum、Lineaなど）はすべてSolidityコントラクトをそのまま動かせるため、Solidityで書いたコードは「マルチチェーン展開」の前提となるポータビリティを持ちます。EVMが業界標準である限り、Solidityは当面その主役であり続けるとみられます。
まとめ
Solidityは、Gavin WoodとChristian Reitwiessnerが2014年に基礎を築き、Ethereumエコシステムの拡大とともに成熟してきたスマートコントラクト言語です。ガスコストを意識した独特の設計と、OpenZeppelinやHardhat、Foundryなど豊富なツールチェーンに支えられ、Web3開発の入口として今後も中心的な役割を果たし続けるでしょう。
※本記事はIT用語辞典の手書きドラフトです。公開前に最新情報・出典を確認のうえ加筆修正してください。
コメント