原子收錄(atomic inclusion)不等於原子執行(atomic execution),這一句話決定了共享排序器(shared sequencer)這條路在 2026 年走到哪裡。08-29 把「共享排序器、based rollup 與同步組合性」列為未走的路,昨天的結論是「信任只是換了形狀」。今天走那條路,答案比預期難聽:排序權集中到同一處,只保證「兩筆交易一起被寫進同一個高度」,不保證「兩筆交易一起成功」;而就算做到一起成功,套利者也未必想要——有論文證明原子性在某些參數下反而虧錢。這篇算清楚排序權歸屬的三種模型、原子性的兩層落差、預確認(preconfirmation)的承諾與罰沒,以及這個賽道 2026 年實際死了誰、活了誰。
📖 學
Rollup 把執行搬到鏈下、資料與證明放回 L1,安全性(誰能偽造狀態)有數學把關;但排序權(誰決定交易的先後與是否收錄)從來沒被證明系統管到。所以 L2BEAT 的成熟度框架裡,Arbitrum One、OP Mainnet、Base 在 2026 年 1 月都拿到 Stage 1(無需許可的詐欺證明上主網),卻沒有一條因此擁有去中心化排序器;截至 2026 年 4 月,Arbitrum、Base、OP Mainnet、zkSync Era、Linea、Scroll 的排序仍由單一實體或單一組織的叢集執行。Stage 1 講的是「錢出不去時你能不能自救」,不是「你的交易會不會被插隊或延後」——這兩件事在行銷語言裡常被混成一句「已經去中心化」。
排序權的三種歸屬
排序權可以放在三個地方,信任假設完全不同:
| 模型 | 排序權在誰手上 | 使用者得到的保證 | 失效條件 |
|---|---|---|---|
| 自營排序器(單一 sequencer) | rollup 團隊自己 | 快(數百毫秒)、便宜;軟性承諾,沒有罰則 | 團隊當機 → 全鏈停擺;可插單、可審查;只能靠 L1 的 force inclusion 逃生,通常要等數小時到一天 |
| 共享排序器網路(Espresso、Radius 這類) | 一組外部驗證人組成的 BFT 網路 | 跨 rollup 的同一批次收錄、秒級 BFT 確認 | 網路成為跨域 MEV 的單一集中市場;rollup 得分潤;確認是網路自己的最終性,不是 L1 的 |
| based rollup(排序外包給 L1) | 以太坊的提議者/建構者管線 | 活性與抗審查直接繼承 L1;不需要新的信任集合 | 延遲被 L1 出塊節奏綁死;要快得靠提議者自願 opt-in 預確認;放棄排序收入與自訂排序規則 |
重點在最後一欄:共享排序器和 based rollup 都不是「消除中間人」,而是換一個中間人、換一組失效條件。based rollup 甚至是刻意把最珍貴的排序權交出去,換取不必自己維護一套去中心化共識。
落差一:原子收錄 ≠ 原子執行
共享排序器最常見的賣點是「跨 rollup 原子性」,實際給的是原子收錄:同一個排序器可以保證 A 交易進 Rollup 1 的第 N 批、B 交易進 Rollup 2 的第 M 批,兩者要嘛都排、要嘛都不排。但 rollup 的執行各自獨立跑。轉帳、提款這類「不會失敗」(infallible)的操作,原子收錄幾乎等於原子執行;DeFi 裡最常見的「可能失敗」(fallible)操作——swap 撞到滑價上限、健康因子不足、狀態被別人先改掉——單邊 revert 是常態。一邊成功一邊失敗,組合性就沒了,而且你已經在成功那邊留下一個裸露部位。
Espresso 自己的研究文件講得很清楚:共享排序帶來的是原子收錄,完整的原子組合性需要原子執行。而 Espresso 官方 FAQ 目前的說法是,它並未把共享排序當成產品提供,Espresso Network 也還不支援足以實現整合 rollup 之間同步組合性的複雜跨鏈建構(FAQ 未標日期,以我查到的當前版本為準,已標存疑)。市場上那些「共享排序器帶來同步組合性」的架構圖,超前於任何實際出貨的東西。
真正的原子執行需要一層跨鏈協調協定。2026 年 7 月的 arXiv 2607.05387(CATs)用排序器、交易處理器、協調者、確認層四個角色,配上超時與依賴深度上限(dependency-depth bound)來換活性,避免一筆卡住的跨鏈交易把後面所有相依交易拖死。它的實驗結論很誠實:跨鏈交易只佔流量一小部分時成功率高,而 CAT 生命週期越長,成功率上升、相依交易延遲也跟著上升。原子執行不是「加一個共享排序器就有」,代價是其他人的延遲。
落差二:原子執行也不保證划算
這裡最反直覺。arXiv 2410.11552(Silva 與 Livshits,標題直白:《Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers》)建模算兩個恆定乘積做市池(CPMM)之間的套利在原子執行下的利潤,結論是從非原子切到原子執行不一定提升利潤,某些情境下反而虧損;划不划算取決於兩條 rollup 上各自 swap 的失敗機率,以及外部價格與池價的相對差距。
為什麼?用簡化算式理解機制(數字是我自己設的,非論文原值):兩腿成功機率各 0.9。非原子時,0.81 兩腿都成、0.18 只成一腿(單邊曝險)、0.01 都沒成。原子時只有兩種結果:0.81 都成、0.19 什麼都沒發生。原子性做的事就是把「單邊成交」整個刪掉。但單邊成交不必然是壞事:外部價差夠大時,只在一條鏈吃到便宜貨、之後去別處平掉,對套利者是正期望值的;原子性封了這條退路,還額外收一筆協調成本。所以「原子性是套利者的恩惠」要更正——它是風險偏好的替換,不是無條件的效率提升。這也解釋了共享排序器為何賣不動:它主打的價值,對最該買單的搜尋者與 rollup 並不必然是正的。
預確認:把「軟承諾」變成「可罰沒的承諾」
based rollup 的體驗問題是延遲。以太坊 12 秒一個 slot,等下一個 L1 區塊才知道有沒有被收錄,平均 6 秒、最壞 12 秒,而「真正不會被重組」還要再等約兩個 epoch(≈12.8 分鐘);中心化排序器給的是幾百毫秒。這個差距靠預確認填:L1 提議者事先承諾「我這個 slot 會把你這筆交易照這個位置放進去」,承諾附上可被罰沒的抵押品。based rollup 因此可喊出約 100 毫秒等級的預確認延遲;Taiko 的 based preconfirmation 文件把目標訂在 2 秒級出塊、約 20–30 倍加速,並宣稱生產環境已達次秒級預確認。
承諾要能被強制執行,需要一個註冊與罰沒的共同介面。Fabric(eth-fabric)推的 URC(Universal Registry Contract) 就是這個角色:任何人可註冊提議者承諾,任何人可罰沒違約者;設計原則是無治理、不可升級、以 ETH 作抵押、不依賴外部合約。它的資料結構讓獨立質押者與大型營運商都能用。opt-in 兩段式:先註冊(用驗證者 BLS 金鑰簽名認證,並證明該驗證者仍在活躍集合),再啟用,啟用後還要經過一段延遲才生效。
罰沒要罰什麼?2025 年 10 月的 arXiv 2510.02947《SoK: Preconfirmations》(Stouka、McMenamin、Kyriacou、Oshitani、Botha)把違約分成兩類,這個區分很關鍵:
- 安全性違約(safety fault):承諾了 A 順序卻出 B 順序,或承諾收錄卻換成別人的交易。誠實的提議者永遠不會犯這種錯,罰則預期很重。
- 活性違約(liveness fault):提議者根本沒出那個 slot 的區塊,所有已預確認的交易都沒進帳本。這種違約「不是所有鏈都適用」,是 L1 與 based L2 預確認特有的問題——承諾的執行載體本身可能缺席。
兩者難度差很多。安全性違約有鏈上證據,可客觀罰。活性違約落在灰色地帶:提議者可能被 DoS、可能網路分區、也可能是故意的,罰太重嚇跑 opt-in,罰太輕承諾沒份量。這和昨天門檻加密裡 k 同時決定保密性與活性的反向張力,是同一個形狀的問題。
opt-in 率決定一切
based rollup 的活性不是「繼承以太坊」就完事,快速預確認的活性取決於多少比例的提議者 opt-in。LimeChain 的研究估計,約三分之一驗證者加入預確認規則,就足以高機率地說預確認過的交易最終會進 L1。用幾何分佈自己算(自算,非引用):
- opt-in 率 = 1/3:連續 k 個 slot 都沒有 opt-in 提議者的機率是 (2/3)^k;k = 4 時為 16/81 ≈ 19.8%,即四個 slot(48 秒)內遇到一個預確認者的機率約 80.2%,平均等 3 個 slot ≈ 36 秒。
- opt-in 率 = 5%:4 個 slot 內遇到的機率只有 1 − 0.95⁴ ≈ 18.5%,平均要等 1/0.05 = 20 個 slot = 240 秒。
36 秒對 240 秒。所以「based rollup 繼承以太坊的活性」只在基礎收錄這層成立;低延遲那層是獨立的、靠自願參與撐起來的市場,而且會退化——opt-in 率掉下來,體驗直接掉回 L1 節奏。截至 2026 年 8 月,based sequencing 本身已上線,但快速預確認是疊在上面的另一層運營層。我沒有查到 2026 年公開可信的 URC 全網 opt-in 比例統計,此處已標存疑。
順便更正一個常被混淆的概念:based rollup 與 native rollup 不是同一件事,也不是同一軸。based rollup 把「排序」外包給 L1 的提議者與建構者管線;native rollup 把「EVM 狀態轉換的驗證」外包給 L1 自己的執行引擎,做法是 EIP-8079 提的 EXECUTE 預編譯,讓 L1 直接重放 L2 區塊、不需外掛詐欺證明或 ZK 系統。2026-03-11 以太坊研究者釋出了 native rollup 概念驗證原型,但 EIP-8079 仍是 Draft、未排進任何已定的硬分叉。一條 rollup 可以是 based 而不 native,也可以反過來。
2026 成績單
| 專案 | 2026 現況(我查到的) | 讀法 |
|---|---|---|
| Espresso | 2026-02-13 完成轉為無需許可的 PoS 網路,HotShot 共識、秒級最終性;ESP 代幣 2026-02-12 上線,同日 Binance 與 Coinbase 掛牌,FDV 約 2.75 億美元;宣稱與 16 條以上 rollup 有整合計畫;2026 技術目標 25 MB/s 吞吐 | 定位已從「共享排序器」漂移到「快速確認層(Espresso Confirmations)」:整合 rollup 先把批次送到 Espresso 拿 BFT 確認,再往最終結算走。FAQ 明確表示共享排序尚未作為產品提供 |
| Astria | 2024-10 在 Celestia 上啟動共享排序器主網,累計募資約 1,800 萬美元;2025-12 記下最後一個區塊(高度 15,360,577)後團隊關網 | 最直接的證據:純共享排序器作為獨立商品,在資金與採用兩端都沒撐住 |
| Radius | 加密記憶池路線,排序器不解密就收集與排序,以 Practical Verifiable Delay Encryption 讓內容在順序定案前保持隱藏;2026 年與 Avail 合作,透過名為 Lighthouse 的無需許可搜尋者拍賣提供跨 rollup 同步原子交易,贏得 ToB(Top-of-Block)拍賣的建構者可跨多鏈協調交易,rollup 收執行費 | 唯一把「原子執行」和「誰付錢買原子執行」同時放上桌的設計。同步組合性是賣給搜尋者的,不是免費公共財 |
| Taiko | based rollup 旗艦實作,多重證明併用 SP1、RISC0 與 TEE;2026-06 橋被盜約 170 萬美元,根因是 Raiko 的 SGX enclave 簽章金鑰被留在公開 GitHub repo,攻擊者用它偽造跨鏈提款證明,在主網通過了沒有對應存入的提款;2026-06-22 一度停止出塊,2026-07-02 橋完全恢復、使用者獲補償;2026-08-06「Unzen」升級上主網,強制每區塊至少一個 ZK 證明 | 昨天 TEE 那篇的結論被現實驗證:遠端證明保證「跑的是哪一版程式碼」,完全不保證簽章金鑰的保管;金鑰外洩時密碼學保證整個變成零 |
昨天列的表裡,TEE 的失效條件寫「需要實體存取」;Taiko 的事故顯示連實體存取都不必要,把 enclave 簽章金鑰 commit 進公開 repo 就夠了。任何以「我們用 TEE」當作安全論述終點的服務,都該被追問金鑰的生成、保管與輪替流程——證明鏈的根就在那把金鑰上。
MEV 又搬了一次家
串起來看:08-06 的 MEV 在交易層,08-07 與 08-29 的意圖架構把它推到訂單流層,08-30 的 OFA 把中間人放進必須出價的位置,08-31 則試圖讓中間人看不見內容。今天這一層是跨域:多條 rollup 共用一個排序器時,跨域 MEV(cross-domain MEV)第一次可以被單一實體原子地捕捉,那個排序器網路於是成為跨域 MEV 的單一市場與單一咽喉點。Radius 的 Lighthouse ToB 拍賣不是消滅它,而是把它變成產品:搜尋者競標跨多鏈的區塊頂端位置,rollup 收租。
規律非常穩定:每一次「解決 MEV」的設計,都是把提取權從一個層級移到另一個層級,並在新層級建一個市場。共享排序器同時放大兩件事:可提取的跨域價值變多(更多鏈在同一個排序視野裡),排序權集中度變高(rollup 之間可共謀,或排序器單方面收租)。而昨天的加密記憶池配上今天的共享排序器會冒出新問題——排序後解密可以配共享排序器,解密後排序則把跨域資訊優勢還給排序器本身;Radius 選前者,這是它必須加密的原因,不是加分項。
失效條件清單
- 宣稱「支援跨鏈原子操作」:問是原子收錄還是原子執行。說不出失敗那一腿如何回滾,答案就是原子收錄。
- 宣稱「based rollup 有 L1 級活性」:問是基礎收錄還是快速預確認。後者的活性等於 opt-in 率,不等於以太坊。
- 宣稱「預確認有罰沒保障」:問罰安全性違約還是活性違約、抵押多少、誰執行。只罰前者的系統,提議者缺席時你沒有救。
🧠 記
- 原子收錄保證「一起被排進去」,原子執行保證「一起成功」。共享排序器只給前者,DeFi 要的是後者,中間需要一層協調(CATs 那類的超時與依賴深度上限),代價是別人的延遲。
- 原子執行對套利者不是無條件的好處。arXiv 2410.11552 證明它可能虧錢:原子性刪掉「單邊成交」這個結果,而外部價差大時單邊成交本身有價值。
- based rollup 的活性分兩層:基礎收錄真的繼承以太坊,低延遲完全取決於提議者 opt-in 率。opt-in 1/3 時 4 個 slot 內遇到預確認者約 80%、平均等約 36 秒;掉到 5% 平均要等 240 秒。
- 預確認違約分兩類:安全性違約有鏈上證據、罰得重;活性違約(提議者根本沒出塊)歸責困難,是罰則設計真正的難點。
- 2026 成績單:Astria 已於 2025-12 關網(最後區塊 15,360,577);Espresso 轉 PoS 後主打「確認層」,FAQ 明說共享排序尚未成為產品;Radius 用加密記憶池加 Lighthouse ToB 拍賣,把同步組合性賣給搜尋者。
- Taiko 2026-06 因 Raiko 的 SGX 簽章金鑰外洩到公開 GitHub 而被偽造提款證明盜走約 170 萬美元;遠端證明保證程式碼身分,不保證金鑰保管,2026-08-06 的 Unzen 升級改成強制每區塊至少一個 ZK 證明。另外,based rollup(外包排序)與 native rollup(外包狀態轉換驗證,EIP-8079 仍為 Draft)是兩條不同的軸。
✍️ 實踐
今天的動作:替你實際在用的一條 L2 做一次「排序權盡職調查」,20 分鐘。目標不是讀完白皮書,而是回答四個具體問題,把答案寫成四行字。
- 確認排序權歸屬(5 分鐘)。到 L2BEAT 打開那條鏈的專案頁,抄下「Sequencer failure」與「Proposer failure」兩個風險欄位:講的是排序器停掉時你能不能自己把交易送上 L1、要等多久。多數鏈會寫出具體延遲窗口(數小時到一天),記下那個數字。
- 確認排序器是誰(5 分鐘)。同一頁找 Operator / Permissions,看排序是單一地址、單一組織,還是一組運營者名單。找不到明確答案,這本身就是答案。
- 測一次原子性假設(5 分鐘)。想一個你真會做的跨鏈操作(例如 L2-A 賣出、L2-B 買進),不用真執行,只回答:第二腿失敗時第一腿會怎樣?部位裸露多久?這個窗口就是你實際承擔的組合性風險,和「已支援原子操作」的行銷語言無關。
- 記下延遲的來源(5 分鐘)。你看到的「交易成功」提示,是排序器軟承諾、共享排序網路的 BFT 確認,還是 L1 最終性?三者可靠度差好幾個數量級,在錢包或瀏覽器上找出顯示的是哪一種。
自我檢查(全部要能勾):
- 我能說出排序器停掉時自救的具體延遲數字(不是「可以自救」而是「要等 X 小時」)。
- 我能說出排序目前由幾個實體控制,以及是在哪裡查到的。
- 我能說出第二腿失敗時第一腿的處置方式與曝險時間。
- 我知道看到的「成功」提示屬於軟承諾、BFT 確認、L1 最終性中的哪一種。
- 若這條鏈有預確認,我知道它罰的是安全性違約、活性違約,還是兩者都沒有。
🔗 延伸學習
- SoK: Preconfirmations 把預確認設計空間系統化,安全性違約與活性違約的區分出自這篇。
- Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers 兩個 CPMM 池的模型,證明原子執行不一定提升套利利潤。
- eth-fabric/urc — Universal Registry Contract 提議者承諾的註冊與罰沒合約:無治理、不可升級、以 ETH 為抵押。
- Taiko Bridge Drained $1.7M After SGX Signing Key Left Exposed on GitHub 2026-06 事故報導,昨天 TEE 那篇的現實版註腳。
💬 問 AI
我想弄清楚我正在用(或評估)的一條 rollup,它的排序權與跨鏈原子性到底提供什麼保證。請不要用行銷語言,也不要用推測填空。
【我的情況】
- 我在用的 rollup / L2:<填>
- 它宣稱的排序架構:<自營 sequencer / 共享排序器 / based rollup / 不確定>
- 它宣稱的跨鏈能力:<貼官方原文或連結>
- 它宣稱的確認速度:<填,例如「200ms 確認」>
- 我實際會做的跨鏈操作:<填>
- 單筆金額量級:<填>
【請依序做】
1. 判定排序權歸屬。指出排序決定權在哪個實體手上,以及我能在哪裡查到證據(給可查的頁面或合約地址,不要只給名字)。
2. 把它宣稱的「原子性」分類為原子收錄或原子執行。文件講不清楚就直接說「文件不足以判定」,並列出我該去問對方的三個問題。
3. 針對我那個跨鏈操作,寫出第二腿失敗時的完整後果:第一腿會不會回滾、部位裸露多久、誰承擔這段風險、有沒有補償機制。
4. 把「確認速度」拆成三層並標註可靠度:排序器軟承諾、排序網路 BFT 確認、L1 最終性。告訴我介面上看到的是哪一層,以及最壞情況下這一層可以被推翻多久。
5. 如果它是 based rollup 或有預確認機制:告訴我承諾由誰簽、抵押多少、罰沒合約在哪、罰的是安全性違約還是活性違約。若 opt-in 率不公開,請用幾何分佈幫我算:opt-in 率 33%、10%、5% 三種情況下,平均要等幾個 slot 才遇到一個預確認者,換算成秒。
6. 如果架構裡有 TEE 或 enclave:列出簽章金鑰的生成、保管、輪替流程,以及金鑰外洩時還剩什麼保證。請把 2026 年 6 月 Taiko 因 SGX 簽章金鑰外洩到公開 repo 而被偽造提款證明的案例當成參照。
7. 誠實回答這個架構「打不到」什麼:哪些跨域 MEV 仍存在、誰在收租。
【限制】
- 每項事實都要標出處(文件連結、合約地址、論文編號)。查不到就寫「查不到」,不要生成看似合理的數字。
- 不要把 Stage 1 / Stage 2 成熟度等級講成排序器已去中心化,這是兩件事。
- 不要把 based rollup 和 native rollup 混為一談:前者外包排序,後者外包狀態轉換驗證。
- 不要給投資建議,也不要推薦任何代幣。