コンパイラ

CryptoBriefing の報道によると、TheDAO Security Fund の ETHSecurity Initiatives の第2回助成金が開始され、60万ドルが Vyper コンパイラの形式的検証に割り当てられました。Vyper は Curve、Yearn、Lido などのプロトコルのスマートコントラクト言語です。この基金は 2016 年の DAO イベントで未請求の ETH を質権資金に変換したもので、イーサリアム財団が公に支持を表明しています。

Vitalik が X プラットフォームで投稿し、新しい Solidity コンパイラがリリースされたと述べています。新しいバージョンは、最大 10 分間の Solidity コンパイルプロセスを待ちたくないため、Zig を使用して oksolc を構築しました。生成されるバイトコードを一貫して保持しながら、一部の契約のコンパイル速度は 5 倍以上向上しました。ビルド時間は 10 分から 2 分に短縮され、大規模プロジェクトの増分コンパイル時間は 700 秒から 99 秒に減少しました。

ChainCatcher メッセージ、Paradigm が REVM コンパイラ Revmc を発表。Paradigm は、最近 Reth の高性能ロードマップを発表し、EVM ブロックチェーンの性能指標として「毎秒 Gas 量」のより広範な使用を呼びかけ、ブロックチェーンを毎秒 1 GB 以上に拡張する計画を詳述しました。これはイーサリアムの現状よりも 1000 倍の向上です。Paradigm はオープンソースの Revmc を提供します。これは EVM バイトコードをネイティブコードに変換するコンパイラで、さまざまな実際の EVM ベンチマークテストで 1.85 倍から 19 倍の改善を示しました。また、Reth に Revmc を統合し、チェーンの同期に成功しました。次に、L2 用に OP Reth に Revmc を統合し、その改善が計算負荷の高いワークロードで効果を発揮します。

ChainCatcher のメッセージ、Starknet が新しいバージョン Cairo v2.5.0 をリリースしました。このバージョンは高級コンパイラ（Cairo から Sierra への変更）のみを含んでいるため、Starknet テストネットとメインネットにすぐにデプロイできます。このバージョンは、Sierra のさまざまな機能を導入し、マッチング式に存在する多くの制限を排除し、より使いやすいループ構文を導入し、pub 概念を追加するなどの改善が行われています。

ChainCatcher のメッセージ、Aptos Labs はスマートコントラクト言語 Move の新しいコンパイラ Aptos Move Compiler を開発していることを発表しました。これにより、元の Move 言語設計の空白を埋める新しい言語機能が追加され、安全性には影響を与えません。今後登場する重要な機能には、レシーバースタイルの関数呼び出し、一般的な高階関数のサポート、開発者がカスタム機能を定義できること、リソースアクセス制御、グローバル参照の返却、列挙型（Enum）への完全なサポートの追加などがあります。

ChainCatcher のメッセージ、EthStorage は Hyper Oracle と Delphinus Lab と共同で zkGo コンパイラを発表しました。Go の最新バージョン 1.21.0 を基に、zkGo は通常の Go コードを ZK プロトコル互換の Wasm コードにコンパイルする初のツールです。生成された Wasm コードの実行は、Delphinus Lab の zkWasm ツールによってゼロ知識証明とオンチェーン検証が可能です。zkGo の重要なアプリケーションとして、zkGo はすでに Optimism の Fraud Proof の L2 Geth（別名 op-program-client）を成功裏にコンパイルし、ZK プロトコル互換の Wasm コードを生成しました。現在、Wasm コードは zkWasm の試証明（dry run）を通過し、将来の ZK Fraud Proof 技術の実現に向けて重要な一歩を踏み出しました。

ChainCatcher のメッセージによると、Curve メカニズムを採用した BNB Chain エコシステム DEX Ellipsis Finance がツイートし、少数の旧版 Vyper コンパイラを使用している BNB ステーブルプールが攻撃を受けており、現在状況を評価中です。以前の情報によると、Curve Finance は Vyper の再帰ロックの故障により、ステーブルコインプール alETH/msETH/pETH が攻撃を受けたと発表しました。セキュリティ機関の監視によると、Curve Finance の攻撃事件は 5200 万ドルの損失を引き起こしています。

ChainCatcher のメッセージ、Solana Labs が Solidity 言語でスマートコントラクトを作成するためのコンパイラ Solang を発表しました。その特徴には、Ethereum Solidity 0.8 との互換性、他の Solana スマートコントラクトを呼び出す能力、Solana SPL トークンのサポートなどが含まれています。（出典リンク）

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Solidity が Solidity コンパイラ 0.8.20 バージョンをリリースしました。最新バージョンには、via-IR パイプラインに対する一連の改善が含まれており、契約 ABI に公開されたイベントリストが改善され、上海ハードフォークアップグレードをサポートしています。このコンパイラはデフォルトのターゲット EVM バージョンを Shanghai バージョンに切り替えます。（ソースリンク）

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Solidity が Solidity コンパイラ 0.8.19 バージョンをリリースしました。最新バージョンには一連の改善が含まれており、ユーザー定義の値型定義演算子が導入され、実行時バイトコード内のデッドコードを防止します。@sifislag が報告した内部ライブラリ関数およびモジュール呼び出しによる自由関数の問題は、このバージョンで修正されました。チームは、0.8.0 未満の Solidity バージョンを使用しているユーザーに対してアップグレードを推奨しています。（出典リンク）

ChainCatcher のメッセージ、イーサリアムモジュラー実行層 Fuel 開発者 Fuel Labs は、2023 年に実現する Sway 言語のアップグレード内容を発表しました。これには、バイトコードサイズに関するコンパイラの最適化、Sway がより多くのバックエンドをサポートすること（EVM バックエンドはすでに開発中）、抽象化がより経済的になること、より多くのアプリケーションが Solidity/Vyper から Sway に移行すること、コンパイラレベルの再入分析の改善などが含まれます。（出典リンク）

ChainCatcher のメッセージ、セキュリティ会社 Dedaub チームは、イーサリアムプログラミング言語 Solidity コンパイラに脆弱性が存在することを発見しました。この脆弱性により、デプロイされたコントラクトのバイトコードにデッドコード（dead code）が含まれ、スマートコントラクトのデプロイと操作時にガス費用が大幅に増加します。Dedaub は、チームがオープンソースのバイナリデバイダー Gigahorse を評価している際にこのエラーを発見したと述べています。ライブラリメソッドがコントラクトのコンストラクタによってのみ呼び出される場合、この脆弱性が発生します。Gigahorse の分析を通じて、Dedaub は少なくとも 35% のコントラクトにデッドコードが存在し、そのうち 33% が実行されるバイトコードの大部分を占めていることを発見しました。これらの結果は NFT プロキシが主導していますが、他のプロキシコントラクトにも同様の問題があります。大規模なコントラクトではこの問題は無視される可能性がありますが、ほとんどのデプロイされたコントラクトは小規模なものです。Dedaub チームは昨年 11 月にこのエラーを発見し、Solidity チームにこの問題の確認を促しました。（ソースリンク）

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Solidity が最新バージョンの Solidity コンパイラ Solidity 0.8.18 をリリースしました。新バージョンの機能には、CBOR メタデータの無効化、パリスハードフォークのサポート、selfdestruct の廃止、Yul から EVM バイトコードの生成が含まれています。チームはすべての Solidity 開発者に対し、これらの改善と最適化を活用するためにバージョン 0.8.18 へのアップグレードを推奨しています。（出典リンク）

ChainCatcher のメッセージ、StarkWare はそのプログラミング言語 Cairo 1.0 をオープンソース化することを発表しました。これは StarkNet スタックのオープンソース化の第一歩です。StarkNet はまだ Cairo 1.0 をサポートしておらず、来年の第一四半期にサポートを行う予定です。Cairo 1.0 コンパイラの最初のバージョンは来年の第一四半期初めにリリースされる予定で、Cairo 1.0 における StarkNet のすべての既存機能をサポートすることに重点を置いており、Cairo 1.0 コンパイラの機能も拡張しています。（出典リンク）