ZircuitはSLSメカニズムを有効にし、その目的は「悪意のある取引」を隔離することです。
執筆:0xTodd
Zircuitの$ZRCの正式なTGEを利用して、このプロジェクトにおけるソーター(シーケンサー)の興味深いメカニズムについて話しましょう。
Zircuitは独自のL2を持っており、この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. 悪意の疑いがある場合、隔離プールに入れます。
5. 隔離プールの確認が問題ない場合、ソーターは引き続きそれをパッケージ化します。
または:
4. 悪意の疑いがある場合、隔離プールに入れます。
5. 隔離プールの確認で確かに悪意のある取引である場合、チェーンへのパッケージ化を拒否します。
このSLSが悪意を判断する基準は、いくつかのオープンソースライブラリを使用し、AIを使って判断させる可能性があります。
将来的には、例えば盗まれた資産が永遠に移転できない、またはL1に戻れないといった効果を実現することが期待されています。今の厳しいダークフォレストのチェーン上環境にとっては、依然として非常に意義があります。
もちろん、取引を確認する以上、誤って悪影響を与える可能性もあります。しかし、隔離プールのアルゴリズムを改善することで、そのような問題をできるだけ軽減できると理解しています。
これは両刃の剣であり、ブロックチェーンはpermissionlessを強調していますが、これはSLSと軽微に矛盾します。通常のユーザーの観点から見ると、このようなL2は確かにより安全です。
しかし、全体的に見て、わずかにpermissionlessに影響を与えるものの、安全性の向上、特に経験のないユーザーを保護するためには、やはり価値があると思います。
最後に添付:ZircuitのSLSメカニズムに関する論文の原文:https://arxiv.org/html/2405.01819v1