??如果你以前并不了解ZKRollup,同時對“ZK挖//礦”這個名詞感到耳目一新,那么這條Thread將是值得你閱讀并轉發的好材料!
?
?1.ZKRollup中的兩大核心角色
主流的ZKRollup如StarkWare等,其架構包含兩大角色:SequencerProver
?
?Sequencer負責執行Layer2網絡內的交易,將這些交易事件排序,打包成交易批次。我們可以將Batch理解為壓縮版的Layer2區塊數據。Sequencer會定期將生成的Batch發布出去,Prover會自動讀取Batch,為其生成一個ZKProof,交由Layer1上的指定智能合約進行驗證。
?
2.在現在的ZKRollup方案中,Sequencer與Prover的工作速度相差甚遠
在目前的家用電腦上,每秒可執行約4000筆交易,但為每筆交易生成Proof卻需要約1.5秒~2.5秒,相當于每秒僅能為0.6筆交易生成Proof。這樣算來,Sequencer和Prover的工作效率相差至少5000倍,兩者之間始終存在延遲。
?
?
數據:Tether今日再次鑄造10億枚USDT,7日內已鑄造50億枚USDT:金色財經報道,據 Lookonchain 監測顯示,Tether 剛剛又在 Tron 上鑄造了 10 億枚 USDT,過去 7 天 Tether 已在 Tron 與以太坊上鑄造 50 億枚 USDT。[2023/3/21 13:17:31]
如果無法解決ZKProof生成時間過長的問題,就會對Layer2的可用性產生負面影響。最直接的影響就是跨鏈轉賬。通常情況下,用戶在Layer2發起一筆向Layer1的轉賬,會先被Sequencer節點處理,隨后包含跨鏈轉賬的TxBatch會發布到Layer1上。但此時,這個Batch尚未生成對應的Proof,無法通過驗證。
?
?在這種情況下,跨鏈橋不會為這筆跨鏈轉賬放行。只有對應的ZKProof提交到了Layer1的指定合約,并經過驗證,跨鏈轉賬才會得到跨鏈橋的確認并通過。此外,ZKProof生成過程太慢,也不利于實現Sequencer的去中心化。
?
?3.所以,如何提高ZKProof的生成速度將是決定ZKRollup未來發展的重大問題
目前看來,定制高性能的ZK加速芯片、推出激勵機制促使Prover節點間展開競爭,將是縮短ZKProof生成時間的最有效方式。我初步閱讀了Scroll、Hermez、Taiko等ZKRollup的文檔,了解到POE機制。
BitKeep Swap跨鏈新增支持Optimism:3月3日消息,多鏈錢包BitKeep宣布,BitKeep Swap已增加對二層網絡Optimism的支持,提供Optimism上所有token在單鏈、多鏈間的直接兌換功能,無需使用ETH作為Gas費。目前,BitKeep Swap已支持16條鏈跨鏈交互,用戶可以在Optimism與其它15條鏈之間進行自由詢價、兌換,獲取任意幣對間最有效的交易路徑和最優價格。[2023/3/3 12:40:40]
?
?我認為Scroll和Hermez可能是最值得關注的ZKRollup。如果項目方能夠將其設想充分實現,那么這兩者將是最適合ZK挖//礦的理想鄉。在下面的陳述中,我將針對我的論點展開一些論述。
?
?4.ZK加速方案的必要性
由于ZKRollup需要先將傳統編程語言轉換為對ZK證明友好的形式。同時,常用的SHA256或Keccak函數對ZK也很不友好,要生成對應的ZKProof會產生很長的耗時。這些復雜操作會大幅延長證明生成時間。
?
?Scroll的聯創ZhangYe的一篇論文曾提及,目前的ZK-SNARK證明雖然驗證速度快,但其生成過程仍然十分困難。通常情況下,為一段程序生成對應的ZKProof,首先要將程序轉化為一個約束系統,其尺寸大小通常可以達到原始程序的幾倍,最高可達幾百萬倍。隨后,證明程序要在一個大的有限域上執行一系列數學運算。
BUK Technology完成10萬美元pre-seed輪融資,Polygon Studios聯創領投:11月29日消息,基于NFT的代幣化客房預訂和轉售平臺BUK Technology宣布完成10萬美元pre-seed輪融資,Polygon Studios聯合創始人Sandeep Nailwal領投。
據悉,BUK致力于構建酒店市場代幣化平臺,用戶可以在該平臺上對預訂客房進行公開交易和轉售并獲得代幣收益,酒店經營者也能夠以NFT形式開發、存儲、管理客房并推銷服務,為酒店行業帶來Web3創新。[2022/11/29 21:09:57]
?
?其中產生的操作量與對應的程序相關,但與約束系統中的約束數量相比,其操作量總是超線性的。大多數情況下,生成zk-SNARK的時間要比驗證它的時間長得多,有時兩者的差距可達到幾百倍,比如僅僅是為一次支付事務生成Proof就可能長達幾分鐘,其執行過程卻僅需要幾十毫秒而已。
?
?
5.對此,Scroll提出了名為PipeZK的ZK加速解決方案
該方案可以在普通消費級硬件上將ZKProof的生成過程提高接近200倍。如果未來再結合FPGA和ASIC等專用硬件,加速效果或將進一步提升。
Stasis宣布完成了與XRP Ledger的歐元支持的穩定幣集成:金色財經報道,Stasis宣布完成了與XRP Ledger的歐元支持的穩定幣集成,以擴大其用于通過其歐元支持的穩定幣 EURS 促進跨境支付的結算層。?XRP Ledger 是由社區和跨境支付公司 Ripple 開發的開源區塊鏈。Stasis 旨在通過將區塊鏈與 EURS 集成來使跨境支付更便宜、更快捷,并提高可擴展性。?[2022/11/1 12:06:29]
?
?同時,Scroll表示將于未來實現Layer2節點的去中心化,允許用戶運行Prover節點參與到ZKRollup網絡運行。按照其愿景,如果普通用戶可以自//由的運行Prover節點,通過生成和提交Proof來獲得獎勵,其實質就構成了“挖//礦”行為;
?
?
此外,可以讓多個Prover節點同時參與Proof生成。由于Sequencer可以在短時間內執行大量交易,將其打包為多個Batch,這N個Batch就可以交給至少N個Prover節點來生成Proof。同時,N個Proof還可以被聚合到一起,這樣就可以讓聚合版Proof覆蓋的交易數量更多,進而節約在Layer1上發布Proof產生的Gas成本。
Coinbase CFO:新的機構質押產品不會成為“近期現象”:金色財經報道,Coinbase首席財務官Alesia Haas稱,Coinbase新的以機構為中心的質押產品不會成為“近期現象”,而流動性質押仍在制定中。Haas表示,機構質押率目前不會起飛,除非在解決資產鎖定相關問題以后。[2022/8/12 12:21:19]
?
?
6.這相當于采用并行計算的方式完成Proof生成
由于多個Proof可以被聚合為單個Proof,最后的聚合版Proof可以一次性覆蓋N個交易Batch,如果將每個交易批次包含的交易數量適當縮減,調動更多Prover參與到并行生成Proof的工作中,相當于在同一時刻運行更多的Prover線程,理論上可以進一步縮短Proof生成時間
?
?這將有助于提高ZKRollup的可用性,也可以擴大Prover節點的規模,進而為ZK加速芯片打開市場需求空間。
?
?7.同為ZKEVM解決方案的Taiko則在并行化的基礎上提出了窗口期的設定
對此,Taiko在其文檔中有明確的解釋:當一個待證明的Layer2區塊被生成時,會發布到Layer1上,等待Prover節點為其生成對應的Proof證明。但Taiko設置了窗口期,如果一個待證明的交易批次在規定時間內沒有被證明,就可以被拋棄或被替換
?
?
這就會敦促Layer2區塊生產者Sequencer自行尋找具有更高性能的Prover節點,與其合作在更短的時間內生成Proof。這種方法可以在一定程度上排除掉“不作為”的Prover節點運行者,但如果窗口期設置的過長,仍然無法高效刺//激Prover節點提高其效率。
?
?8.為此,Polygon的Hermez項目組提出了一個很有意思的構想,名為ProofOfEfficiency
它允許多個Prover無需許可的參與到ZKProof生成過程,并讓這些Prover節點展開競爭,最終的Proof獎勵只會分配給第一個成功的節點。
?
?
在POE機制下,Prover以無許可的方式參與到Proof的生成過程中,雖然Hermez并未對此處的“無許可”做出明確解釋,但我個人分析認為,“無許可”可能意味著Prover節點無需質押代幣也無需事先注冊,可以直接讀取Sequencer發布到Layer1上的交易批次,并為其生成對應的Proof。
?
?
Hermez在其POE方案中稱,允許多個Prover節點以競賽的方式提交Proof并獲得獎勵,如果某個Prover是第一個生成正確Proof的節點,它將獲得全部的Proof生成獎勵,該筆獎勵由Sequencer以懸賞的形式進行支付。
?
?結合上文中提到,Taiko曾提出“窗口期”概念,如果Sequencer提交到Layer1的交易批次長時間未生成對應的Proof,就會被廢棄,Sequencer一般會有很強的動力去提高Proof懸賞金額,刺//激Prover群體高效工作。
?
?這樣一來,Sequencer或ZKrollup項目方相當于把ZKProof加速策略委托給Prover節點運行者去研發,通過懸賞市的競賽機制,可以很大程度上調動廣大礦工的積極性,不失為一種共贏策略。
?
?9.對于POE方案存在的問題
提出者本人也曾指出,僅將全部的Proof生成獎勵分配給一個Prover可能不太公平,因為網絡延遲或者交易審查會影響Proof的提交時間,所以更好的優化方法是將獎勵分配給Proof提交時間相近的幾個Prover節點,這樣可以更好的激勵Prover群體,也能保留住更大規模的Prover節點群。
?
10.如果Prover節點順利去中心化,并且全部的Proof獎勵分配給性能最優越的幾個Prover運營方,類似比特幣礦池的組織形式極有可能出現,這些Prover礦池由許多散戶礦工貢獻的設備連接而成,按照每個人貢獻的算//力分配獎勵。
?
?同時,由于ZKProof生成任務可以并行化,可切分,擁有的加速芯片越多、使用的生成策略越優秀,獲得的獎勵就會越多。照此看來,ZK挖//礦很有可能復制比特幣挖//礦的老路,挖//礦設備會不斷的更新迭代,組織形式將以礦池為主,而ZKRollup本身也將大幅受益于這種變遷。
?
?但需要明確的是,以上討論僅在ZKRollup得到大規模采用后才有落地的可能,而現在的討論仍然是超早期話題。這是因為,ZKProver礦工的激勵來自于Layer2的用戶手續費,不同于以太坊會不斷增發代幣激勵礦工,如果單純靠手續費激勵礦工群體,可能無法維持龐大的prover群體。
?
?所以單個ZKrollup的Prover群體注定不會特別大但danksharding后會搭載多個zkrollup,如果把他們當做一個整體來看的話,zkminer的空間還是不小雖然比不上比特幣和以太坊挖//礦,但與萊特幣或ETC或許還是可以相提并論的。
畢竟在這個“幣圈一天,人間一年”的領域里,一切皆有可能。
?
?本文由黑貓貓財經原創,歡迎關注,帶你一起長知識!
Tags:PROProofROOVERThe Crypto PropheciesEvident Proof Transaction TokenROOBEE幣vera幣怎么賣
親愛的Dcoin用戶: Dcoin跟單上線以來吸引眾多頂級交易員入駐;Dcoin特此設立牛人交易員季度打破記錄獎:入駐首日合約交易打破歷史收益最高即可獲得666USDT體驗金!活動時間:9月1日.
1900/1/1 0:00:00金色財經報道,今天發布的HIP70提案詳細說明了為什么Helium的核心開發人員希望將網絡從自己的定制鏈轉移到Solana.
1900/1/1 0:00:00KuCoinisextremelyproudtoannounceyetanothergreatprojectcomingtoourtradingplatform.
1900/1/1 0:00:00公眾號 近期,一則關于“幣安對用戶賬戶進行風控”的消息在各個群內傳的沸沸揚揚,很多人看到后都擔心幣安是不是把自己的信息也交出去了.
1900/1/1 0:00:00敬的唯客用戶您好! 于2022/08/3013:02開始部份地區軟件App出現網絡異常情況,技術正在加急排查中,造成不便敬請見諒.
1900/1/1 0:00:00做市 - 崗位職責 參與項目研發,代碼縮寫;參與交易所項目的業務學習與研究;參與攻克交易所業務難關;參與架構設計與項目準化制定等;參與新技術研發.
1900/1/1 0:00:00