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
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
