作者:NashQ,Celestia;編譯:林克,《極客web3》
導語:本文由Celestia研究員NashQ關于Rollup模型分析的零散發言整合而成,包含4種新的Rollup變體。此前,在《站在Celestia的視角解析Rollup:6種變體的審查抗性和活性》一文中,他列舉了6種不同的Rollup模型,而本文是他在此基礎上新抽象出的4類Rollup模型。
此前,NashQ將定序器Sequencer分成聚合器+Header Producer兩大模塊,從交易指令的生命周期切入,講解了Celestia主權Rollup的運作原理,探討了不同Rollup變體的抗審查性和活性,以及用戶在信任最小化前提下的最低配置(就是要達到Trustless,Rollup用戶至少要運行哪些類型的節點)。
在這個Rollup變體中,Rollup網絡用戶直接把交易數據發布到DA層區塊上,然后Header Producer負責交易排序,MEV被其提取。顯然,Rollup變體7的交易聚合/包含流程,與以前介紹過的Based Rollup一樣,由DA層負責(用戶直接把交易發到DA層),但交易排序與Based Rollup不同,DA層節點不負責排序,由HP(Header Producer)負責。
下面假設有三個HP,它們彼此存在競爭關系,并且遵守名為“highest Protocol MEV”的MEV分配協議。該協議由Cosmos生態的Skip Protocol提出,不同于以太坊PBS方案,Block Builder需要額外支付一筆付給區塊鏈網絡Validator的“小費”,付小費最多的Builder構建的區塊會被Validator們采納。同時,SKIP Protocol提出了“主權MEV”的概念,意圖讓公鏈網絡的全體Validator及社區有對MEV分配的自主權,解決以太坊PBS中Builder因飛輪效應越來越中心化的問題(但這不是本文要探討的核心)。
Celsius未記錄附屬公司間約7000筆交易,無法完全重建公司間索賠:金色財經報道,據 CoinDesk 援引法庭文件報道,Celsius 沒有充分記錄在申請破產前三個月內其與關聯公司之間約 7000 筆交易,導致幾乎無法完全重現公司間的債權結構。
此前,Celsius 向法院提交出售計劃,以推動公司在去年 7 月申請破產保護后的重組公司。隨后,Celsius Network LLC(LLC)提交申明,對 Celsius Network Limited(CNL)持有的約 91 億美元的公司間索賠,但對該公司的賬簿審計顯示,LLC 與 CNL 公司間的轉賬在許多情況下根本沒有記錄。除非聘請法務會計工作,手動重建每筆公司間交易,但這對債務人來說成本巨大。[2023/2/17 12:13:24]
在本文介紹的Rollup變體中,不同的Header Producer需要在自己創建的Batch Header中聲明小費金額,付小費最多的HP發布的Batch Header自動被Rollup的節點們接納(通過節點代碼中寫好的賬本分叉選擇算法自動完成)。
除此之外,HP發布的Batch Header必須能夠對應DA層上的完整交易批次Batch。
Celsius投資人:Celsius持有資產的法人主體與管理客戶資金的法人主體不同,客戶無權索賠:金色財經報道,據法院文件顯示,包括風險投資公司 WestCap Management LLC 和養老基金 Caisse de Depot et Placement du Quebec(CDPQ)在內的投資者表示,其在 Celsius 持有的股權使他們有權獲得該公司的挖款業務及其其他有價值的資產,因其投資的法人主體與管理客戶資金的法人主體不同,故客戶并沒有權利對該部分資產的索賠權。代表債權人的律師則表示,Celsius 的客戶條款使得客戶有權對其所有的法人主體提出索賠。[2022/10/21 16:34:22]
如果HP發布的Header存在錯誤,比如交易執行結果Stateroot不對,或者沒有包含Batch中的某筆交易(丟交易),誠實的Rollup全節點會向輕節點廣播欺詐證明Fraud proof。但通常(樂觀情況下),輕節點可以接受HP發布的Header并相信它沒有問題。
抗審查性分析:該Rollup存在2處可進行交易審查的點。第一處存在于DA層,它可以審查交易內容,并拒絕包含某些用戶的交易。第二處還是存在于DA層,它可以審查HP提交上去的Header,并拒絕包含某個Header,這樣它就可以和Header串謀,通過審查攻擊來壟斷MEV。
同時,交易排序由HP負責,由于有欺詐證明的存在(可以針對HP丟交易的情況),HP自己往往不會展開審查攻擊,但它可以賄賂DA層的節點去做(或者自己跑一些DA層的節點)。對此的解決方法是,延長Rollup交易序列被最終敲定的窗口期,使得被惡意DA層節點拒絕的Header,可在窗口期結束前及時被誠實DA層節點包含上鏈,進而增加DA層節點審查攻擊的難度。
Celsius律師聲稱用戶放棄了對其加密的合法權利:7月19日消息,在北京時間7月19日凌晨舉辦的針對Celsius的首次法庭聽證會上,Celsius代理人Kirkland律師事務所的律師表示,Celsius在100多個國家的170萬注冊用戶放棄了他們存入賺取和借入賬戶的加密貨幣的所有權。此外,Kirkland律所的律師詳細介紹了擁有Earn和Borrow賬戶的零售用戶如何根據其服務條款(ToS)將其代幣的所有權轉讓給該公司。因此,Celsius可以隨心所欲地“使用、出售、質押和再抵押這些代幣”。(cointelegraph)[2022/7/19 2:22:43]
活性:L = L_da && ( L_hp1 || L_hp2 || L_hp3 )
如果DA層出現活性故障,則Rollup也會出現活性故障。在此基礎上,僅當所有HP都出現活性故障時,Rollup才會出現活性故障。
變體8使用共享聚合器Shared Aggregator(SA)進行交易包含+排序,由SA將交易序列Batch發布到DA層上,交易序列發到DA層后,交易次序理論上不再改變。
而在Batch發到DA層之前,共享聚合器SA可以先將Batch+ SA Header廣播給全節點和Prover,將SA Header廣播給輕節點,只是此時未上DA層的Batch還不穩定,隨時可能被替換。
BKEX Global將于今日16:30上線CELR:據BKEX Global公告,BKEX Global將于2020年8月18日16:30(UTC+8)上線CELR(Celer Network),開放交易對:CELR/USDT。
Celer Network致力于以鏈下擴容技術為基石構建匹配互聯網規模的區塊鏈應用入口平臺,讓所有人都能夠在該平臺上便捷快速地開發、運行與使用高性能的分布式區塊鏈應用。[2020/8/18]
需要注意的是,共享聚合器SA發布的Header與HP發布的Batch Header不是一樣東西。SA Header包含了密碼學證明,確保Rollup節點從DA層讀取的Batch的確由SA生成,而不是它人偽造的。
Prover從DA層讀取交易批次Batch(也可以直接向共享聚合器同步),生成一個 ZK Proof+Batch Header,發布到DA層。顯然Prover充當了HP的角色。
對于Rollup的輕節點而言,收到ZKProof后,這個Batch包含的交易序列就完成了最終確認。當然,Prover也可以通過DA層鏈下的Rollup p2p網絡廣播ZKP,使其更快的被輕節點接收,但此時ZKP還沒發到DA層上,還不具備“最終性”。
抗審查性:變體8中,DA層不能對某些筆特定的交易進行審查攻擊,只能針對共享聚合器提交的整個交易批次Batch審查攻擊。同時,共享聚合器可以拒絕打包某些用戶的交易。
UMA推出代幣鑄造界面vercel,可查看合成代幣相關細節:UMA推出代幣鑄造界面vercel,允許用戶查看合成代幣的相關細節,包括合成代幣部署、創建、抵押品存入提取以及贖回。
目前該界面支持鑄造yCOMP和ETHBTC兩種合成代幣,鑄造并賣出yCOMP相當于做空COMP代幣。[2020/7/8]
活性:L = L_da && L_sa && L_pm。該變體中,任何部分出現活性故障,則Rollup都會出現活性故障。如果Prover故障,那么輕節點將無法有效的同步Rollup賬本進度。但由于全節點同步了所有的交易序列Batch,它可以跟上賬本進度。此時全節點不受影響,輕節點全部失效,等價于以前介紹過的采用共享聚合器的Based Rollup的情況。
信任最小化的最低配置:DA層輕節點+共享聚合器網絡輕節點+ Rollup輕節點
變體9其實基于上面的變體8展開,只是其DA層不止一個,這樣可以有效提高Rollup的活性。變體9中,共享聚合器SA可以將交易序列Batch發布到任意一個DA 層上,它可以根據自己的需求選擇不同的DA層發布數據,這樣就可以動態優化Rollup的相關參數,比如:數據成本、安全性、活性、交易延遲和最終性。
根據Rollup項目方的需求,可以定制最便宜、最安全、最活躍、結算速度的Rollup,選用吞吐量最高的DA層。一般而言,某個Rollup區塊高度(比如第1萬個)的Batch不必同時存在于不同的DA層上,但如果存在,它們的內容必須一致。如果不同的DA層上出現了高度相同、內容不同的兩個Batch,則說明共享聚合器故意搞賬本分叉。
這里,我們選用了和變體8相同的去中心化Prover Market,由Prover充當Header Producer,發布Batch Header和ZKProof。此時,Prover需要通過變體7中提到的小費競拍機制展開競爭(由SKIP Protocol提出)。
變體9的交易結算速度(最終確認速度)受它采用的出塊最快的DA層影響。
抗審查性:共享聚合器可以搞審查攻擊,但可選的DA層變多了,與DA層相關的審查攻擊可能性降低了。
活性:L = ( L_da1 || L_da2) && L_sa && L_pm。
與之前的變體相比,變體9活性更強。只要不是全部DA層網絡出現活性故障,一切就能夠正常進行。
信任最小化的最低配置:不同DA層的輕節點+共享聚合器網絡輕節點+Rollup輕節點。
顯然,我們采用的DA層越多,就必須運行越多的輕節點。但這樣做的好處可能會蓋過其成本。
變體 10:兩個ZK-Rollups+去中心化Prover,彼此間有一個鏈上輕節點(可橋接)
變體10是變體5的擴展,目的是創建2個可以相互橋接的ZK-Rollup。相比于變體5(Based Rollup+ZKP+去中心化Prover),變體10多了一個中繼器Relayer角色,它將Batch Header+ZK-Proof包裝到一筆交易中。只要將這筆交易發給Rollup2運行的Rollup1輕節點,就能證明某個高度的Batch是有效的。當然,Rollup2還需要運行DA層的輕節點。
這是保持跨鏈橋信任最小化的先決條件。但如果是從以太坊Rollup(基于智能合約的SC Rollup)上往以太坊跨鏈,則不需要再運行Rollup的DA層輕節點,因為DA層就是以太坊本身。這一點與Celestia的主權Rollup極為不同,后者的Rollup之間互跨,必須運行對方DA層的輕節點。
當Relayer發送跨鏈交易時,它將被Rollup2的聚合器2和HP2處理。我們將兩者都添加到圖中,以理解Rollup2的節點如何處理跨Rollup的交易。
Rollup2的中繼器Relayer將獲取Rollup 2的Batch Header和ZKP,并將其發回Rollup1。Rollup 1還有一個Rollup 2的輕節點和DA 層的輕節點。
我們可以讓模型更加簡化。假設兩個Rollup使用相同的共享聚合器和Header Producer,換言之,他們采用的DA層是重合的。
在這種情況下,可以直接將Relayer取締。因為Batch Header和ZK Proof已由HP發布到相同的DA層,因此可以直接在DA層上讀取另一個Rollup的Header和ZKP等數據,不再需要經由Relayer傳給共享聚合器。
顯然,使用相同DA層的Rollup不需要依賴于Relayer(很多跨鏈橋都依賴中繼節點)。這可以解決跨鏈橋的安全問題(從這點來看,以太坊的SC Rollup之間的互跨,安全性要高于不同公鏈間的跨鏈)。
此時,信任最小化的最低配置:DA層輕節點+Rollup輕節點。
極客 Web3
個人專欄
閱讀更多
Foresight News
金色財經 Jason.
白話區塊鏈
金色早8點
LD Capital
-R3PO
MarsBit
深潮TechFlow
Tags:ROLLROLCELPROThe Troller CoinROL幣celo幣價格props幣停止運營了還能買嗎
作者:MARTIN YOUNG,COINTELEGRAPH;編譯:松雪,金色財經Web3 生態系統可能成為數字營銷人員的下一個黃金機會.
1900/1/1 0:00:00▌鏈上數據顯示a16z正在逢高出售700萬美元的MKR代幣區塊鏈數據顯示,隨著加密貸款平臺MakerDAO的MKR治理代幣價格飆升至近一年高位.
1900/1/1 0:00:00作者:BRAYDEN LINDREA,COINTELEGRAPH;編譯:松雪,金色財經根據美國證券監管機構采用的新規則.
1900/1/1 0:00:002023年7月24日,OpenAI首席執行官Sam Altman在推特宣布,Worldcoin項目正式上線.
1900/1/1 0:00:00作者:Kyle Samani,MMulticoin Capital聯合創始人;翻譯:金色財經0xxz最近有很多關于 RWA 的討論。我發現這些討論的大部分框架都是錯誤的.
1900/1/1 0:00:00最近,曾在肯尼亞找黑人做Worldcoin KYC,再把賬號轉賣給國內用戶的阿倫回國了。用戶在閑魚上刷到的代過Worldcoin的產品,背后的源頭便是阿倫這樣的在非洲的第三方.
1900/1/1 0:00:00