撰文：0xTodd

趁着 Zircuit 的 $ZRC 正式 TGE，聊一個這個項目裏關於排序器（sequencer）的有趣機制。

Zircuit 擁有自己的 L2，這個 L2 的特點就在於，它創造了一種名爲「序列器級別安全性 /SLS（Sequencer Level Security）」的解決方案。

我們都知道，目前 L2 的交易的進出口都是通過項目方的官方排序器。當然，由於 ZK/ 挑戰證明的存在，大體上我們也並不擔心排序器作惡。

總體來說，排序器是一箇中立陣營角色，它總是剛正不阿地執行每一筆交易。

那麼，儘管排序器是中立，那麼我們是否可以努努力，讓它加入善良陣營呢？

於是，Zircuit 啓用了這個 SLS 機制，它的目的是用來隔離「惡意交易」。

正常來說，一筆 L2 交易是如何上鍊呢？很簡單的四步走：

1. 用戶發起交易並廣播

2. 交易到內存池（mempool）等待

3. 排序器作爲中立陣營，幫它打包到區塊裏

4. 交易上鍊

但是基於 SLS 機制，這個步驟變爲了五步：

1. 用戶發起交易並廣播

2. 交易到內存池（mempool）等待

3. 排序器作爲善良陣營，用一些工具檢查交易是否有惡意

4. 如果沒有惡意，幫它打包到區塊裏

5. 交易上鍊

但是如果有疑似惡意交易呢？從步驟四開始變化：

4. 如果疑似惡意，進入隔離池

5. 隔離池複覈無誤，排序器繼續幫它打包

或是：

4. 如果疑似惡意，進入隔離池

5. 隔離池複覈發現確實爲惡意交易，那麼就拒絕爲它打包上鍊

這個 SLS 檢查是否惡意的標準，可能會採用一些開源的庫，並讓 AI 輔助來判斷。

未來有希望實現一些效果，例如：比如被盜的資產，可能永遠無法轉移或者跨回 L1。對於現在惡劣的黑暗森林鏈上環境來說，還是很有意義的。

當然，既然是檢查交易，免不了可能有些誤傷。但是，我理解通過改善隔離池的算法，其實它可以儘可能地降低這樣的問題。

這個是一把雙刃劍，區塊鏈強調 permissionless，這個和 SLS 有輕微的違背。從正常用戶角度來說，這樣的 L2 確實要更安全一些。

不過總體而言，我覺得儘管小幅影響 permissionless，但是換來安全性的提升，尤其是在保護沒有經驗的用戶層面，還是比較值得的。

結尾附上：Zircuit 的 SLS 機制論文原文：https://arxiv.org/html/2405.01819v1