零知識密碼學是過去 50 年計算機科學中最顯著的創新之一。零知識證明 (ZKP) 提供了獨特的屬性,使其成為各種區塊鏈擴展和隱私解決方案的重要組成部分,包括像StarkNet這樣的 ZK rollup、像Aztec這樣的私有 ZK rollup 以及像Mina、Filecoin和Aleo這樣的第 1 層鏈。
由于大量昂貴的數學運算,ZKP 的生產速度慢且成本高。但是,通過使用現場可編程門陣列 (FPGA) 和專用集成電路 (ASIC) 等專用硬件,它們可以加速 10-1000 倍。
隨著用戶尋求更具表現力、性能和私密性的計算,使用 ZKP 證明的語句的復雜性將會增加。這將導致證明生成速度變慢,需要使用專門的硬件才能及時生成證明。
與比特幣礦工類似,硬件運營商的工作需要得到補償。最終,一個完整的零知識挖掘和證明行業將會顯現,首先是愛好者在他們的 CPU 中生成證明,然后是 GPU,然后是 FPGA。與比特幣相比,我們預計 ASIC 可能需要很長時間才能被采用(如果有的話)。
可驗證外包計算
假設由于使用的平臺(例如筆記本電腦、樹莓派,甚至是以太坊)存在的限制,計算變得非常昂貴或無法運行。
金色財經CEO安鑫鑫:挖礦要走得更長遠需要遵循五個核心原則:金色財經現場報道,4月25日,2021新基建區塊鏈峰會在成都舉辦。在分布式存儲新時代分會場上,金色財經CEO安鑫鑫以《換個角度 看待區塊鏈挖礦產業》為題進行分享。他指出,區塊鏈的世界是絕對公平的是萬物互鏈利益共享的,基于此,挖礦項目走得更長遠,需要遵循這五個核心原則,包括平等共識、代幣擴散、生態共建、行為引導、正循環。[2021/4/25 20:55:58]
那么用戶必須在第三方服務上運行計算,而不是通過自己的平臺,這種第三方服務可以快速、廉價地返回計算輸出(例如 AWS Lambda 函數,或類似 Chainlink 的預言機服務)。
通常情況下,用戶需要信任計算已正確執行,而允許提供者輸出無效結果,可能會帶來災難性的后果。
ZKP 允許第三方提供商也輸出計算完整性的證明,以保證用戶收到的輸出是正確的。
隱私計算
如果有一種在本地運行成本不高的計算,但想隱藏其中的一部分,那該怎么辦?比方說,如果我想告訴你我知道第 1000 個斐波那契數,而不告訴你這個數,或者要說服你,我在沒有透露金額或身份的情況下支付了款項,那該怎么辦?
金色晨訊 | 5月14日隔夜重要動態一覽:21:00-7:00關鍵詞:礦工、區塊鏈底層技術、ETH2.0、USDT增發
1.BTC減半后,部分礦工已轉向BCH和BSV。
2.CME比特幣期貨5月合約收漲4.5%。
3.江西省省委書記:抓緊謀劃實施一批區塊鏈等設施建設。
4.深圳鼓勵科技企業與創新機構合作共同開發區塊鏈底層技術。
5.ETH2.0項目負責人:多客戶端方法是ETH2.0啟動延遲的原因之一。
6.提交申報材料的新基建主題基金瞄準區塊鏈等領域。
7.Reddit或將為用戶推出基于以太坊的加密貨幣。
8.Tether在波場網絡增發1億枚USDT。
9.比特幣小幅上漲,日內最高報9398美元,最低報9050.01美元。[2020/5/14]
ZKP 允許用戶有選擇地隱藏計算語句周圍的部分或全部輸入。
上述兩種用例都以多種形式在加密行業中得到了體現:
Layer 2 擴容:ZKP 的可驗證計算,允許 L1 將交易處理外包給鏈外高性能系統(也稱為 Layer 2)。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如,StarkWare 正在使用運行 ZK 友好代碼的專用虛擬機構建一個可擴展的智能合約平臺 StarkNet。Aztec 還允許他們的 Layer 2 程序私下運行,而不會泄露有關用戶交易的任何信息。
金色晚報 | 12月11日晚間重要動態一覽:12:00-21:00關鍵詞:央行、姚前、深圳福田、國家電網
1. 中國央行:謹防個別機構冒用人民銀行名義發行或推廣法定數字貨幣;
2. 證監會首設科技監管局,前央行姚前有望出任局長;
3. 深圳福田區將加快建成全國首個數字貨幣大廈;
4. 互金協會聯合央行召開宣講會,介紹區塊鏈技術在金融領域安全合規應用;
5. 國家電網:2020年重點推進區塊鏈等新技術實用化;
6. 深圳成立全國首家以律師事務所為主導的區塊鏈法律研究院
7. 央行科技司司長:抓緊研究區塊鏈等17項行業標準;
8. 新華社:區塊鏈發票數量突破 1000 萬張,開票金額超 70 億元;
9. 立陶宛銀行發布央行數字貨幣的研究報告。[2019/12/11]
隱私 L1:Aleo、Mina 和 Zcash 等 L1 公鏈允許交易者使用 ZKP 隱藏發送者、接收者或金額(其中 Aleo 是默認使用 ZKP,而 Mina 和 Zcash 是可選使用)。
去中心化存儲:Filecoin 使用 ZKP(在 GPU 上運行)來證明網絡中的節點正確存儲數據。
區塊鏈壓縮:Mina 和 Celo 使用 ZKP 將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。
金色相對論 | 蔡維德:英國稱數字法幣是320多年來世界貨幣的第一次的重大改革:在今日舉行的金色相對論中,關于“英國央行行長提出的新經濟需要有不同的央行”該如何理解的問題,國家特聘教授,北航博導,英國倫敦大學學院區塊鏈研究中心科學顧問蔡維德表示:世界第一個提出數字法幣的國家是英國,在2015年底到2016年的時候,他們提出這個概念。問題出概念的時候,他們說到這個是世界的創舉,而且他們說是320多年來,是世界貨幣的第一次的重大改革,英國銀行說,320多年來,自從1694英國央行成立以來,他們發現英鎊沒有改變過。就說這是320年來的一次重大改革,當時講的時候,當時有許多的央行的學者在里面開會,他們都興奮的不得了,因為這是一次非常大的改革。那么這次的改革主要是因為整個銀行的基礎受到科技的變革。所以說以前是強盜打劫,所以銀行破產或者怎么樣,但這一次是因為是科技的關系。[2019/8/15]
鑒于上述情況,可以肯定地說,隨著加密資產采用率的增加,我們將需要 ZKP,以適應用戶對性能和隱私以及新型應用程序和協議日益增長的需求。
ZKP 從根本上允許可擴展的私人支付和智能合約平臺蓬勃發展,但也帶來了巨大的開銷,這在歷史上阻礙了它們的采用。
金色財經現場報道 ShareX創始人李剛強:風口中出現大量巨嬰型項目:金色財經前方記者實時報道,第三屆中國股權轉讓論壇暨ShareX平臺首批入駐項目簽約儀式于4月13日在北京舉辦,ShareX創始人李剛強在致辭中表示,據基金業協會數據統計,截至2017年底,國內私募創業投資,股權投資機構超過1.3萬家,8.7萬億存量管理規模,13.7萬億從業者,但繁華背后問題重重,風口之下出現眾多巨嬰型項目,很多項目后期的估值無法匹配其融資時的估值。[2018/4/13]
證明計算需要首先將其從經典程序轉換為 ZK 友好格式。這可以通過手動重寫代碼以使用 Arkworks 之類的低級庫來實現,也可以通過使用 Cairo 或 Circom 之類的域特定語言來編譯成必要的原語來生成證明。
而更昂貴和更復雜的操作會導致更長的證明生成時間。一些操作對 ZK 不友好(例如 SHA 或 Keccak 中使用的逐位操作)也很常見,這導致在經典計算機上可能是廉價操作的證明生成時間很長。
一旦您的計算采用 ZK 友好的形式,你就可以選擇一些輸入并將其發送到證明系統。目前已經有很多證明系統,一些以論文作者的名字命名(例如 Groth16、GM17),另一些則以更具創造性的名字命名(PLONK、Spartan、STARK)。它們的共同點是,它們接受一個以 ZK 友好格式表示的計算,以及一些輸入,并輸出一個證明。
根據證明系統的不同,證明生成過程可能會有所不同,但瓶頸始終是:
對大型數字向量(字段或組元素)的乘法,特別是可變基數和固定基數多標量乘法(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
個人社交頭像NFT,它們可以展現擁有者的品味和審美偏好,讓購買了這件作品的人在網上也顯得與眾不同。因此,NFT藝術品逐漸為人們所接受和需要.
1900/1/1 0:00:00注:這是我的一篇有關 Web3 時代創作者經濟的文章,主要從技術結構的角度介紹我對 Web3 時代創作者經濟的一些思考。對于所有創作者而言,這是最好的時代.
1900/1/1 0:00:004月19日,音樂NFT平臺KOLO.Market正式上線,它通過鑄造Music-NFT的方式,為樂迷欣賞、收藏音樂提供了一個新的載體,讓經典音樂更易流傳.
1900/1/1 0:00:00本文梳理自加密研究員 pastry 在個人社交媒體平臺上的觀點,律動 BlockBeats 對其整理翻譯如下:在加密世界,投資的時機至關重要,盡早進入一個新興行業或許是你獲得成功的最佳機會.
1900/1/1 0:00:00元宇宙世界,大名鼎鼎的Adobe同學來報道了。前兩天,在 ”2022 Adobe 峰會“上,Adobe正式公布了《Adobe元宇宙白皮書》,并發布了一系列全新的元宇宙構建工具.
1900/1/1 0:00:004 月 2 日,Terraform Labs 成員 Ezaan 于社區提出新提案,建議引入穩定幣流動性的新“黃金標準”4pool.
1900/1/1 0:00:00