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