PRO:一文讀懂Opside的ZK-PoW算法

Opside提出的ZK-PoW算法，具有以下優勢：

一個市場化的ZK算力定價機制，不但可以用于擴容（ZK-Rollup），在未來也可以應用于AI（ZKML）

為即將到來的ZK-Rollup（尤其是zkEVM）的大規模爆發提供了海量算力平臺；同時也為大量閑置的礦工提供了新的挖礦場景

ZKP的兩步提交算法，為ZK-Rollup提供了標準的去中心化Prover機制

優化的ZKP計算與提交機制，將生成ZKP的效率提高了80% 

當前，以太坊主網上已經有多個ZK-Rollups在運行了，包括Polygon zkEVM以及zkSync era。然而實際上目前絕大部分的ZK-Rollup項目都沒有實現去中心化的prover。例如Polygon zkEVM的beta mainnet中依靠trusted aggregator來提交ZKP，zkSync era也是類似。

DWF Labs將價值約223萬美元YGG轉入幣安:金色財經報道，據鏈上分析師余燼監測，DWF Labs將3,649,995枚YGG（約合223萬美元）轉入幣安。DWF Labs是在2023/2/10從YGG財庫獲得800萬枚YGG，并分三次轉入幣安，2023/2/14，轉入幣安70萬；2023/6/19，轉入幣安365萬；2023/8/6，轉入幣安365萬。[2023/8/6 21:28:07]

當ZK-Rollup數量不多的時候，中心化的prover是可行的。但是隨著ZK擴容技術的成熟，特別是未來一到兩年時間內zkEVM技術的逐漸落地，ZK-Rollup數量將迎來非常可觀的增長。在海量ZK-Rollup的情況下，中心化的prover也會引發很多問題：

首先，prover成本高昂，且需要專業的設備與機房，不是每一個ZK-Rollup的運營者都具有維護一個中心化的prover集群的能力。因此我們需要專業的礦工來承擔未來海量的ZK-Rollup的算力需求

其次，如果只有一個prover，那么單節點宕機就會造成整個ZK-Rollup的交易無法被確認。我們需要一個去中心化Prover機制來鼓勵多個礦工同時參與一個ZKP的計算，并獲得對應的獎勵。

上海市檢察二分院：利用虛擬幣進行外匯兌換屬于非法買賣外匯行為:金色財經報道，上海市檢察二分院發文稱，日前，上海市人民檢察院第二分院依法提起公訴的一起利用虛擬貨幣非法買賣外匯案件獲得判決支持，法院以被告人王某構成非法經營罪判處其有期徒刑3年3個月，并處罰金人民幣3萬元。該案系以虛擬貨幣為媒介非法買賣外匯的新型犯罪案件。

檢察官提醒，本案中，因為摻雜了虛擬貨幣買賣、網絡代付、代充值等所謂跨境電商業務元素而具有極強的迷惑性。與早期的在銀行等金融機構門前從事“站樁黃牛”非法換匯，以及后來的通過地下錢莊實現人民幣與外匯的對敲交易不同，本案被告人所實施的是以虛擬商品交換為媒介的非法買賣外匯行為。以虛擬幣為交易媒介，實現外匯與人民幣的貨幣價值轉換，包括以人民幣兌換虛擬幣、再將虛擬幣兌換為外匯，或以外匯兌換虛擬幣、再將虛擬幣兌換為人民幣的行為，其均屬于非法買賣外匯行為。網絡不是法外之地，虛擬貨幣也不能成為犯罪的障眼法。任何以合法形式掩蓋非法目的的行為終將受到法律的嚴懲。[2023/5/10 14:54:29]

最后，我們需要一個標準化的ZKP優化算法，來提升整體的硬件效率。

香港特區行政長官李家超、中聯辦將出席Web3.0協會成立典禮:4月11日消息，香港特區行政長官李家超、北京中央駐港聯絡辦公室領導將出席今日在香港交易所舉行的Web3.0協會成立典禮，以顯示北京中央及特區政府的支持。

此前消息，多個行業領導人和立法會議員組成的香港Web 3.0 協會將于本月11日正式成立，組成者包括金融界和科技界重量級人物，并計劃設立Web3Hub基金。（香港中通社）[2023/4/11 13:56:06]

作為一條高度去中心化的公鏈，Ethereum已經擁擠不堪，gas fee極其昂貴。很多Web3應用，尤其是金融衍生品、Game、社交網絡等，需要往layer 2 或者其他公鏈遷移。其實，單純提供高性能和低gas的執行環境并不難，一些中心化的方案可以很容易做到這一點。難的是如何在保證高性能和低gas同時，保持高度的去中心化程度。

在Opside 的設計中，每一個 Web3 應用都可以擁有一個專屬的 ZK-Rollup，并且可以自由選擇base chain。目前，Opside支持4 條base chain，分別是Ethereum、Opside、BNB chain、Polygon。也就是說，開發者可以選擇在這4 條公鏈上面部署自己的ZK-Rollup。為了支撐數量眾多的ZK-Rollups 帶來的海量硬件資源的需求，Opside 還提供了一個統一的 ZKP 算力市場，鼓勵Miner來為這些ZK-Rollups 生成 ZKP。

彭博通過Kaiko擴展加密數據產品:金色財經報道，數字資產數據提供商Kaiko宣布，其單一資產加密貨幣價格現在可以在彭博終端上以及通過彭博的旗艦實時市場數據饋送B-PIPE獲得。彭博終端和B-PIPE用戶現在可以訪問Kaiko Global Tick (KKGT)，這是一套機構級加密價格，包括兩個數據集：Kaiko Aggregated Quotes 提供實時最佳買價和最佳賣價，而Kaiko Price Rates匯總了選定交易所的前50種資產的實時執行交易數據。

彭博最近宣布將其在彭博終端上的加密貨幣數據覆蓋范圍擴大到前50種加密資產，使客戶能夠實時監控更多加密貨幣、指數和期貨合約的盤中價格，從而實現更快的數據驅動投資決策。[2022/10/20 16:32:45]

Opside采用了PoS和PoW混合共識。其中PoS部分是基于ETH 2.0 的共識改進的。因此，Opside將擁有超過10 w多個validator來提供海量的數據可用性，同時具有高度的去中心化程度。

Optimism已啟動第二輪治理提案投票:6月24日消息，以太坊 Layer 2 網絡 Optimism 已于北京時間今日 3:00 啟動第二輪治理提案投票，投票將持續至北京時間 7 月 7 日 3:00。本輪被批準就 OP 代幣分配進行投票的項目包括了 ParaSwap、Optimistic Railway、dForce、GYSR、Mean Finance、Raptor、Balancer 與 BeethovenX、Summa、WardenSwap、Pickle Financ。此外，Ooki Protocol、Infinity Wallet、Beefy、0xHabitat、Thales 也已提交提案但目前未獲得明確批準。

此前結束的第一輪治理提案投票中，共有 25 個項目的提案獲得了通過，總計將向這 25 個項目分配 3600 萬枚 OP 代幣。[2022/6/24 1:28:46]

在Pre-Alpha測試網階段，根據PoW算法，一個Opside區塊內，每個Rollup會按照一定規則提交一個sequence。所有sequence根據當前Rollup slots注冊數量來以及包含的batch數量來劃分當前區塊的PoW獎勵。當然，可能某些rollup在某些區塊沒有提交sequence，因此PoW實際的通脹會低于預期。

Miner可以自由選擇參與其中一個或者多個Rollup的ZKP計算。在未來，各個sequence將根據對應的ZK-Rollup類型、所包含的Rollup交易數量、gas使用量等進行工作量預估，從而對不同sequence進行不同的定價。

為了避免Miner相關的惡意行為，Miner需要在一個特殊的系統合約中注冊，并質押代幣。Miner需要在系統合約中為一個Rollup質押相應的token，才可以為該Rollup提交ZKP。Miner提交ZKP獲得的獎勵也將依據質押量比例來分配，從而避免Miner多次提交ZKP的惡意行為。

更多細節請參考Opside Tokenomics

為了鼓勵多個礦工同時參與一個ZKP的計算任務，Opside提出了一個兩步提交的ZKP驗證機制。一個ZKP對應的PoW獎勵份額，會按照一定規則分配給有效ZKP的提交者，也就是礦工。

1. 提交proofhash：在一個時間窗口內，對于某個sequence，允許多個礦工參與zero-knowledge proof的計算。各個礦工計算出proof之后，并不直接提交原始的proof，而是計算（proof / address）的proofhash，并向合約提交proofhash。

2. 提交ZKP：在時間窗口后，礦工提交原始的proof，并與之前提交的proofhash進行驗證。驗證通過的礦工都可以得到PoW獎勵，獎勵金額按照礦工質押量的比例來分配。

更多細節請參考ZKP's Two-Step Submission Algorithm

Rollup的智能合約驗證ZKP的時候，如果提交的是原始proof數據，就有可能引發鏈上攻擊行為。為了防止惡意攻擊行為，ZK-Rollup往往需要進行額外的工作量來隱藏原始的proof數據。有一種解決方案是，礦工提交的ZKP包含了對礦工地址的聚合結果。Opside提出的ZKP的兩步提交算法，則巧妙地采用了先提交+后驗證的模式，不再需要對proof和地址做類似的不必要的聚合計算。

此外，在一些開源的zkEVM中，ZKP的計算與提交都是串行的。當ZK-Rollup提交了大量的sequence時，礦工無法同時計算多個ZKP。在Opside中，ZKP的兩步提交算法實現了ZKP的并行計算與串行提交，允許礦機同時執行多個ZKP生成任務，從而大大加速了ZKP的生成效率。

Opside團隊還對ZKP遞歸聚合算法進行了一系列的優化，充分提升了集群內機器資源的利用率，進一步提高了ZKP的計算速度。

在實際的壓測環境中，礦工擁有20 臺128 core CPU + 1 TB RAM組成的機器集群，測試交易穩定在27.8 TPS約40 分鐘。在相同條件下，Opside將交易的平均確認時間從約5-6 分鐘降低到了約3 分鐘，ZKP生成效率提高了約80% 。在未來，隨著更多ZK-Rollup以及礦工的加入，ZK算力市場的需求端和供給端的規模將進一步擴大，Opside的PoW算法帶來的效率提升將體現得更加明顯。

Opside提出的ZK-PoW算法，創造性地定義了一個市場化的ZK算力定價機制。這個算力市場為即將到來的ZK-Rollup（尤其是zkEVM）的大規模爆發提供了海量算力平臺；同時也為大量閑置的礦工提供了新的挖礦場景。

ZKP的兩步提交算法，為ZK-Rollup提供了標準的去中心化Prover機制，鼓勵更多的礦工提供穩定、持續的ZKP算力。同時，優化的ZKP計算與提交機制，將生成ZKP的效率提高了80% 

在未來，Opside的PoW機制的應用場景可以輕易地拓展，不但可以用于擴容（ZK-Rollup），在未來也可以應用于AI（ZKML）。

Opside Team

個人專欄

閱讀更多

金色財經

SevenUp DAO

金色圖覽

LK Venture

金色薦讀

區塊律動BlockBeats

Tags：ZKPROLLROLPROZKP幣roll幣出獠牙肩幾率BankRollYYFI Protocol

FIL幣