AmaruがCardanoノードのベータ版で同期障害を修正

Amaruは9月25日に、エポック境界での同期障害と、複雑なスマートコントラクトコードに関連するクラッシュを修正したベータ版をリリースした。

PRAGMAの下で開発されているAmaruは、Cardanoノードの独立実装である。このアップデートにより、運用者が現在テスト可能なリレー用ソフトウェアが強化された。

ベータ版は二つのノード障害に対処

バージョンv10.11.20260925は、有効期限切れのガバナンス提案が関連レコードを残存させてしまう事例を修正した。これらのレコードが次のエポック境界でノードの同期を停止させる可能性があった。

このリリースでは、深くネストしたUPLCのプログラムや定数が処理中にスタックオーバーフローを引き起こすことも防止する。UPLCはCardanoのスマートコントラクト実行システムの一部であり、この修正はノードがそのコードをどのように扱うかに関わるものだ。

運用者は、無効な設定、互換性のないストレージバージョン、台帳データとチェーンデータの不整合に対して、より分かりやすいエラーを受け取れるようになった。

Amaruを組み込むアプリケーションは、ノードのシャットダウンを検出し、そのコンポーネント内の障害を調査できるようになった。これらの変更により、停止やクラッシュが発生したリレーの診断が容易になる。

AmaruがCardanoのインフラにもたらすもの

AmaruはRustで書かれたオープンソースのノードクライアントである。運用者や開発者はこれを実行してCardanoのデータを追跡しリレーし、ログやメトリクス、トレースを通じて挙動を検査できる。既存のHaskellノードと並ぶ独立したコードベースを提供する。

その区別は、多数のステークプールが独立して運用されているネットワークにおいても重要だ。大半のプールが同じ実装を用いている場合、そのソフトウェアの不具合が多くのプールに同時に影響し得る。二つ目のクライアントは、信頼性が高まり採用が進むにつれて、この共有リスクへの曝露を低減できる。

両実装は、ADAの送金の検証からADAでのステーキング報酬の計算に至るまで、Cardanoのルールに合意していなければならない。AmaruはHaskellノードに対する適合性テスト、決定論的シミュレーション、プロパティベースのテストを用いて、その一致を検証している。独立したコードは、同じデータを一貫して処理できて初めてネットワークに有用となる。

現在のベータ版は最小メモリ2 GiBを掲げ、x86_64およびaarch64のシステムをサポートしている。これらは9月に導入されたハードウェア要件の緩和ではなく、既存のプロジェクト要件である。Amaruは、チェーン全体を最初から処理せずにノードを起動するのを支援するスナップショットを準備する際にMithrilも使用している。

ブロック生成に先立つリレーテスト

9月のCardano Ambassador callでは、Amaruはリレー向けベータと位置づけられた。ブロックを生成可能なアルファ版は10月または第4四半期を目標とすると示され、関連するGitHubのマイルストーンは依然としてオープンのままだ。

チームは10月6日にSingaporeで開催され、オンライン配信も行われるCardano Node Diversity Celebration Dayで進捗を議論する予定だ。同イベントでは、運用者向けの参加プログラムも紹介される。Ambassador callで示された進め方には、ステークプールの登録、運用の証跡とともにAmaruを稼働させること、バグ報告や機能貢献が含まれている。インセンティブの詳細はまだ発表されていない。

9月のリリースは、独立したRust製リレーがエポック遷移をまたいで同期を維持し、複雑なUPLC入力を処理し、障害を明確に報告できるかという、Amaruの現時点での役割をより明確にテストできるものとなっている。Cardanoのブロック生成は、依然として別の未達成のマイルストーンとして残されている。