以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > Polygon > Info

談談Layer2的激勵機制:Fiat-Shamir heuristic在FOX的又一次妙用_FOLD:LAYER

Author:

Time:1900/1/1 0:00:00

撰文:孟鉉濟,Fox Tech 首席科學家;康水躍,Fox Tech CEO

Layer1作為一種分布式系統,為了達成共識需要高昂的通訊代價,并且大量的計算也會消耗昂貴的gas。所以,作為Layer1的擴展,Layer2的設計可以有效地提升Layer1的效率。但是從這個角度來說,Layer2的設計仍然面臨著和Layer1一樣的一大難題,就是如何平衡去中心化程度和高效性。

zkRollup是非常有前景的Layer2擴容方案,通過將計算搬到鏈下并向Layer1鏈上提供零知識證明的方式來實現。在實現zkRollup的方案當中,FOX系統采用了當下主流結構,主要有兩種節點,分別是Sequencer和Folder。簡單來說,Sequencer負責對用戶提交的交易進行排序打包,并且更新Layer2鏈上狀態,Folder負責對Sequencer打包的交易生成證明并提交到Layer1。

一個有意義的問題是,Layer2的節點是否應該是去中心化的,如果是,如何設計激勵機制來保證這一點。因為可以想象,Layer1效率低的本質就是,為了實現去中心化每個節點都需要進行大量的計算和通訊。而使用了Layer2系統,將計算過程解耦,如果在這部分依然用完全等效于Layer1的去中心化模式,則又會因為同樣的原因造成Layer2的擁堵,所以這里需要做權衡。

摩根大通CEO:銀行業危機已基本結束:金色財經報道,摩根大通首席執行官Jamie Dimon表示,在 First Republic Bank 的收購決議通過后,最近幾周導致美國三大地區性銀行倒閉的危機已基本結束,他表示,這幾乎可以解決所有問題,這部分危機已經結束。

總部位于紐約的摩根大通周一早些時候宣布,它已從聯邦存款保險公司 (FDIC) 收購了 First Republic Bank 的絕大部分資產,并承擔了其存款和某些其他負債。Jamie Dimon 在聲明中表示,“我們的政府邀請我們和其他人挺身而出,我們做到了,此次收購對我們公司整體有利,對股東有利,有助于進一步推進我們的財富戰略,并且是對我們現有特許經營權的補充。”[2023/5/2 14:37:48]

激勵機制的設計就是通過調整Layer2節點獲得激勵手續費的方式以及平衡支付給Layer2節點的費用,來鼓勵節點參與Layer2系統維護。本質上,Layer2節點收到的激勵費用來源與以太坊一樣,來自于提交交易的用戶付出的Gas費。本文會探討在FOX的系統當中,FOX的節點如何參與系統收取手續費,以及這樣做的原因。

Cardano鏈上穩定幣Djed出現溢價一度升至1.08美元:金色財經報道,據coinmarketcap數據顯示,Cardano鏈上穩定幣Djed在近期美元穩定幣USDC波動的情況下獲得了高于市場表現的溢價,甚至一度達到1.08美元,目前已小幅回落至1.02美元。此外USDT和Djed直接的價格差異達到約1%,與此同時交易量也在持續增加,數據還顯示Djed當前的儲備金約為3328萬枚ADA,抵押率為428%,完全稀釋市值達到1,018,522,837,484 美元。(u.today)[2023/3/12 12:58:44]

首先我們來回顧Gas費在以太坊系統當中的作用。Layer1的計算資源是有限的,用戶提交交易時候會指定交易Gas費,Gas費基本同交易的執行操作復雜度相關,而在此基礎上愿意支付更高昂的Gas費的用戶可以獲得更優先的交易執行。礦工的激勵就來源于打包的區塊的Gas費總和。此外,Gas費機制還可以有效防止惡意合約(例如無限循環),限制區塊容量大小,這樣在一定程度上保障了安全性。

Arcane Research:2022年比特幣收盤下跌65%,僅次于2018年73%的跌幅:12月31日消息,加密分析公司Arcane Research發布《2022年終報告》顯示,2022年比特幣收盤下跌65%,僅次于2018年73%的跌幅,是自2011年以來第二糟糕的年度表現,而ETH創下了69%的跌幅,黃金僅下跌1%。

報告還指出,幣安在2022年BTC現貨交易量主導地位從45%增長到92%,全年增幅達47%;幣安加密永續合約交易量市場占比達66%,衍生品交易量占比為61%,增幅均達10%。

此外,比特幣與股票相關性大幅上升,與納斯達克相關性觸及0.59、標普500相關性為0.56。穩定幣市值在2022年呈指數級增長,目前已占到加密總市值的17%。Arcane Research表示,2023年是建立漸進BTC敞口的“絕佳機會”。[2022/12/31 22:17:44]

所以可以看出,對Gas費的合理利用,本質上是對鏈上計算資源的合理調度和分配,同時也是項目方、礦工和用戶的多方博弈。好的激勵機制的設計以及手續費的使用和分配對于系統運行至關重要。

DigiDaigaku交易額突破1000萬美元,地板價升至15 ETH區間:金色財經報道,據最新NFT交易數據顯示,NFT項目DigiDaigaku交易額已突破1000萬美元,本文撰寫時為1071萬美元,市值達到4506萬美元。同時,DigiDaigaku地板價現升至15 ETH區間,短時觸及15.99 ETH新高,截至目前為14.5 ETH,24小時漲幅116.42%。此外,DigiDaigaku#729以29 ETH價格被巨鯨fuckthecops.eth購入,創下迄今最高交易記錄。[2022/8/30 12:57:22]

用戶提交交易給FOX系統當中的交易池同時要附加一筆用來激勵FOX節點的手續費,然后系統中的Sequencer節點將從交易池中抓取交易進行打包排序,這里每次打包的交易就構成Layer2的區塊,同時Sequencer需要執行交易計算,并將計算結果傳到Layer1的FOX合約當中,并且,Sequencer還需要將交易數據存到ZK-Ringer當中來保障數據可用性。之后,Sequencer的排序結果以及計算結果會傳給Folder節點,Folder正確計算證明(包括證明聚合部分)并傳到Layer1的合約當中。在這個過程中,Sequencer對于交易的執行結果會在執行結束之后直接更新到Layer2當中,而交易真正被Layer1共識的時間節點可以認為是Folder的證明被驗證之后。

數據:當前灰度比特幣信托負溢價達29.46%:5月15日消息,據Coinglass數據顯示,當前灰度比特幣信托負溢價達29.46%,以太坊信托負溢價達31.09%,ETC信托負溢價達55.16%,LTC信托負溢價達42.31%,BCH信托負溢價達35.33%。[2022/5/16 3:17:41]

可以看到,在這個流程當中,用戶最初附上的手續費要涵蓋幾個用途:

支付給Sequencer的手續費

支付給Folder的手續費

Sequencer將交易結果提交到Layer1的Gas費

Sequencer將信息存儲到ZK-Ringer的手續費

Folder調用合約的Gas費

為此,我們需要梳理具體的機制來激勵各方參與。

FOX的激勵模式比較新穎。首先,為了平衡去中心化和效率的問題,我們將節點的角色分為負責排序以及執行交易的Sequencer節點,以及負責對交易執行正確性生成證明并聚合的Folder節點。FOX的Folder節點采用了去中心化的模式,也就是說任何FOX礦工都可以接入網絡擔任證明生成者,為了鼓勵更多節點的參與,成功提交正確證明到Layer1合約的Folder可以獲得代幣獎勵。與此同時,為了避免算力浪費,我們指出,并不是只有第一個證明提交者可以獲得獎勵,在第一個證明提交者成功提交之后的一個時間窗口和數量窗口內(這里具體參數會隨系統狀況進行調整),所有正確的證明者都可以獲得獎勵。

圖1:原始版本的激勵模式

然而在這種機制下,惡意的Folder會有一種很狡猾的攻擊。

當某一個惡意的Folder,記作Adv,在完成了證明生成之后,一方面將證明提交到Layer1中的Verifier合約進行驗證,另一方面它串通一些節點(或者就是該Folder控制的節點),將計算好的證明透露給這些節點,然后它們就可以不經過自己計算而直接將Adv計算好的證明提交,也可以領取到一部分獎勵,而這個過程之中他們沒有付出任何算力,從另一個角度來說,Adv通過較少的算力獲得了多份的收益,并且造成其它節點即便生成了正確的證明也難以爭搶過Adv。

圖2:惡意Folder的攻擊方式

在這個攻擊當中,產生問題的原因是Verifier無法區分每一份證明是否由該Folder獨立生成,因為證明值都是相同的。為了規避這個問題,我們需要將Folder的獨特的地址信息加入到Folder提交的證明當中,從而使得每一個Folder提交的證明都只能是自己獨立生成的而不能是其它節點提交的。

而融入這種信息的方法很巧妙,使用Fiat-Shamir heuristic(讀者可以參考FOX之前的文章《如何將交互式證明改造為非交互式?Fiat-Shamir Heuristic!》來了解技術細節)。按照生成證明的過程計算,其中一步,證明者,也就是Folder需要通過哈希函數來生成一個隨機挑戰值,只需要要求在這個哈希的輸入當中加入Folder的地址,就可以保證挑戰值與Folder的地址相對應,且仍然是一個Folder無法預測和控制的隨機數。

嚴格說明這種方法的安全性需要用到比較深入的密碼學中理論安全的隨機函數的概念以及不可區分性等等,我們不在這里詳細討論。簡單來說,可以認為,由于哈希函數本身的安全性以及Fiat-Shamir heuristic結構的安全性,添加一個固定的值作為哈希的原像并不會破壞輸出的不可預測性,所以原來zkp算法的安全性仍然可以保證。

這樣一來,每個Folder就必須獨立進行證明生成而不能直接利用其它節點結果,從而實現了我們的目標。

圖3:修改后的激勵模式

本文從節點手續費的重要作用角度出發,介紹了手續費與如何激勵節點參與系統維護之間的聯系,同時指出,好的激勵機制可以有效地維護系統安全性。在此基礎之上,我們詳細討論了FOX當中采用的對于Layer2的Folder的激勵機制,并且解釋了這種做法的合理性,以及技術上如何巧妙地運用Fiat-Shamir heuristic來實現這一點。

《深度|迭代與競爭——以太坊的 Layer2 擴容之路》國盛區塊鏈研究院 https://www.theblockbeats.info/news/24443

FoxTech

個人專欄

閱讀更多

金色薦讀

金色財經 善歐巴

Chainlink預言機

區塊律動BlockBeats

白話區塊鏈

金色早8點

Odaily星球日報

歐科云鏈

深潮TechFlow

MarsBit

Tags:LAYERFOLFOLDFOXLayerAIfold幣價FOLD幣RedFOX Labs

Polygon
對話去中心化流動性質押協議Rocket Pool:如何促進以太坊Staking民主化?_ROCKET:POO

在上海升級之前,ECN 有幸邀請到三個重要的流動性質押服務商StakeWise、Rocket Pool 和 Lido的代表做客 ECN Podcast.

1900/1/1 0:00:00
金色早報 | 美聯儲如期加息25個基點至5.00%-5.25%區間_DDOS:比特幣

▌美國SEC刪除了對沖基金規則中對“數字資產”的第一個正式定義金色財經報道,周三,美國證券交易委員會 (SEC) 刪除了最新的對沖基金規則中對“數字資產”的第一個正式定義.

1900/1/1 0:00:00
社區都在罵 Sui 那到底買不買?_TOKE:SUI

社區爭議不斷的 Sui,還值得投資嗎? 撰文:Leo 從去年開始炒的 Sui 終于發幣了,二級市場比較關心 Sui token 估值.

1900/1/1 0:00:00
從73頁「穩定幣法案討論草案」中 解讀美國監管思路_穩定幣:IcoCryptoMarketCap

作者:北辰 從比特幣白皮書開始,crypto世界的誕生就攜帶著強烈的價值取向,它的顛覆性一度被當作犯罪工具.

1900/1/1 0:00:00
OG接連退場 NFT文化已死?_NFT:BEAT

原文作者:wale.swoosh,資深 NFT 玩家原文編譯:Leo,BlockBeats近期有一部分 NFT 投資者和大戶因為一些狀況或 NFT 市場變化而退圈.

1900/1/1 0:00:00
深度解析全鏈游戲引擎MUD_SOL:區塊鏈域名還有市場前景嗎

游戲引擎在游戲開發中發揮著至關重要的作用。對于全鏈上游戲來說,同樣需要一個能夠幫助開發者快速部署游戲邏輯的工具.

1900/1/1 0:00:00
ads