撰文:孟鉉濟,FoxTech首席科學家;康水躍,FoxTechCEO
前言
Layer1作為一種分布式系統,為了達成共識需要高昂的通訊代價,并且大量的計算也會消耗昂貴的gas。所以,作為Layer1的擴展,Layer2的設計可以有效地提升Layer1的效率。但是從這個角度來說,Layer2的設計仍然面臨著和Layer1一樣的一大難題,就是如何平衡去中心化程度和高效性。
zkRollup是非常有前景的Layer2擴容方案,通過將計算搬到鏈下并向Layer1鏈上提供零知識證明的方式來實現。在實現zkRollup的方案當中,FOX系統采用了當下主流結構,主要有兩種節點,分別是Sequencer和Folder。簡單來說,Sequencer負責對用戶提交的交易進行排序打包,并且更新Layer2鏈上狀態,Folder負責對Sequencer打包的交易生成證明并提交到Layer1。
數據:6月ENS域名注冊量為35,884個,環比增逾一倍:金色財經報道,Dune數據顯示,6月以太坊域名服務ENS的注冊量達到35,884個,較5月的16351個增長超一倍。當前ENS域名注冊地址數接近70萬(699,148個),其中6月新增地址數達到30339個。[2023/7/1 22:11:36]
一個有意義的問題是,Layer2的節點是否應該是去中心化的,如果是,如何設計激勵機制來保證這一點。因為可以想象,Layer1效率低的本質就是,為了實現去中心化每個節點都需要進行大量的計算和通訊。而使用了Layer2系統,將計算過程解耦,如果在這部分依然用完全等效于Layer1的去中心化模式,則又會因為同樣的原因造成Layer2的擁堵,所以這里需要做權衡。
激勵機制的設計就是通過調整Layer2節點獲得激勵手續費的方式以及平衡支付給Layer2節點的費用,來鼓勵節點參與Layer2系統維護。本質上,Layer2節點收到的激勵費用來源與以太坊一樣,來自于提交交易的用戶付出的Gas費。本文會探討在FOX的系統當中,FOX的節點如何參與系統收取手續費,以及這樣做的原因。
Bitget公布用戶保護基金,當前規模達3億美元:3月8日消息,Bitget官方近日披露其風險保護基金,以確保用戶的資產得到充分保護。截至目前,該基金規模達3億美元,其中包括6500個BTC、1.6億個USDT和4000萬個USDC。
據官方信息,這是中心化交易所中第二大的用戶保護基金。這些資產存儲在七個公共錢包地址中,用戶可以實時跟蹤驗證。且Bitget官方承諾在未來三年內會保證將該基金價值維持在3億美元。保護基金詳情可查閱官方網址。[2023/3/8 12:48:58]
Gas的作用
首先我們來回顧Gas費在以太坊系統當中的作用。Layer1的計算資源是有限的,用戶提交交易時候會指定交易Gas費,Gas費基本同交易的執行操作復雜度相關,而在此基礎上愿意支付更高昂的Gas費的用戶可以獲得更優先的交易執行。礦工的激勵就來源于打包的區塊的Gas費總和。此外,Gas費機制還可以有效防止惡意合約,限制區塊容量大小,這樣在一定程度上保障了安全性。
美國財政部回應:Tornado Cash案件仍在審理中,不宜發表進一步評論:1月12日消息,針對美國國會議員Tom Emmer在2022年8月關于OFAC制裁Tornado Cash智能合約一事的詢問函,美國財政部回應稱,“這些案件仍在佛羅里達州北部地區和德克薩斯州西部地區審理,由于Tornado Cash仍是訴訟的主體,財政部目前不宜就該實體的問題發表進一步評論。”
Tom Emmer發推稱,“像Tornado Cash這樣的技術對于確保個人可以進行點對點隱私交易是不可或缺的,就像我們今天使用現金的方式一樣,隱私是正常的。因此雖然財政部堅持認為它無法回答國會的調查,因為其破壞性的政策決定正在訴訟中,但我期待在未來的美國眾議院金融服務委員會聽證會上與財政部長耶倫公開討論此事。”[2023/1/12 11:08:07]
所以可以看出,對Gas費的合理利用,本質上是對鏈上計算資源的合理調度和分配,同時也是項目方、礦工和用戶的多方博弈。好的激勵機制的設計以及手續費的使用和分配對于系統運行至關重要。
Axie Infinity側鏈Ronin宣布添加Nansen等三個新驗證節點:8月17日消息,Axie Infinity側鏈Ronin宣布添加三個新驗證節點,分別是Efficient Frontier、Community Gaming、Nansen,驗證節點總數達到17個。此前,Ronin曾表示,目標是在三個月內實現至少21個獨立驗證節點共同保護網絡。[2022/8/18 12:32:23]
交易上鏈流程
用戶提交交易給FOX系統當中的交易池同時要附加一筆用來激勵FOX節點的手續費,然后系統中的Sequencer節點將從交易池中抓取交易進行打包排序,這里每次打包的交易就構成Layer2的區塊,同時Sequencer需要執行交易計算,并將計算結果傳到Layer1的FOX合約當中,并且,Sequencer還需要將交易數據存到ZK-Ringer當中來保障數據可用性。之后,Sequencer的排序結果以及計算結果會傳給Folder節點,Folder正確計算證明并傳到Layer1的合約當中。在這個過程中,Sequencer對于交易的執行結果會在執行結束之后直接更新到Layer2當中,而交易真正被Layer1共識的時間節點可以認為是Folder的證明被驗證之后。
美SEC訴Ripple案進展:法官拒絕SEC將Hinman演講文件保密的動議:7月13日消息,美國證券交易委員會(SEC)在針對瑞波的Ripple中遭受了打擊,一名美國法官否認了其關于“Hinman演講”相關文件屬于律師-當事人特權的主張。7月12日,美國地方法官Sarah Netburn在否認該動議時指出,SEC辯稱該演講是Hinman的個人事務,但同時聲稱該演講文檔應保密,因為他從SEC獲得了確認委員會政策的法律建議。
Netburn法官表示,SEC一方面向法院辯稱該演講與市場對SEC將如何或是否將監管加密貨幣的理解無關,而另一方面,Hinman在起草演講稿時尋求并獲得了SEC律師的法律建議,SEC在這一點上很虛偽,這表明SEC采取其訴訟立場是為了進一步實現其期望的目標,而不是出于對法律的忠誠。
據悉,Hinman曾在2018年金融科技周會議上發言時表示,出售ETH并不構成“證券交易”。SEC一直在努力保密的Hinman演講草案已被XRP社區中的許多人視為可能有利于Ripple Labs的關鍵證據。(Cointelegraph)[2022/7/13 2:10:05]
可以看到,在這個流程當中,用戶最初附上的手續費要涵蓋幾個用途:
支付給Sequencer的手續費
支付給Folder的手續費
Sequencer將交易結果提交到Layer1的Gas費
Sequencer將信息存儲到ZK-Ringer的手續費
Folder調用合約的Gas費
為此,我們需要梳理具體的機制來激勵各方參與。
FOX的激勵機制
FOX的激勵模式比較新穎。首先,為了平衡去中心化和效率的問題,我們將節點的角色分為負責排序以及執行交易的Sequencer節點,以及負責對交易執行正確性生成證明并聚合的Folder節點。FOX的Folder節點采用了去中心化的模式,也就是說任何FOX礦工都可以接入網絡擔任證明生成者,為了鼓勵更多節點的參與,成功提交正確證明到Layer1合約的Folder可以獲得代幣獎勵。與此同時,為了避免算力浪費,我們指出,并不是只有第一個證明提交者可以獲得獎勵,在第一個證明提交者成功提交之后的一個時間窗口和數量窗口內,所有正確的證明者都可以獲得獎勵。
圖1:原始版本的激勵模式
然而在這種機制下,惡意的Folder會有一種很狡猾的攻擊。
當某一個惡意的Folder,記作Adv,在完成了證明生成之后,一方面將證明提交到Layer1中的Verifier合約進行驗證,另一方面它串通一些節點,將計算好的證明透露給這些節點,然后它們就可以不經過自己計算而直接將Adv計算好的證明提交,也可以領取到一部分獎勵,而這個過程之中他們沒有付出任何算力,從另一個角度來說,Adv通過較少的算力獲得了多份的收益,并且造成其它節點即便生成了正確的證明也難以爭搶過Adv。
圖2:惡意Folder的攻擊方式
在這個攻擊當中,產生問題的原因是Verifier無法區分每一份證明是否由該Folder獨立生成,因為證明值都是相同的。為了規避這個問題,我們需要將Folder的獨特的地址信息加入到Folder提交的證明當中,從而使得每一個Folder提交的證明都只能是自己獨立生成的而不能是其它節點提交的。
而融入這種信息的方法很巧妙,使用Fiat-Shamirheuristic。按照生成證明的過程計算,其中一步,證明者,也就是Folder需要通過哈希函數來生成一個隨機挑戰值,只需要要求在這個哈希的輸入當中加入Folder的地址,就可以保證挑戰值與Folder的地址相對應,且仍然是一個Folder無法預測和控制的隨機數。
嚴格說明這種方法的安全性需要用到比較深入的密碼學中理論安全的隨機函數的概念以及不可區分性等等,我們不在這里詳細討論。簡單來說,可以認為,由于哈希函數本身的安全性以及Fiat-Shamirheuristic結構的安全性,添加一個固定的值作為哈希的原像并不會破壞輸出的不可預測性,所以原來zkp算法的安全性仍然可以保證。
這樣一來,每個Folder就必須獨立進行證明生成而不能直接利用其它節點結果,從而實現了我們的目標。
圖3:修改后的激勵模式
結語
本文從節點手續費的重要作用角度出發,介紹了手續費與如何激勵節點參與系統維護之間的聯系,同時指出,好的激勵機制可以有效地維護系統安全性。在此基礎之上,我們詳細討論了FOX當中采用的對于Layer2的Folder的激勵機制,并且解釋了這種做法的合理性,以及技術上如何巧妙地運用Fiat-Shamirheuristic來實現這一點。
參考文獻
《深度|迭代與競爭——以太坊的Layer2擴容之路》國盛區塊鏈研究院https://www.theblockbeats.info/news/24443
隨著基于比特幣BRC-20標準的Meme代幣交易量飆升至兩年高位,比特幣周一跌破2.75萬美元,鏈上數據顯示,從歷史數據來看,模因幣的投機狂熱預示著比特幣短期“見頂”或者看跌逆轉.
1900/1/1 0:00:00原文作者:0xmin 原文來源:TechFlow深潮 “醋不及防”,PEPE神話又開始讓眾人開始因別人家的發財故事而感到焦慮.
1900/1/1 0:00:00來源:《科創板日報》 作者:鄭遠方 圖片來源:由無界AI工具生成抖音今日發布關于人工智能生成內容的平臺規范暨行業倡議.
1900/1/1 0:00:00在今天的財報之前,很多人都不看好Meta過去一個季度的業績表現。營收已經連續三個季度下降,社交家族增長幾乎原地踏步,率先開啟今年的第二輪萬人大裁員......特別是在突然翻涌的AI浪潮下,Met.
1900/1/1 0:00:00頭條 ▌Lido社區關于批準授權成立金庫管委會的提案已獲投票通過4月28日消息,Snapshot投票頁面顯示.
1900/1/1 0:00:00原文作者:AndrewHayward 原文編譯:PANews 5?月?3?日,SuiNetwork?主網正式上線,但在這一里程碑事件之前,一個活躍的NFT社區已經在這個新興區塊鏈上扎根.
1900/1/1 0:00:00