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