Cartesiのシーケンサー(sequencer)を初めて詳しく解説!その仕組みや重要性、動作方法を掘り下げてみましょう。🧵↓
https://fxtwitter.com/cartesiproject/status/2109993133866119399

1/ インタラクティブなアプリケーションにはスピードが求められますが、イーサリアムの決済には時間がかかります。クリックするたびに、L1(レイヤー1)の最終確定まで数分も待ちたい人はいません。そこで活躍するのがシーケンサーです。

2/ シーケンサーは、ユーザーが署名した操作を受け取り、すぐに確認します(これを「ソフト確認」と呼びます)。

バックグラウンドでは、それらの操作をまとめてL1に送信します。ユーザーはほぼ即時に応答を得られ、イーサリアムは引き続き「信頼できる唯一の情報源」(source of truth)として権威を保ちます。

シーケンサーの詳細はこちら:https://github.com/cartesi/sequencer

3/ 技術的にはどのように動くのでしょうか?ユーザー操作の各グループ(「フレーム」/frameと呼ばれます)は、安全なL1ブロックを参照します。オンチェーンのスケジューラーは、そのブロックまでのすべての入金を受け取り、同じ操作を同じ順序で実行します。

シーケンサーとRollupは同じルールに従うため、最終的に同じ状態に到達します。

4/ システムは単一のシーケンサーを採用していますが、資金を盗んだり、状態を偽造したりすることはできません。Rollupがすべてを検証し、詐欺証明(fraud proofs)によって結果を強制します。

入金の処理はシーケンサーを完全に迂回します。シーケンサーが検閲を試みても、遅らせられるのは最大で数時間であり、入金を完全に阻止することは決してできません。

5/ Cartesiシーケンサーは現在もAlpha段階ですが、急速に進歩しています。

L1の中断、クラッシュ、再起動、長時間の停止、悪意のあるメモリプール(mempool)などに対応できるよう設計されています。起動するたびにデータベースとイーサリアムを確認し、修復が必要な箇所を特定します。

さらに、独立した「ウォッチドッグ」(watchdog)プログラムが、シーケンサーの状態を二重にチェックします。

6/ 最新バージョンのv0.1.0-alpha.10には、シーケンサー、マシンイメージ(machine images)、ウォッチドッグプログラムが含まれています。

新機能には、公開手数料見積もり、リプレイに対応したアプリケーション履歴、C言語アプリケーションのバインディング、ウォッチドッグプログラムの書き直し、Cartesi Machine v0.21.0が含まれます。注意:このバージョンには破壊的変更(breaking changes)が含まれています。まずこちらの説明をお読みください:https://github.com/cartesi/sequencer/releases/tag/v0.1.0-alpha.10

リポスト:https://x.com/cartesiproject/status/2109993133866119399