來源:吳說區塊鏈
在公鏈賽道,零知識證明的路線已經十分清晰。未來大概率會形成以以太坊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采礦市場的規模。”
Orbiter Finance推出以太坊二層生態鏈上數據聚合和數據分析平臺Orbiter L2 Data:8月10日消息,Layer2跨Rollup橋Orbiter Finance宣布推出針對以太坊二層(Rollup)生態的鏈上數據聚合和數據分析平臺Orbiter L2 Data,支持Arbitrum、Optimism和 zkSync數據,指標包括賬戶和交易、TVL、用戶和用戶年齡、活躍用戶 / 賬戶、新用戶 / 賬戶、交互、新合約。數據庫僅包含交易數據(不包括事件 / 內部交易),數據每天在 UTC 00:00更新一次。[2022/8/10 12:15:52]
對比FPGA和GPU,頂級FPGA的硬件成本僅為頂級GPU的1/3,且能耗比超出GPU10倍。對比FPGA和ASIC,ASIC在編程時是一次性的,而ZKP的代碼不像比特幣那樣穩定不變,且不同ZKP的邏輯也存在差異,顯然ASIC不適合這種多變的業務。而FPGA只需簡單地刷新就可以修改程序,這意味著可以兼容多套ZKP邏輯。
L2 DeFi協議zkLend完成500萬美元種子輪融資,Stark Ware和Three Arrows Capital等投資:金色財經消息,基于 StarkNet 的借貸協議 zkLend 完成 500 萬美元種子輪融資,投資方包括 StarkWare、Three Arrows Capital、Alameda Research、MetaCartel DAO、Amber Group、Genesis Block Ventures 等。
zkLend將于2022年第三季度推出其無需許可的零售借貸產品Artemis,還將在2023年初推出機構產品Apollo。另外,zkLend將發布名為ZEND的原生代幣,以激勵用戶增加流動性,不過暫未公布具體日期。(Decrypt)[2022/3/29 14:25:01]
因此更長遠的未來,FPGA有可能統治ZKP礦業,然而FPGA編程難度較大,目前該技術尚不成熟。短期內,GPU將會是ZKP礦業的主要設備。對于那些曾經的以太坊礦工,相較于將算力投入到如ETC或ETHW等被拋棄的公鏈上,他們自然有更大的商業動機去支持ZKP公鏈。
以太坊Argent L2錢包與LayerSwap合作,支持用戶從CEX提款至Argent L2 賬號:2月16日消息,以太坊 Argent L2 錢包與 LayerSwap 合作,用戶可以直接從中心化交易所提款至 Argent 的 L2 賬號。LayerSwap旨在提供CeFi到DeFi 資產轉移的解決方案,目前的CEX到Layer2橋接讓用戶更快速、更便宜地從中心化交易所向 L2 充值資產。值得注意的是,LayerSwap 使用 Bransfer 以連接到用戶的中心化交易所賬號。用戶需要注冊一個 Bransfer 賬號,僅通過郵箱便可注冊。[2022/2/16 9:55:42]
L2ZKP
當前ZK-Rollup的Proof和Batch提交過程目前是中心化的,由單一的Sequencer來決定提交的順序。如果要擴大礦工規模,這個過程需要實現去中心化,即任何礦工可以向L1提交Proof。關于如何實現去中心化,Vitalik曾提出過一些建議,例如成立一個DAO來進行定期的Sequencer決定權拍賣,或是隨機分配給其中一個節點而節點被選中的概率則和它存入Rollup的ETH數量成正比。然而無論哪種方式本質上都屬于POS機制,即由質押量的大小決定收入的高低,這與傳統挖礦方式有所不同。
數據:以太坊 L2 總鎖倉量接近 40 億美元:10月24日消息,據 L2BEAT 數據顯示,截止 10 月 23 日,以太坊 L2 總鎖倉量接近 40 億美元(39.8 億美元),一周增長 5.62%。Arbtirum (24.2 億美元)、dYdX (9 億美元)、Optimism (2.81 億美元)鎖倉量位居前三,一周分別增長 6.54%、3.03%、3.88%。此外,近七日鎖倉量增長最快的是基于 ZK Rollup 的隱私與擴容解決方案 Aztec (31.51%)。[2021/10/24 6:10:48]
當前,采用ZK-Rollup的主要L2包括zkSync和StarkNet。
zkSync的日常運行取決于為區塊生成零知識證明的計算服務提供商,即“StichtingZKSync”,這是一家在阿姆斯特丹注冊的非營利性荷蘭基金會。根據開發團隊MatterLabs的發展路線圖,zkSync未來計劃通過引入一個獨立的共識機制來實現去中心化,該機制具有兩個不同的角色:驗證者和Guardians。驗證者負責將交易打包成塊并為其生成零知識證明,他們的節點必須在具有良好互聯網帶寬的安全環境中運行,也就是我們通常理解的大礦池。
路印協議已于L2 AMM啟動ETH-USDC池:1月14日,路印協議Loopring官方宣布,L2 AMM上的ETH-USDC池已經啟動。[2021/1/14 16:09:26]
Guardians是zkSync的Token持有者,根據Token份額來提名驗證者。Guardians的節點可以在普通電腦或云服務器上運行,不需要專門的服務商,因此不容易被審查。反之,Guardians可以通過監控交易數據選出不受審查的驗證者節點。
StarkNet在去中心化道路上同樣需要發行Token。目前,StarkNet手續費使用ETH支付,之后或許會使用StarkNet原生Token,也可能同時支持原生Token和ETH支付。Token除了用來支付手續費以外,還可以通過質押來對包括交易排序、STARK證明等做主投票決定,提高網絡完全性和抗審查性。
參考由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
原文作者:LeoLau CurveFinance,以其穩定幣兌換和多幣池設計而聞名的DEX協議最近宣布了其穩定幣設計。其設計的2個最重要的支柱是LLAMMA和PegKeeper.
1900/1/1 0:00:00鏈游工作室MythicalGames提起訴訟,指控三名前高管利用公司機密為其離開公司后創立的新項目FenixGames籌集1.5億美元資金,違反了他們的信托義務.
1900/1/1 0:00:00資管巨頭貝萊德通過其子公司管理的基金和賬戶,向破產的比特幣礦商CoreScientific承諾了1700萬美元的債務人持有貸款,成為其最大債權人之一.
1900/1/1 0:00:00波蘭加密貨幣支付初創公司Ramp的創始人SzymonSypniewicz和PrzemekKowalczyk近日接受采訪時表示,對于FTX崩潰并不感到驚訝,并且將其視為一個機會.
1900/1/1 0:00:00撰文:AdiRaviRaj,ICF跨鏈基金會編譯:CosmosChinese中文技術社區2022年對于IBC跨鏈通信協議來說是進展豐碩的一年.
1900/1/1 0:00:00整理:潤升,鏈捕手 “過去24小時都發生了哪些重要事件”?1、AmberGroup已完成5000萬美元融資,暫停擴張計劃并取消零售業務據金融時報報道,加密貨幣公司AmberGroup表示.
1900/1/1 0:00:00