金色觀察｜Paradigm：零知識證明挖礦或媲美PoW挖礦市場_區塊鏈:FFT

零知識密碼學是過去 50 年計算機科學中最顯著的創新之一。零知識證明 (ZKP) 提供了獨特的屬性，使其成為各種區塊鏈擴展和隱私解決方案的重要組成部分，包括像StarkNet這樣的 ZK rollup、像Aztec這樣的私有 ZK rollup 以及像Mina、Filecoin和Aleo這樣的第 1 層鏈。

由于大量昂貴的數學運算，ZKP 的生產速度慢且成本高。但是，通過使用現場可編程門陣列 (FPGA) 和專用集成電路 (ASIC) 等專用硬件，它們可以加速 10-1000 倍。

隨著用戶尋求更具表現力、性能和私密性的計算，使用 ZKP 證明的語句的復雜性將會增加。這將導致證明生成速度變慢，需要使用專門的硬件才能及時生成證明。

與比特幣礦工類似，硬件運營商的工作需要得到補償。最終，一個完整的零知識挖掘和證明行業將會顯現，首先是愛好者在他們的 CPU 中生成證明，然后是 GPU，然后是 FPGA。與比特幣相比，我們預計 ASIC 可能需要很長時間才能被采用（如果有的話）。

可驗證外包計算

假設由于使用的平臺（例如筆記本電腦、樹莓派，甚至是以太坊）存在的限制，計算變得非常昂貴或無法運行。

金色晚報 | 12月8日晚間重要動態一覽:12:00-21:00關鍵詞：Mt. Gox民事訴訟、Deribit、Facebook、支付寶、穩定幣總市值、CME BTC

1. 報告：Deribit控制著90%的加密貨幣期權交易。

2. CryptoQuant：Mt. Gox民事訴訟到期或是一個比特幣看跌信號。

3. 報告：加密基金資產管理規模達 150 億美元的歷史高位。

4. Facebook高管：計劃明年推出數字貨幣Diem和數字錢包Novi。

5. 支付寶關聯企業申請“一種區塊鏈數據的恢復方法和裝置”專利。

6. 數據：穩定幣總市值超250億美元。

7. CME BTC期貨本周\"18975-19205美元\"的缺口已回補。

8. 開發者Cody Burns所持ETC域名競標結束 ETC Labs現控制相關網站。[2020/12/8 14:37:18]

那么用戶必須在第三方服務上運行計算，而不是通過自己的平臺，這種第三方服務可以快速、廉價地返回計算輸出（例如 AWS Lambda 函數，或類似 Chainlink 的預言機服務）。

金色晚報 | 1月20日晚間重要動態一覽:12:00-21:00關鍵詞：司法區塊鏈、北京、利得稅、婁底市、騰訊

1. 全國高級法院院長會議：將建設人民法院司法區塊鏈統一平臺。

2. 北京市將運用區塊鏈等新技術建立醫保基金監督管理平臺。

3. 韓國政府或將加密貨幣交易收益征收 20％ 利得稅。

4. 北京53個市級部門數據上線“目錄區塊鏈”。

5. 婁底市國家級區塊鏈研究和應用示范推進領導小組辦公室副主任謝緯：在發展區塊鏈上 婁底實行精準又具針對性的扶持政策。

6. 中國區塊鏈專利騰訊最多 區塊鏈電子發票已經走出深圳。

7. 隱私基礎設施NuCypher明日將開啟激勵測試網。

8. 全球前100銀行中有38家使用或投資Ripple匯款技術。

9. 韓國加密貨幣公司Mecon Cash的M.Pay平臺現支持BCH。[2020/1/20]

通常情況下，用戶需要信任計算已正確執行，而允許提供者輸出無效結果，可能會帶來災難性的后果。

ZKP 允許第三方提供商也輸出計算完整性的證明，以保證用戶收到的輸出是正確的。

隱私計算

如果有一種在本地運行成本不高的計算，但想隱藏其中的一部分，那該怎么辦？比方說，如果我想告訴你我知道第 1000 個斐波那契數，而不告訴你這個數，或者要說服你，我在沒有透露金額或身份的情況下支付了款項，那該怎么辦？

金色晨訊 | 處非聯辦：警惕假借區塊鏈名義的非法集資 區塊鏈國家標準正在研究當中:1.以太坊USDT鏈上交易量突破1000億美元。

2.北京市政府提出12項重點任務，包括在開辦企業、不動產登記等方面使用區塊鏈等技術。

3.富達數字資產獲得紐約州信托許可證。

4.Bakkt和富達將為Galaxy Digital的新比特幣基金儲存比特幣。

5.灰度向美國SEC提交比特幣信托基金注冊申請。

6.區塊鏈、5G等在內的18項國家標準正在研究當中。

7.處非聯辦：警惕假借區塊鏈名義非法集資，群眾舉報有獎。

8.烏克蘭加密資產運營征稅的法律修正案被提交至議會。

9.上海區塊鏈技術協會：加強行業監管，摸排虛擬貨幣交易與融資。

10.廣電總局：要密切跟蹤和研究區塊鏈技術發展現狀和趨勢。

11.日本央行行長：日本現在不需要央行發行數字貨幣。

12.央視：數字貨幣成區塊鏈炒作詐騙“重災區”。[2019/11/20]

ZKP 允許用戶有選擇地隱藏計算語句周圍的部分或全部輸入。

上述兩種用例都以多種形式在加密行業中得到了體現：

Layer 2 擴容：ZKP 的可驗證計算，允許 L1 將交易處理外包給鏈外高性能系統（也稱為 Layer 2）。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如，StarkWare 正在使用運行 ZK 友好代碼的專用虛擬機構建一個可擴展的智能合約平臺 StarkNet。Aztec 還允許他們的 Layer 2 程序私下運行，而不會泄露有關用戶交易的任何信息。

金色晨訊 | 國務院金融研究所副所長：區塊鏈可為中小微企業服務:1.國務院金融研究所副所長：區塊鏈技術可以為中小微企業提供服務

2.全球區塊鏈市場規模2023年將達233億美元

3.IBM區塊鏈主管：應專注于當前的買入機會

4.科威特計劃建立國家加密貨幣和支付系統

5.加拿大城市推出首個本地數字貨幣

6.V神：區塊鏈非金融應用比金融應用更具優勢

7.比特幣市場份額接近3個月高點

8.美國SEC主席：ICO可成為籌集資金的有效途徑

9.比特幣市場份額接近3個月高點[2018/12/11]

隱私 L1：Aleo、Mina 和 Zcash 等 L1 公鏈允許交易者使用 ZKP 隱藏發送者、接收者或金額（其中 Aleo 是默認使用 ZKP，而 Mina 和 Zcash 是可選使用）。

去中心化存儲：Filecoin 使用 ZKP（在 GPU 上運行）來證明網絡中的節點正確存儲數據。

區塊鏈壓縮：Mina 和 Celo 使用 ZKP 將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。

鑒于上述情況，可以肯定地說，隨著加密資產采用率的增加，我們將需要 ZKP，以適應用戶對性能和隱私以及新型應用程序和協議日益增長的需求。

分析 | 金色盤面：BTC/USDT 強勁反彈:金色盤面綜合分析：BTC/USDT夜盤見底反彈，多頭守住6400后，在一小時前發動新的攻勢，逼近6600，從低點起漲已經有近10%的幅度，反彈力度較大。短線看MA144形成壓制，而日線的MACD尚未形成金叉，所以暫時不宜追高，等待調整之后尋找買點入場為宜。[2018/8/10]

ZKP 從根本上允許可擴展的私人支付和智能合約平臺蓬勃發展，但也帶來了巨大的開銷，這在歷史上阻礙了它們的采用。

證明計算需要首先將其從經典程序轉換為 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

Tags：區塊鏈ZKPFPGFFT區塊鏈的五大應用領域ZKP價格FPG幣FFT價格

BTC