Zircuitのソーターメカニズムを概観する
TechFlow厳選深潮セレクト
Zircuitのソーターメカニズムを概観する
ZircuitはSLSメカニズムを有効化しており、その目的は「悪意のあるトランザクション」を隔離することにある。
Web3業界の深掘り報道に専念し潮流を洞察執筆：0xTodd
Zircuitの$ZRCが正式にTGEを迎えたことを機に、このプロジェクトにおけるソケネーサ（sequencer）に関する興味深い仕組みについて紹介します。
Zircuitは独自のL2を保有しており、その特徴は「ソケネーターレベルセキュリティ（SLS: Sequencer Level Security）」と呼ばれるソリューションを構築した点にあります。
一般的に、現在のL2における取引の入出力はすべてプロジェクト側の公式ソケネーサを通じて行われます。もちろん、ZK証明やチャレンジ証明の存在により、ソケネーサによる悪意ある行為に対してそれほど心配する必要はありません。
概して、ソケネーサは中立的な立場にあり、常に公正にすべての取引を実行するとされています。
しかし、たとえソケネーサが中立的であったとしても、それを「善良な勢力」に押し上げることはできないでしょうか？
そこでZircuitはSLSという仕組みを採用しました。その目的は「悪意ある取引」を隔離することにあります。
通常、L2の取引はどのようにしてブロックチェーンに記録されるのでしょうか？ とてもシンプルな4ステップです：
1. ユーザーが取引を発信し、ネットワークにブロードキャストする
2. 取引がメモリプール（mempool）で承認待ちになる
3. ソケネーサが中立的な立場として、取引をブロックにパッケージングする
4. 取引がブロックチェーン上に記録される
しかし、SLSメカニズムに基づくと、このプロセスは5ステップに変わります：
1. ユーザーが取引を発信し、ネットワークにブロードキャストする
2. 取引がメモリプール（mempool）で承認待ちになる
3. ソケネーサが善良な勢力として、ツールを用いて取引に悪意がないかをチェックする
4. 悪意がなければ、ブロックにパッケージングする
5. 取引がブロックチェーン上に記録される
では、悪意のある取引の疑いがある場合はどうなるでしょうか？ ステップ4から流れが変化します：
4. 悪意の疑いがある場合、隔離プール（isolation pool）に入る
5. 隔離プールで再確認を行い、問題がなければ、ソケネーサが引き続きパッケージングを行う
または：
4. 悪意の疑いがある場合、隔離プールに入る
5. 隔離プールでの再確認により、実際に悪意ある取引と判明した場合、そのパッケージングおよびオンチェーン記録を拒否する
SLSが取引の悪意を判定する基準としては、いくつかのオープンソースライブラリを採用し、AIが補助的に判断を行う可能性があります。
将来、このような効果の実現が期待されます。例えば、盗難された資産は永遠に移転できず、L1へ戻すことも不可能になるかもしれません。現在のように厳しい「ダークフォレスト」状態のオンチェーン環境において、これは非常に意義深いことです。
もちろん、取引をチェックする以上、誤検知のリスクは避けられません。しかし、隔離プールのアルゴリズムを改善することで、こうした問題はできる限り低減できると考えられます。
これはまさに両刃の剣です。ブロックチェーンはpermissionless（誰でも参加可能）であることを重視していますが、SLSはこの原則に若干の違反を生じさせるかもしれません。ただ一般ユーザーの視点から見れば、このようなL2は確かに安全性が高くなります。
とはいえ、permissionlessへの影響はわずかであり、一方で安全性の向上、特に初心者ユーザーの保護という観点からは、十分に価値があると私は考えます。
最後に、ZircuitのSLSメカニズムに関する論文原文を添付します：https://arxiv.org/html/2405.01819v1
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
@0x_Todd
