零知識密碼學是過去 50 年計算機科學中最顯著的創新之一。零知識證明 (ZKP) 提供了獨特的屬性,使其成為各種區塊鏈擴展和隱私解決方案的重要組成部分,包括像StarkNet這樣的 ZK rollup、像Aztec這樣的私有 ZK rollup 以及像Mina、Filecoin和Aleo這樣的第 1 層鏈。
由于大量昂貴的數學運算,ZKP 的生產速度慢且成本高。但是,通過使用現場可編程門陣列 (FPGA) 和專用集成電路 (ASIC) 等專用硬件,它們可以加速 10-1000 倍。
隨著用戶尋求更具表現力、性能和私密性的計算,使用 ZKP 證明的語句的復雜性將會增加。這將導致證明生成速度變慢,需要使用專門的硬件才能及時生成證明。
與比特幣礦工類似,硬件運營商的工作需要得到補償。最終,一個完整的零知識挖掘和證明行業將會顯現,首先是愛好者在他們的 CPU 中生成證明,然后是 GPU,然后是 FPGA。與比特幣相比,我們預計 ASIC 可能需要很長時間才能被采用(如果有的話)。
可驗證外包計算
假設由于使用的平臺(例如筆記本電腦、樹莓派,甚至是以太坊)存在的限制,計算變得非常昂貴或無法運行。
金色晨訊 | 4月29日隔夜重要動態一覽:21:00-7:00關鍵詞:狗狗幣,德國,比特大陸
1.鮑威爾:狗狗幣和GameStop反映了市場泡沫;
2.懷俄明州為懷俄明大學運營的加密貨幣質押計劃撥款400萬美元;
3.傳奇搖滾搖滾樂隊Nirvana最后的官方攝影照片將作為NFT發行;
4.美國政府正推動比特幣監管以對抗勒索軟件;
5.Facebook未在第一季度財報中公布其持有比特幣;
6.光大銀行深圳分行推出全國首支數字貨幣理財產品;
7.德國新法律允許機構投資基金投資于加密貨幣;
8.德國聯邦金融監管局打擊幣安的股票代幣;
9.北美礦業巨頭CoreScientific向比特大陸購買超11萬ASIC礦機;
10.北京再迎數字人民幣試點活動。[2021/4/29 21:09:03]
那么用戶必須在第三方服務上運行計算,而不是通過自己的平臺,這種第三方服務可以快速、廉價地返回計算輸出(例如 AWS Lambda 函數,或類似 Chainlink 的預言機服務)。
通常情況下,用戶需要信任計算已正確執行,而允許提供者輸出無效結果,可能會帶來災難性的后果。
分析 | 金色盤面:BTC短分時承壓 不宜追高:金色盤面獨家分析:從btc15分鐘走勢圖可以看出,這里有個明顯的頂背離趨勢,如果不能持續拉升,會形成短線的頂部,所以這里不建議追高。上述分析僅限技術交流,不作為交易參考,投資者需要理性看待市場價格波動,做好風險控制。[2018/9/28]
ZKP 允許第三方提供商也輸出計算完整性的證明,以保證用戶收到的輸出是正確的。
隱私計算
如果有一種在本地運行成本不高的計算,但想隱藏其中的一部分,那該怎么辦?比方說,如果我想告訴你我知道第 1000 個斐波那契數,而不告訴你這個數,或者要說服你,我在沒有透露金額或身份的情況下支付了款項,那該怎么辦?
ZKP 允許用戶有選擇地隱藏計算語句周圍的部分或全部輸入。
上述兩種用例都以多種形式在加密行業中得到了體現:
Layer 2 擴容:ZKP 的可驗證計算,允許 L1 將交易處理外包給鏈外高性能系統(也稱為 Layer 2)。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如,StarkWare 正在使用運行 ZK 友好代碼的專用虛擬機構建一個可擴展的智能合約平臺 StarkNet。Aztec 還允許他們的 Layer 2 程序私下運行,而不會泄露有關用戶交易的任何信息。
分析 | 金色盤面:EOS期貨合約持倉變化:金色盤面綜合分析: 據OKEx數據顯示,目前做多賬戶62%,做空賬戶38%,多頭持倉比例27.92%,空頭持倉比例19.18%,從數據看,多頭主力平均持倉增加,空頭主力平均持倉下降,多空差距再次拉開,目前做多賬戶依然占據優勢。截至發稿,當周EOS0907合約價格為6.532美元,現貨價格為6.546美元,貼水0.014美元。[2018/9/3]
隱私 L1:Aleo、Mina 和 Zcash 等 L1 公鏈允許交易者使用 ZKP 隱藏發送者、接收者或金額(其中 Aleo 是默認使用 ZKP,而 Mina 和 Zcash 是可選使用)。
去中心化存儲:Filecoin 使用 ZKP(在 GPU 上運行)來證明網絡中的節點正確存儲數據。
區塊鏈壓縮:Mina 和 Celo 使用 ZKP 將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。
鑒于上述情況,可以肯定地說,隨著加密資產采用率的增加,我們將需要 ZKP,以適應用戶對性能和隱私以及新型應用程序和協議日益增長的需求。
ZKP 從根本上允許可擴展的私人支付和智能合約平臺蓬勃發展,但也帶來了巨大的開銷,這在歷史上阻礙了它們的采用。
行情 | 金色盤面:ZIL短線急速下挫:金色盤面分析師表示:ZIL短線急速下挫,跌破前低位置,短線注意風險,下方支撐位0.0434,上方壓力位0.0564。[2018/8/3]
證明計算需要首先將其從經典程序轉換為 ZK 友好格式。這可以通過手動重寫代碼以使用 Arkworks 之類的低級庫來實現,也可以通過使用 Cairo 或 Circom 之類的域特定語言來編譯成必要的原語來生成證明。
而更昂貴和更復雜的操作會導致更長的證明生成時間。一些操作對 ZK 不友好(例如 SHA 或 Keccak 中使用的逐位操作)也很常見,這導致在經典計算機上可能是廉價操作的證明生成時間很長。
一旦您的計算采用 ZK 友好的形式,你就可以選擇一些輸入并將其發送到證明系統。目前已經有很多證明系統,一些以論文作者的名字命名(例如 Groth16、GM17),另一些則以更具創造性的名字命名(PLONK、Spartan、STARK)。它們的共同點是,它們接受一個以 ZK 友好格式表示的計算,以及一些輸入,并輸出一個證明。
根據證明系統的不同,證明生成過程可能會有所不同,但瓶頸始終是:
金色財經現場報道 原壹比特創始人蟲哥:區塊鏈行業難得糊涂 傻子發財:金色財經現場報道,在世界區塊鏈大會·三點鐘峰會中,原壹比特創始人蟲哥帶來以《區塊鏈腦殘投資法》為題的演講,他指出:區塊鏈這個發明偉大在哪里?在于實現了屬于自己的資產自由,投身區塊鏈就是為了跑贏通脹。當初,我創建壹比特的時候,就是希望每個人都能持有一個比特幣。區塊鏈的行業是難得糊涂,傻子發財。如果你折騰不出偉大的區塊鏈項目,還不如持有比特幣。區塊鏈的世界最怕的就是沒見過錢的,所以出事的跑路的基本都是90后。投資者應該吃好喝好,早起早睡,任他風云,佛系炒幣。[2018/4/25]
對大型數字向量(字段或組元素)的乘法,特別是可變基數和固定基數多標量乘法(MSM);或
快速傅里葉變換(FFT)和逆快速傅里葉變換(IFFT)(盡管有一些技術適用于無 FFT 證明系統);
在同時存在 FFT 和 MSM 的系統中,大約 70% 的生成證明時間都花在 MSM 上,而其余時間則由 FFT 主導。
MSM 和 FFT 都很慢,但也都有提高性能的方法:
MSM 可以通過在多個線程上運行它們來進行加速。然而,即使在數百個內核上,如果每個元素向量的長度為 2^25(即 3300 萬個元素,對于像?zkEVM? 這樣的應用程序來說,這是一個保守的復雜度范圍),那么乘法最終仍然會花費大量時間。這意味著經常重復相同的操作,并且會耗盡設備上的大部分可用內存。簡而言之,MSM 需要大量內存,并且即使在高度并行化時仍然會很慢。
FFT 嚴重依賴算法運行時數據的頻繁洗牌。這使得它們很難通過在計算集群中分配負載來實現加速,正如?DIZK??所示。此外,它們在硬件上運行時需要大量帶寬。重組意味著你需要“隨機”加載和卸載元素,例如,在內存等于或少于 16 GB 的硬件芯片上,從大于 100 GB 的數據集中加載和卸載元素。雖然硬件上的操作非常快,但通過網絡加載和卸載數據的時間最終會顯著減慢操作速度。
簡言之:
MSM 具有可預測的內存訪問,并允許大量并行化,但由于所需的原始計算量和內存量,它們的成本仍然很高。
FFT 有隨機的內存訪問,這使得它們對硬件不友好,而且很難在分布式基礎設施上運行。
在解決大型 MSM 和 FFT 的緩慢問題方面,我們看到的最有希望的工作是?PipeZK?。在他們的論文中,作者們描述了一種使用?Pippenger 算法?跳過重復計算的方法以降低 MSM的成本。他們還描述了一種“展開”FFT 的方法,這樣它們就可以在不進行重大改組的情況下執行,而由于可預測的內存訪問模式,這可以提高硬件的速度。
假設上述方法解決了每種算法的基本瓶頸,那么問題就變成了:使用高度優化的 MSM 和 FFT 算法來加速 ZKP 生成的最佳硬件是什么?
上述加速技術可以在多種硬件技術上實現:GPU、FPGA 或 ASIC。但哪一種是最好的選擇呢?
要回答這個問題,我們首先必須承認 ZKP 仍處于早期發展階段。系統參數(例如 FFT 寬度或元素的位大小)或證明系統的選擇仍然缺乏標準化。
由于這些因素,FPGA 有兩個核心特性使其在 ZK 環境中優于 ASIC:
“多次寫入”與“一次寫入”:ASIC 上的業務邏輯是一次寫入。如果任何 ZKP 邏輯發生變化,你需要從頭開始。FPGA 可以在 1 秒內重新刷新任意次數,這意味著它們可以在具有不兼容證明系統的多個鏈上重復使用相同的硬件(例如,因為他們想要跨鏈提取 MEV),并靈活地適應 ZK“meta”的變化。
更健康的供應鏈:ASIC 從設計、制造到部署,通常需要 12 到 18 個月或更長的時間。相比之下,FPGA 供應鏈是健康的,像Xilinx 等領先供應商允許在 16 周內從網站(即沒有任何聯系點)獲得大量零售訂單。這允許以 FPGA 為中心的運營商在其產品上有一個更緊密的反饋循環,并通過購買和部署更多 FPGA 來擴大運營規模。
我們還預計 FPGA 的性能將優于 GPU,原因與它們在機器學習和計算機視覺領域蓬勃發展的原因類似:
1、硬件成本:一流的 FPGA(領先的處理節點、時鐘速度、能效和內存帶寬)比一流的 GPU 便宜約 3 倍。此外,全球對 GPU 的需求進一步加劇了這一問題。
2、能效:FPGA 的能效比 GPU 高 10 倍以上,其中一個重要原因是需要將 GPU 連接到主機設備,這通常會消耗大量電力。
鑒于上述情況,我們預計市場上的贏家將是專注于 FPGA 而非 ASIC 或 GPU 的公司。然而,如果只有一個或幾個 ZK L1 或 L2 項目最終主導了市場,并且 ZK 證明系統穩定在單一實現上,那么 ASIC 勝過 FPGA 的可能性可能會更高。但這種情況要真的發生,我們可能還需要等待幾年的時間。
2021 年,比特幣礦工的凈收入超過 150 億美元,以太坊礦工則剛剛超過 170 億美元。零知識證明最終成為網絡計算完整性和隱私的事實媒介,這似乎是合理的。在這種情況下,零知識礦工/證明人的機會可能與工作量證明挖礦市場的規模相似。
ZKP 很慢,其需要硬件加速才能在復雜的計算中變得可行。我們認為,對 ZK 硬件加速最重要的技術是 FPGA,而不是 GPU(由于成本和能源效率)或 ASIC(由于它們不靈活以及長迭代周期)。
文章源自:Paradigm CTO 兼研究合伙人?Georgios Konstantopoulos
UST 會像阿根廷的比索一樣走向崩潰?不得不說,UST 和阿根廷比索的貨幣政策非常相似,讓我們先來介紹下 2016 年至 2018 年期間的阿根廷貨幣政策及其背景.
1900/1/1 0:00:00蘋果是世界上估值最高的公司,目前估值約為 2.83 萬億美元,我們都知道為什么它的估值如此之高--豐厚的現金流!所有公司都以利潤/收入為核心動機,整個估值是根據收入潛力計算的.
1900/1/1 0:00:00照目前的使用情況,ETH 的供應量低于 1 億只要 11 年。本文梳理自加密 KOL croissant 在個人社交媒體平臺上的觀點,律動 BlockBeats 對其整理翻譯如下:ETH 是以太.
1900/1/1 0:00:00為什么一組電子像素能值6900萬美元?每個NFT資產都是獨一無二,借助區塊鏈技術則可以幫助數字資產進行確權。這使得其與游戲平臺、奢侈品、體育與藝術品等行業融合,并產生了巨大商機.
1900/1/1 0:00:00近日,中國人民銀行公布第三批數字人民幣試點地區,增加天津、重慶、廣州、福州、廈門和浙江省承辦亞運會的6個城市作為試點城市.
1900/1/1 0:00:00原標題:State of Uniswap Q1 2022 重點內容: 由于從 2021 年第四季度開始市場對加密貨幣和 NFT 的興趣減弱.
1900/1/1 0:00:00