PRO:為什么說ZK挖//礦是下一個值得布局的賽道？_ROO

??如果你以前并不了解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倍，兩者之間始終存在延遲。

?

?

馬斯克再次成世界首富，凈資產達1920億美元:金色財經報道，據報道，特斯拉首席執行官埃隆?馬斯克已經重新奪回了世界首富的頭銜。周三，法國奢侈品大亨伯納德?阿爾諾的LVMH集團股價在巴黎交易中下跌了2.6%，使得其財富被馬斯克超過。

?根據彭博億萬富翁指數顯示，馬斯克現在的財富約為1923億美元，而阿爾諾的財富約為1866億美元。[2023/6/1 11:51:46]

如果無法解決ZKProof生成時間過長的問題，就會對Layer2的可用性產生負面影響。最直接的影響就是跨鏈轉賬。通常情況下，用戶在Layer2發起一筆向Layer1的轉賬，會先被Sequencer節點處理，隨后包含跨鏈轉賬的TxBatch會發布到Layer1上。但此時，這個Batch尚未生成對應的Proof，無法通過驗證。

?

?在這種情況下，跨鏈橋不會為這筆跨鏈轉賬放行。只有對應的ZKProof提交到了Layer1的指定合約，并經過驗證，跨鏈轉賬才會得到跨鏈橋的確認并通過。此外，ZKProof生成過程太慢，也不利于實現Sequencer的去中心化。

?

?3.所以，如何提高ZKProof的生成速度將是決定ZKRollup未來發展的重大問題

Maker創始人提案：實施Maker憲法、治理參與激勵:金色財經報道，Maker 創始人 Rune Christensen 在治理論壇發布名為Endgame的治理改革提案，內容包括實施Maker憲法、治理參與激勵（2023 年）以及重用 SubDAO 以簡化 MakerDAO 治理關注點（2024）。

Rune 表示，在 Endgame 中，SubDAO 的主要任務包括維護去中心化前端、分配 Dai 抵押品、處理運營效率風險、邊際決策以及試驗創新產品和增長戰略，使 Maker 治理能夠專注于降低尾端風險和資產負債管理。Endgame 旨在應對區塊鏈行業面臨的關鍵機遇和挑戰，通過建立彈性和可靠的治理平衡，使 Maker 治理更加高效、透明和包容。Endgame 還促進了可擴展和可并行的產品創新和增長戰略。[2023/3/20 13:14:20]

目前看來，定制高性能的ZK加速芯片、推出激勵機制促使Prover節點間展開競爭，將是縮短ZKProof生成時間的最有效方式。我初步閱讀了Scroll、Hermez、Taiko等ZKRollup的文檔，了解到POE機制。

?

?我認為Scroll和Hermez可能是最值得關注的ZKRollup。如果項目方能夠將其設想充分實現，那么這兩者將是最適合ZK挖//礦的理想鄉。在下面的陳述中，我將針對我的論點展開一些論述。

Justin Sun：Huobi不會向稅務機關共享客戶信息，除非遵循國際司法協助程序:1月30日，Huobi 委員會成員 Justin Sun 在回復社區關于“Huobi 等平臺向中國稅務機關提供客戶信息協助征稅”相關討論時表示，目前，Huobi Global 總部位于塞舌爾，并在加勒比地區開展業務。除非遵循國際司法協助程序，否則 Huobi Global 不會向稅務機關共享任何客戶信息。

今日早些時候報道，Justin Sun 在其社交平臺表示，隨著加密貨幣市場的不斷成熟和主流采用的增長，Justin Sun 決定轉移至香港，以便在亞洲市場搶占先機。[2023/1/30 11:36:48]

?

?4.ZK加速方案的必要性

由于ZKRollup需要先將傳統編程語言轉換為對ZK證明友好的形式。同時，常用的SHA256或Keccak函數對ZK也很不友好，要生成對應的ZKProof會產生很長的耗時。這些復雜操作會大幅延長證明生成時間。

?

?Scroll的聯創ZhangYe的一篇論文曾提及，目前的ZK-SNARK證明雖然驗證速度快，但其生成過程仍然十分困難。通常情況下，為一段程序生成對應的ZKProof，首先要將程序轉化為一個約束系統，其尺寸大小通常可以達到原始程序的幾倍，最高可達幾百萬倍。隨后，證明程序要在一個大的有限域上執行一系列數學運算。

彭博社：BlockFi正為其破產重組削減成本，將裁撤近70%員工:11月29日消息，據法庭文件顯示，BlockFi法律顧問Mark Renzi在向法庭提交的聲明中表示，BlockFi出售了其所持股份以支付預期的破產費用，并且不打算在受法院保護期間通過貸款來為自己提供資金。當前BlockFi正為其破產重組計劃著手削減成本，已向近250名員工發出裁員通知（總員工規模約370人）。

Mark Renzi表示，BlockFi打算在破產法庭重組而不是出售自己，但對任何能最大限度為債權人追回債務資金的交易持開放態度。用戶最終能拿回多少資產很大程度上取決于其他加密借款人能否履行與BlockFi的合同以及FTX Group的破產情況如何。在FTX破產后，該公司別無選擇，只能為其債權人尋求法律保護。（彭博社）[2022/11/29 21:08:40]

?

?其中產生的操作量與對應的程序相關，但與約束系統中的約束數量相比，其操作量總是超線性的。大多數情況下，生成zk-SNARK的時間要比驗證它的時間長得多，有時兩者的差距可達到幾百倍，比如僅僅是為一次支付事務生成Proof就可能長達幾分鐘，其執行過程卻僅需要幾十毫秒而已。

?

?

5.對此，Scroll提出了名為PipeZK的ZK加速解決方案

以太坊L2擴容解決方案Arbitrum鏈上交易量突破5000萬筆:金色財經報道，據 Dune Analytics 數據顯示，以太坊 Layer2 擴容解決方案 Arbitrum 鏈上交易量已突破5000萬筆，本文撰寫時達到5034.4萬筆，鏈上鎖定的ERC20數字資產總規模達到33.18億美元。此外，Arbitrum當前跨鏈橋接存儲總價值已達到1,929,938枚 ETH，按照當前 ETH 價格計算超過 30億美元。[2022/10/31 11:59:59]

該方案可以在普通消費級硬件上將ZKProof的生成過程提高接近200倍。如果未來再結合FPGA和ASIC等專用硬件，加速效果或將進一步提升。

?

?同時，Scroll表示將于未來實現Layer2節點的去中心化，允許用戶運行Prover節點參與到ZKRollup網絡運行。按照其愿景，如果普通用戶可以自//由的運行Prover節點，通過生成和提交Proof來獲得獎勵，其實質就構成了“挖//礦”行為；

?

?

此外，可以讓多個Prover節點同時參與Proof生成。由于Sequencer可以在短時間內執行大量交易，將其打包為多個Batch，這N個Batch就可以交給至少N個Prover節點來生成Proof。同時，N個Proof還可以被聚合到一起，這樣就可以讓聚合版Proof覆蓋的交易數量更多，進而節約在Layer1上發布Proof產生的Gas成本。

?

?

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：PROROOProofROVERALL.ART protocolROOBEE價格Evident Proof Transaction TokenMicroverse

比特幣交易