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