Aleoのメンテナーは、ノード実装であるsnarkOSおよびプログラミング言語Leoを含む「Aleo Stack v4.6.0」のリリースを発表しました。今回のアップデートは、メインネットのローンチ以来、最も重要かつ大規模なアップグレードの一つとされています。主な変更点として、Leo言語の構文統一、インターフェースとダイナミックディスパッチの導入、オンチェーンでのSNARK検証機能などが含まれており、開発環境の簡素化とプログラムの相互運用性が強化されています。
Leo v4.0.0における構文の統一と自動最適化
今回のアップデートの中核となるLeo v4.0.0では、言語仕様が根本から見直されました。これまで開発者は、transition、function、inline、async transition、async functionといった5つの異なる関数形式から適切なものを選択する必要がありましたが、これらがすべて「fn」キーワードに統一されました。
新しい仕様では、関数がプログラムブロックの内外どちらに記述されているか、および「final」修飾子を使用しているかによって実行コンテキストが決定されます。これにより、プライベートなゼロ知識証明（ZK証明）の実行と、パブリックなオンチェーンでのファイナライゼーション（確定処理）の区別がより明確になりました。
また、コンパイラによる自動最適化機能が導入されました。1回しか呼び出されない関数は自動的にインライン化され、使用されていない関数は削除されます。開発者は手動でインライン化を選択する必要がなくなり、特定の関数をインライン化させたくない場合にのみ「@no_inline」アノテーションを使用する形となります。
インターフェースとダイナミックディスパッチによる相互運用性の向上
新たに導入されたインターフェース機能により、プログラム間の構造的な契約を定義できるようになりました。インターフェースでは、プログラムが提供すべき関数、レコード、マッピング、ストレージを宣言します。これにより、トークン規格などの標準化が可能になり、プラグイン可能なアーキテクチャの構築が容易になります。
また、ダイナミックディスパッチ（動的ディスパッチ）の導入により、コンパイル時に呼び出し先のプログラムを特定せず、実行時に解決することが可能になりました。これにより、他のプログラムを動的に呼び出す柔軟な構成が可能になります。動的な呼び出しを通じて渡されるレコードは「dyn record」として扱われ、その構造は実行時に解決されます。
さらに、プログラムを「ライブラリ」としてパッケージ化する機能も追加されました。ライブラリは、定数、構造体、関数を再利用可能な形で提供するもので、コンパイル時にインライン化されるため、オンチェーン上のフットプリント（占有領域）を持ちません。
オンチェーンSNARK検証とネットワークのアップグレード
技術的な大きな進展として、オンチェーンでのSNARK検証が可能になりました。新しいオペコードである「snark.verify」および「snark.verify.batch」を使用することで、プログラムがVaruna証明（Aleoで採用されている証明システム）をチェーン上で直接検証できるようになります。
今回のリリースに伴い、コンセンサスアップグレード「V14」が実施されます。バリデーターおよびクライアントは、指定されたブロック高までにアップグレードを完了させる必要があります。期限内にアップグレードが行われない場合、ネットワークのフォークが発生するリスクがあり、復旧には手動での対応が必要になると警告されています。
メインネット版のリリースは2026年3月30日にGitHubで公開されており、公式のロードマップに従って順次展開される予定です。
ポイント
- fnキーワードへの統一により、Leo言語の学習コストと開発時の複雑性が大幅に軽減されました。
- インターフェースとダイナミックディスパッチの導入により、異なるプログラム間の相互運用性と構成可能性（コンポーザビリティ）が向上しました。
- オンチェーンでのSNARK検証が可能になったことで、より高度なゼロ知識証明アプリケーションの構築が期待されます。
- コンセンサスアップグレードV14が含まれており、ネットワーク参加者はフォークを避けるために速やかなアップデートが求められます。
- ライブラリ機能の導入により、オンチェーンのリソースを消費せずにコードの再利用性を高めることが可能になりました。