來源:吳說區塊鏈
在公鏈賽道,零知識證明的路線已經十分清晰。未來大概率會形成以以太坊L1為核心保證安全性,在L2上部署ZKP以實現隱私功能的局面。除L2之外使用ZKP的公鏈還包括Aleo、Mina和Filecoin。
隨著以太坊結束POW,而ZKP又需要大量算力維持,因此可預見的將來,ZKP將承擔大量GPU算力。Messari在6月份的文章《WhatWillEthereumMinersdoAfterTheMerge?》中分析過ZKP承接以太坊算力的可行性。
“隨著用戶尋求更具表現力、高性能和私密性的計算,使用ZKP的復雜性將會增加。這將導致生成證明的速度變慢,需要使用專門的硬件才能及時生成證明。當比特幣首次推出時,任何擁有標準CPU/GPU的人都可以挖掘比特幣。最終,專業礦工開發了更高效的硬件,這使得CPU/GPU挖礦不再盈利。ZK挖礦很可能遵循類似的路徑,從標準GPU礦工開始,然后開發更高效的礦機。ZKP仍處于起步階段,但Paradigm預測ZK礦工/證明者市場在將來可能會增長到相當于PoW采礦市場的規模。”
Zeko Labs與O(1) Labs、dcSpark合作推出L2 ZK Rollup生態系統Zeko:7月27日消息,Zeko Labs 與 Mina 開發團隊 O(1) Labs 和 dcSpark 合作,推出專門為零知識應用程序(zkApps)設計的 L2 ZK Rollup 生態系統 Zeko,由 Mina Protocol 進行結算,Zeko 將允許開發人員大規模構建具有可編程隱私性的去中心化應用程序。[2023/7/27 16:01:25]
對比FPGA和GPU,頂級FPGA的硬件成本僅為頂級GPU的1/3,且能耗比超出GPU10倍。對比FPGA和ASIC,ASIC在編程時是一次性的,而ZKP的代碼不像比特幣那樣穩定不變,且不同ZKP的邏輯也存在差異,顯然ASIC不適合這種多變的業務。而FPGA只需簡單地刷新就可以修改程序,這意味著可以兼容多套ZKP邏輯。
因此更長遠的未來,FPGA有可能統治ZKP礦業,然而FPGA編程難度較大,目前該技術尚不成熟。短期內,GPU將會是ZKP礦業的主要設備。對于那些曾經的以太坊礦工,相較于將算力投入到如ETC或ETHW等被拋棄的公鏈上,他們自然有更大的商業動機去支持ZKP公鏈。
Uniswap貢獻者提議在Coinbase L2 Base部署DEX:金色財經報道,Uniswap貢獻者已經開始討論在Coinbase的Layer 2 Base上部署的可能性。該提議是由三個Uniswap貢獻者團體提出的,即she256、密歇根區塊鏈和GFX實驗室。
該提案背后的團體構成了Uniswap的去中心化自治組織的一部分。三人中的GFX實驗室將負責在Base上進行合約的技術實施,但前提是該提議獲得批準。[2023/5/18 15:09:52]
L2ZKP
當前ZK-Rollup的Proof和Batch提交過程目前是中心化的,由單一的Sequencer來決定提交的順序。如果要擴大礦工規模,這個過程需要實現去中心化,即任何礦工可以向L1提交Proof。關于如何實現去中心化,Vitalik曾提出過一些建議,例如成立一個DAO來進行定期的Sequencer決定權拍賣,或是隨機分配給其中一個節點而節點被選中的概率則和它存入Rollup的ETH數量成正比。然而無論哪種方式本質上都屬于POS機制,即由質押量的大小決定收入的高低,這與傳統挖礦方式有所不同。
跨鏈路由協議Multichain集成到Nervos L2 Godwoken:9月13日,據官方推特宣布,跨鏈路由協議Multichain集成到Nervos Layer 2 Godwoken,現允許USDC、USDT、DAI、ETH和wBTC和其他11個主流鏈之間的無縫轉賬。
據悉,Godwoken是Nervos CKB上EVM兼容的Optimistic Rollup L2解決方案,Encentive和Nervos生態系統的深入整合,將降低用戶準入門檻,并加速Web2數十億用戶向Web3的遷移。[2022/9/13 13:26:08]
當前,采用ZK-Rollup的主要L2包括zkSync和StarkNet。
zkSync的日常運行取決于為區塊生成零知識證明的計算服務提供商,即“StichtingZKSync”,這是一家在阿姆斯特丹注冊的非營利性荷蘭基金會。根據開發團隊MatterLabs的發展路線圖,zkSync未來計劃通過引入一個獨立的共識機制來實現去中心化,該機制具有兩個不同的角色:驗證者和Guardians。驗證者負責將交易打包成塊并為其生成零知識證明,他們的節點必須在具有良好互聯網帶寬的安全環境中運行,也就是我們通常理解的大礦池。
數據:三月份以太坊L2 Gas消耗創歷史新高:4月1日消息,據DuneAnalytics數據,三月份以太坊L2網絡Gas消耗達349.29億gas,創歷史新高。
該統計包含的L2網絡及協議為:Arbitrum、Aztec、DeversiFi、BobaNetwork、DyDx、ImmutableX、Loopring、Optimism、Metis A.、PolygonHermez、Sorare、ZkSwap以及ZkSync。[2022/4/1 14:31:30]
Guardians是zkSync的Token持有者,根據Token份額來提名驗證者。Guardians的節點可以在普通電腦或云服務器上運行,不需要專門的服務商,因此不容易被審查。反之,Guardians可以通過監控交易數據選出不受審查的驗證者節點。
StarkNet在去中心化道路上同樣需要發行Token。目前,StarkNet手續費使用ETH支付,之后或許會使用StarkNet原生Token,也可能同時支持原生Token和ETH支付。Token除了用來支付手續費以外,還可以通過質押來對包括交易排序、STARK證明等做主投票決定,提高網絡完全性和抗審查性。
IOEN完成280萬美元融資,SL2 Capital領投:9月28日消息,基于可持續能源的區塊鏈項目IOEN完成280萬美元融資,SL2 Capital領投,Polygon (Matic)、Skyman Ventures、Holo、Mashable、Black Dragon、Insignius Capital、Twin Apex、Exnetwork Capital、Bullish Unicorn、AU21、Dizer Capital LLC、Solidum和Extrwatts等參投。(Investing)[2021/9/28 17:13:16]
參考由Ohad提出的一則提案:添加基于BFT的定序器,排序者根據他們的股份進行選擇,為每個插槽選擇特定序列器。這個過程當中,網絡會添加一個slashing規則,盡可能以最佳方式在定序器和證明者之間耦合激勵。
ALEOZKP
ZKP挖礦中今年比較火的項目還有一個ALEO。ALEO是一條隱私公鏈,目前隱私公鏈賽道還沒有一條公鏈能夠脫穎而出,無論是oasis、secretnetwork還是platon,都沒有真正實現隱私功能的dapp。ALEO也是如此,暫時還沒有什么實用價值,不過與其他隱私公鏈不同的是,它的共識機制與傳統的PoW類似,都需要算力進行維持。區別在于ALEO挖礦底層計算不是任意的哈希函數,而是知識證明,因此它不僅可以充當PoW以確保網絡共識,還可以提供給定區塊中包含交易的驗證。
ALEO相較于L2的ZKP有一大優勢,即挖礦算法更簡單。在驗證區塊時,算法會產生一個隨機數,通過ZK計算后最終結果若小于目標值則計算正確,最先計算完成的節點擁有出塊權力。礦機每次在驗證一個區塊時都只需生成一個隨機數即可開始計算,這種挖礦邏輯在形式上與比特幣沒有太大差別。
而L2的ZKP計算則不然。L2面對的是一批次的交易,因此在驗證時需要對每筆交易都進行ZKP,最后打包上傳L1。這個過程就涉及并行計算的問題,因為即使單個CPU性能極強也不可能對成千上萬筆交易進行逐個驗證,必須通過像GPU這樣擁有多個運算單元的設備進行并行運算。不過,雖然GPU是目前最適合ZKP挖礦的設備,但為了適應L2挖礦還需要進一步的算法優化以實現并行運算。ALEO在這一方面就具有很大的優勢,它不需要并行運算,因此GPU礦機可以幾乎無縫對接。在隱私公鏈與ZKL2均不成熟的今天,那些閑置的ETH礦機或許更有動力將算力接入ALEO礦池。
然而,這一切是建立在ZKL2尚未成熟的前提下,由于ETH生態繁榮,只要L2上線,L1上的dapps就可直接遷移過來。而ALEO則不然,即使隱私公鏈技術成熟,團隊仍然需要投入大量的金錢來搭建整個生態,這顯然是ALEO的一大劣勢。我們可以將之稱作ETH系的生態護城河:無論是什么類型的L2,只要能在原先的底層公鏈技術上加上ZK,那么天然就存在價值捕獲能力了。這是ALEO等L1所不具備的。
總結
隨著抗審查需求的逐漸擴大,未來隱私賽道一定能成為革命性應用。目前,隱私證明中最具有可行性的就是ZKP,它需要大量的算力來維持,因此ZKP挖礦很可能成為和當初ETH挖礦規模相當的產業。
ZKP挖礦最需要解決的是去中心化問題,目前zkSync和StarkNet已經發布了相關的路線圖。從邏輯上看,要想實現去中心化,發行Token是必不可少的。Token不只是用來維持共識,還可以用來監管挖礦節點,一定程度上提高抗審查性。
挖礦設備中,性價比最高的當屬FPGA,然而考慮到FPGA編程難度極大,且由于GPU閑置礦機較多,短期內GPU更有可能統治該產業。
公鏈中,ZKP挖礦可以被任何ZK系列的L2采用,但L1目前只有ALEO允許。相比之下,ALEO不需要并行計算,因此閑置的GPU礦機可以無縫對接。而L2在生態方面更具優勢,用戶基礎更大,風險更小。
參考:
https://www.paradigm.xyz/2022/04/zk-hardware
https://messari.io/report/what-will-ethereum-miners-do-after-the-merge
https://docs.zksync.io/userdocs/decentralization/
https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998
律師事務所PomerantzLLP宣布已經對加密貨幣和金融科技銀行SilvergateCapitalCorporation(紐約證券交易所市場代碼:SI)和部分高管提起集體訴訟.
1900/1/1 0:00:00作者:@Compound248?編譯:Moni,Odaily星球日報12月22日,前?FTXCEOSamBankman-Fried從巴哈馬被引渡到美國紐約并被FBI拘留.
1900/1/1 0:00:00撰文:ThePrimediaDAO發起人Jerry加密世界發展至今再討論「下一輪牛市會在哪兒發生」這個話題,可以追溯到比特幣誕生初衷.
1900/1/1 0:00:00據區塊鏈安全審計公司Beosin旗下BeosinEagleEye監測顯示,Rubic項目被攻擊.
1900/1/1 0:00:00作者:Maverick,ColinWu在獲得Paradigm等多家機構超過1400萬美元融資后,自詡“為專業交易者提供服務”的NFT交易市場Blur在近期可謂是風光無限.
1900/1/1 0:00:00據區塊鏈分析公司Nansen稱,AlamedaResearch關聯錢包近日的部分交易活動很可能是由負責FTX.com破產清算人執行.
1900/1/1 0:00:00