Cardano LedgerがLeiosのエンドーサーブロック規則を追加

Cardanoのレジャー開発チームは、Ouroboros Leiosのエンドーサーブロックを処理するための規則をマージした。Pull request #6215「Add EB and EBLEDGERS」は10月30日にcardano-ledgerリポジトリのmasterブランチにマージされた。

この更新は、トランザクションスループットの向上を目的とした提案中のプロトコル拡張であるLeiosに向けてCardanoのレジャーを準備する作業の一環だ。Leiosは現在も開発中で、Cardano mainnetでは有効化されていない。

新しいCardano Ledgerの規則はどのように機能するか

レジャーはブロックとトランザクションの有効性を確認し、それらがネットワークの記録状態をどのように変化させるかを決定する。新たにマージされた規則は予定されているDijkstra期に適用され、レジャーがエンドーサーブロックとそのトランザクションをどのように処理するかを定める。

第一の規則EBは、適用中のブロックのハッシュがレジャー状態に記録された最新のエンドーサーブロックのアナウンスと一致するかを確認する。また、アナウンスが存在しない場合はそのブロックを拒否する。

第二の規則EBLEDGERSは、そのブロックのトランザクションを処理する。初期形では、トランザクション処理に用いられている既存のLEDGERS規則に従う。マージされたプルリクエストには新規則のテストも含まれている。

Leiosの証明書とステークプール投票

Leiosは既存のPraosチェーンと並行してエンドーサーブロックを導入する。この設計により、これらのブロックは追加のトランザクションを参照でき、当該トランザクションがレジャーに取り込まれる前にステークプール委員会が投票を行う。

現行のCIP-0164提案では、委員会はアクティブステークが最大のプールで構成され、エポックごとに選定される。投票はステーク量で重み付けされ、BLS署名で集約される。提案では、証明書の閾値として総アクティブステークの75%が実用的なパラメータ値として示されている。

レジャーチームは10月27日に、証明書とその時点性を検証するための別個のLEIOSCERT規則をマージした。10月29日には、コンセンサスレイヤー向けの証明書検証インターフェースもマージしている。関連する開発タスクでは、検証に必要な情報は得られているがエンドーサーブロック自体はまだ受信していない場合に証明書を確認する方法が記述されている。

[NEWSBREAK]

レジャーの変更からDijkstraハードフォークへ

新しいレジャー規則は、cardano-node 11.2.0のプレリリース後にマージされた。このバージョンにはDijkstraの開発機能とLeiosに向けた下地が含まれているが、Leiosの機能はデフォルトでは無効のままだ。

IntersectのHard Fork Working Groupの議事録によれば、node 11.3にはlinear Leiosが含まれる予定だ。同グループは、テストで阻害要因が見つからないことを前提に、ハードフォークを越えられるversion 12.0へ昇格し得る最初の候補だと述べている。

Input Outputが公表したロールアウト計画には、Dijkstraハードフォーク、ステークプール運営者によるBLS鍵登録、メインネットの負荷演習、そしてその後のプロトコルパラメータ更新によるキャパシティ拡大が含まれる。初期目標は、現在のPraosにおける毎秒トランザクション容量4.5キロバイトという上限のおよそ三倍から五倍だ。以降の更新では、テストとガバナンスの判断に従い、その上限のおよそ十倍から十五倍を目指す。