撰文: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