Cardano Peras が証明書ハンドリングをプロトコルコードへ移行

Ouroboros Peras はプロトコル仕様を越えて、Cardano ノードが証明書をどのように保存し、ピアと同期し、コンセンサスデータのためにブロックスペースを確保するかを決定するコードパスへと進んでいる。Tweag はテストネット更新や暗号学的投票分析のレビューとあわせてこの作業を報告した。Peras は引き続き後の Dijkstra フェーズでの実装が予定されており、メインネット有効化日時は発表されていない。

Peras の証明書保存がコンセンサスコードへ移行

ImmutablePerasCertDB の初期実装が Ouroboros Consensus リポジトリのプルリクエスト 2293 を通じて提出された。このデータベースは Peras 証明書の永続的な保管を提供するよう設計されており、現在は内部レビュー中である。

Peras は Ouroboros Praos をステークベースの投票とブロック認証で拡張する。その証明書は、参加ステークがブロックを承認したという証拠を集約し、ノードが確定性を評価する際の追加情報を提供する。

有効化されれば、Peras により取引所、ブリッジ、ウォレットは、より少ないブロック数で ADA 取引の確定性を強められる可能性がある。これらのサービスは、ユーザー向けの独立した Peras 証明書機能として扱うのではなく、Cardano ノードが公開する確定性保証に依拠することになる。

ObjectDiffusion の実装は、クライアントのグレースフルな終了に対応し、証明書同期が追いついたことを検出する手法も獲得した。この状態は、Cardano の governor ステートマシンがピア接続やネットワーク同期を調整する際に利用できる。

ネットワーク設計チームは別途、少なくとも一つの正直なピアに接続され、標準的なチェーン品質とネットワークの仮定が成り立つ場合、チェーン選択に関連する証明書が Peras ラウンドの昇順でノードに到達することを証明した。この順序性の結果により、ObjectDiffusion を通じた過去および最近の証明書の配布計画が単純化される。

Cardano Ledger がガバナンス可能な Peras パラメータを検証

Ledger Integration チームは、差し迫るハードフォークがコードフリーズに到達する前に必要となる残りの Peras コンポーネントに取り組んでいる。作業には、将来 Cardano ガバナンスを通じて変更可能となり得る Peras のプロトコルパラメータの定義が含まれる。

プロトタイプは Cardano Ledger リポジトリのプルリクエスト 6067 を通じて提出された。パラメータ一覧の確定には Cardano Constitution の更新も必要となり、どの値を変更可能とするか、またその適用限度をガバナンスの枠組みで明示することになる。

この Ledger の作業は、将来の Peras 展開に向けて Cardano を準備するものだ。有効化は引き続き後の Dijkstra フェーズに割り当てられており、個別のテスト、ガバナンス承認、プロトコルバージョンの変更が必要となる。

開発者はまた、ブロック生成前に証明書サイズを見積もる初期手法を完成させた。Peras 証明書はブロック本体の容量を ADA およびネイティブ資産トランザクションと競合するため、ブロック生成ノードはトランザクション選択前に十分な空き容量を確保しなければならない。

関連するプルリクエストでは、ブロックに Peras 証明書が含まれる場合に選択されるトランザクション数を削減する。この調整により、必要なコンセンサスデータを追加する前にノードがブロックを埋め尽くしてしまう事態を防ぐ。

Peras テストネットが統合ノードテストに向けて準備

開発チームは、レビューでの指摘に対応したうえで、Peras 67 と Peras 68 として追跡されていた変更をマージした。さらに Peras 69 と Peras 70 の二つのプルリクエストが、strictness アノテーションの追加と、ナイトリーおよびテストネットの実行を阻害していたクエリ不具合の修正を行っている。

テストネット準備には、改良された初期化スクリプト、ログとメトリクスの集中収集、ベースブランチを最新の Peras コードへ更新する作業が含まれる。これらの変更は、コンセンサス、ネットワーキング、Ledger の各コンポーネントが一体で動作する際に、不具合の追跡を容易にすることを目的としている。

Tweag はまた、Input Output の Applied Cryptography チームの研究者が作成した Peras 投票分析のバージョン 1.1 をレビューした。レビューで提起された質問は、将来のメインネット実装に必要となる暗号コンポーネントの提供計画を定義するために活用されている。

計画中のテストネット更新では、これまで分離していた四つの機能、すなわち永続的な証明書保管、証明書同期完了の検出、証明書対応のブロック生成、Peras パラメータへの Ledger アクセスを統合する。この運用状態に到達するには、未了の内部レビューを完了し、テストネットブランチを最新の実装へ進めることが前提となる。