TTF:ロールアップ案件が成立するまでにどのくらいの時間がかかりますか?

原文标题:《A tweet on rollup time-to-finality (TTF)》

脚本:@larry0x

编译:Frank,Foresight News

まず、TTFとは何か、なぜ重要なのか?

ファイナリティとは、トランザクションのキャンセル、復元、または変更ができない状態、つまり、対応するトランザクションの問題が解決されたと見なされる状態です。

TTF(Time to Finality)は、ブロードキャストの開始から取引シグナルが最終状態に達するのにかかる時間であり、以下はいくつかの選択されたチェーンのTTFです。

! [TTF:ロールアップ取引が成立するまでにどのくらいの時間がかかりますか? (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd)

TTFは、さまざまな用途を持つ重要なパラメータです。

*暗号通貨の支払いを受け入れる加盟店の場合、支払いがキャンセルされないことがわかるように、商品またはサービスを提供する前にTTFを待ちたいと思います。

• クロスチェーンブリッジングプロトコルで、送信側チェーンがパケットを送信する場合、TTFを待ってから受信側チェーンに中継したい。
• …

次に、ロールアップ

ロールアップブロックのライフサイクルには、次の 2 つのフェーズがあります。

(1)そのデータはデータ可用性(DA)レイヤーに公開されます。

(2)決済層で有効であることを証明する。

TTF は Rollup チェーンのフルノードとライトノードで異なることに注意してください。

※前者については、(1)でブロックデータが公開されるとすぐに自分で妥当性を検証できるため、(2)の解決を待つ必要はありません。 *後者の場合、決済プロセスを待つ必要があります。

決済レイヤーの決済証明フェーズでは、使用するメカニズムに応じて、2 種類のロールアップがあります。

• 有効性ロールアップ (別名: ゼロ知識ロールアップ、zkRU)。 シーケンサーがブロックを生成した後、証明者(通常はシーケンサーと同一人物)は、何らかの暗号マジックによってブロックが有効であることを証明する有効性の証明を提出します。
• オプティミスティック ロールアップ(opRU)。 シーケンサーはブロックを生成しますが、それが有効であることを証明しません。 実際に無効な場合、誰でも(証明者)不正の証拠を提出することで異議を唱えることができ、その結果、ブロックは拒否されます。 異議申し立て期間と呼ばれる一定期間、ブロックが無効であることを誰も証明しない場合、そのブロックは有効と見なされます。

注: zkRU という用語は、これらの証明システムの多くが実際にはゼロ知識手法ではないため、“Validity Rollup” の方がより正確な用語であるため、私は好きではありません。 ただ、「zkRU」の使い方があまりにも多いので、私はそれを使っています。

また、知っておくべき重要な点もいくつかあります。

• 実際には、ブロックデータが生成された直後にDA層に公開されるのは通常ありません。 シーケンサーは通常、少し待ってから、いくつかのブロックをまとめて公開します(おそらくガス代を節約するため)。
• 妥当性の証明もまた、通常、これらの証明の生成に計算量と時間のかかる生成のために、しばしば遅れる。 *有効性と詐欺の証明は、オンチェーンで拡散されるだけではありません。 例えば、誰かがオフチェーンの有効性の証明を送ってきた場合、(2)オンチェーンの決済プロセスを待たずに、ブロックが有効であることを確認できます。

最後に、ロールアップ取引が最終結果に到達するまでにかかる時間について話し合う準備が整いました。

フルノードの場合、プロセスは単純で、ブロック(1)が公開され、DAレイヤーで完了するとすぐにファイナライズされます。

以下を示すと、

• T1: ブロックが DA レイヤーでパブリッシュされる頻度 (例: シーケンサーが 10 分ごとに DA レイヤーでバッチをパブリッシュする場合、T1 = 10 分) ※T2:DA層のTTF

次に、ロールアップのTTF = T1 + T2。

ライトノードの場合、(1)と(2)が完了するのを待つ必要があります。 opRUの場合、(2)の時間はチャレンジ期間であり、zkRUの場合、証明者が妥当性証明を生成して公開した後の時間です。

以下を示すと、

• T3:opRUの場合、チャレンジ期間。
• T4:zkRUの場合、決済レイヤーで有効性の証明が発行された時刻。
• T5:セトリングレイヤーのTTF。

次に、ロールアップの TTF があります。

• opRU の場合: max (T1+T2, T3);
• zkRU の場合: max(T1+T2,T4+T5);

これらの方程式の「最大値」は、DAと決済プロセスが完了するのを待つ必要があることを意味します(ほとんどの場合、決済されます)。

さて、ここで問題があります。 証明はオフチェーンでも伝播できると言ったことを思い出してください。 zkRUの場合、オフチェーンで有効性の証明を受け取った場合、オンチェーンの決済プロセスを待たずに取引が完了したとすぐに言うことができます。

opRUについては何とも言えません。 チャレンジ期間(T3)は、決済レイヤーが不正の証拠を確認する可能性があるという懸念があるため、長くなる傾向があります。 ですから、それは本当にあなたのリスク許容度に依存します。 決済レイヤーがトランザクションをレビューしないことが確実な場合は、より短い時間を待つことを選択できます。 そうしないと、待機時間が長くなりますが、T3 より長く待つ必要はありません。

まとめてみましょう。

! [TTF:ロールアップ取引が成立するまでにどのくらいの時間がかかりますか? (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d)

ここでは、ArbitrumとzkSyncの2つの実例を紹介します。 DAと決済にイーサリアムを使用しているため、T2 = T5 = 13分です。

• Arbitrumのシーケンサーは、約T1 = 6分ごとにデータを公開し、Arbitrumのチャレンジ期間はT3 = 1週間です。
• zkSyncのシーケンサーは、約T1 = 3分ごとにデータを公開し、定期的に公開されているのではなく、平均してT4 = 1時間ごとに公開されていることを証明しています。

また、DAにCelestiaを使用する架空のzkRUも考えられますが、これは最終結果に近いと思います。

• T1 = 0 (Celestiaは安価であるため、ブロックが生成されるとすぐに公開されると仮定します)。
• T2 = 12秒;
• T4 = プルーフ生成時間、プルーフシステムによる。

! [TTF:ロールアップ取引が成立するまでにどのくらいの時間がかかりますか? (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91)

最後に、それが何を意味するのかを簡単に説明します

ご存知のように、私はCosmosのファンであり、IBCはライトノードクライアントを使用してパケットを検証するため、上の画像の「ライトノードの場合」列に示すように、TTFを待つ必要があります。

opRUの場合、これは最大1週間(イーサリアムの検閲耐性にあまり自信がない場合)になる可能性があり、実用的な目的には長すぎます。 そのため、opRUでは、AxelarやWormholeなど、フルノードを実行する多数のオペレーターで構成されるフルノードブリッジを使用する必要があります。

欠点は、この一連のキャリアを信頼する必要があることですが、これは送信者チェーンほど経済的に安全ではない可能性があるため、opRUに弱気です。

通常のzkRUの場合、DAがファイナライズされるのを待つだけで(イーサリアムでは16分)+プルーフ生成時間、イーサリアムでプルーフがリリースされるのを待つ必要はありません。

これは、CelestiaがRollupのクロスチェーン体験を向上させる方法の1つでもあると思います。 イーサリアムでは、16分ではなく、12秒+プルーフ生成時間を待つだけです。 ライトノードクライアントは、QGBを使用して、Celestiaバリデーター(現在はBlobstreamに名前が変更されていると思います)またはDAサンプリングからの証明を確認できます。