比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > 波場 > Info

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

Author:

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

前言

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

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

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

巨鯨從Aave和Compound提取1140枚WBTC和1.5萬枚ETH并轉入CEX:6月21日消息,據lookonchain數據顯示,0xd275開頭巨鯨地址于2小時前從Aave和Compound提取1140枚WBTC(約合3280萬美元)、1.5萬枚ETH(約合2588萬美元)后,將其分別轉移至包括Bitfinex、Binance、Kraken和Coinbase。[2023/6/21 21:52:17]

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

Gas的作用

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

數據:Coinbase應用程序的下載量在21年Q4后持續下降:5月4日消息,根據研究公司 Apptopia 的數據,盡管自去年 12 月加密貨幣價格觸底以來已大幅反彈,但 Coinbase 應用程序的下載量仍在持續下降。此外,Coinbase 將于今日收盤后發布第一季度財報,投資者將關注交易量趨勢以及 Coinbase 來自 USDC 的收入等信息。[2023/5/4 14:41:35]

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

交易上鏈流程

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

DebtDAO將于2月7日銷毀1800萬枚FUD代幣:金色財經報道,DebtDAO此前擬定的FUD代幣公允價值應低于1美元,但目前該代幣價格已飆升至113美元,則該債務價值超過2.2億美元。因此,DebtDAO將在2月7日銷毀1800萬枚FUD代幣,以使債務估值與DebtDAO認為的公允價值一致。

據悉,FUD由DebtDAO發行,其初始供應和流通量為2000萬枚,占FTX債務的2%。每個FUD代幣的價值為1美元,相當于欠FTX債權人約1億美元。DebtDAO表示FUD代幣旨在使FTX債權人有權主張他們對債務的權利。(CoinDesk)[2023/2/7 11:52:35]

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

支付給Sequencer的手續費

支付給Folder的手續費

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

Mutant Ape Yacht Club交易總額突破18億美元:12月11日消息,CryptoSlam數據顯示,Mutant Ape Yacht Club(MAYC)交易總額已突破18億美元,目前達到1,801,566,646美元,交易總量為55,077筆。

此外,OpenSea數據顯示,當前MAYC地板價升至15 ETH,24小時上漲5%。MAYC 24小時交易額達610 ETH,在OpenSea排名第一,24小時增幅達276%。[2022/12/11 21:37:00]

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

Folder調用合約的Gas費

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

FOX的激勵機制

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

摩根大通報告:比特幣生產成本一個月以來下降50%至1.3萬美元:7月14日消息,摩根大通最近發布的一份報告顯示,比特幣的生產成本在過去一個月下降了50%。目前,其生產成本從2022年6月初的2.4萬美元下降到1.3萬美元。

以Nikolaos Panigirtzoglou為首的摩根大通策略師寫道,根據劍橋比特幣用電量指數的數據,這一下降正值用電量下滑之際。報告指出,這是礦企保護盈利能力和部署高效礦機的努力。然而,它也可能成為比特幣價格上漲的一個主要障礙:“雖然這明顯有助于礦企的盈利能力,并可能減輕礦企出售比特幣以提高流動性或去杠桿化的壓力,但生產成本的下降可能被視為對比特幣未來價格前景的負面影響。一些市場參與者認為,生產成本是熊市中比特幣價格區間的下限。”(Coin Gape)[2022/7/14 2:12:57]

圖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來實現這一點。

Tags:SequenceFOX以太坊Sequence幣是什么幣FOX幣FOX價格以太坊幣是什么幣

波場
區塊鏈:為什么智能合約代碼審計對區塊鏈項目至關重要?

智能合約安全審計基本上是識別項目代碼中的漏洞,并使用審查公司認為合適的各種方法或工具來修復它們。其理念是確保不存在任何可能危及平臺用戶資金安全的錯誤.

1900/1/1 0:00:00
加密貨幣:今日加密貨幣價格:BTC上漲 3.45%,SHIB 上漲 2.08%

今天的加密貨幣價格:市場以綠色交易,因為在過去24小時內大量加密貨幣上漲。自進入新的一年以來,市場一直很樂觀。截至撰寫本文時,比特幣在過去24小時內上漲了3.45%。柴犬增加2.08%.

1900/1/1 0:00:00
LUNC:接下來 LUNC 是 0.001 美元?

TerraLunaClassic社區支持的核心開發小組聯合L1特別工作組(L1TF)提出了一項錯誤賞金計劃.

1900/1/1 0:00:00
ZOS:TEZOS,從治理明星到STO領航者

BCH又雙叒叕分叉了。起因是一個“基礎設施融資計劃”的升級,它想要做的是把礦工挖礦收益的一部分捐贈給向BCH提供技術支持的項目,而社區和很多礦工卻不同意這種強制性的協議修改.

1900/1/1 0:00:00
區塊鏈:五大模塊化區塊鏈的體系結構、共識機制等探析

比較模塊化區塊鏈的線程 探索它們的體系結構、可擴展性解決方案、共識機制和互操作性特性。 共識機制 PolyBFT(多邊形拜占庭容錯)Avalanche共識,節點間重復子采樣和DAG中的傳遞投票B.

1900/1/1 0:00:00
ADS:為何就是不好好賣咖啡?“資本網紅”瑞幸財務造假事件深度分析!

以前上班的寫字樓大廳就有一家瑞幸咖啡,不過對咖啡沒有特殊喜好,很長時間也就只點過一次外賣。倒是在參加拆書幫的活動時去過一次他們家的線下店,也從拆書幫的小伙伴那里聽說過這這個品牌的野心:要超越星巴.

1900/1/1 0:00:00
ads