新推出的 zkVerify L1 區塊鏈旨在加快並降低加密 ZK 證明的成本
ZkVerify 是一個專為零知識證明驗證而設的 L1 區塊鏈,旨在消除 ZK 採用的經濟和技術障礙。
Horizen Labs 的首席執行官兼 zkVerify 創始人 Rob Viglione 在接受 Cointelegraph 訪問時表示:“ZkVerify 的使命是消除 ZK 採用的經濟和技術障礙。”
他指出,儘管驗證通常被視為 ZK 價值鏈中“最便宜”的部分,但實際上仍然過於昂貴且效率低下,無法支持現實世界的規模。
什麼是 ZKP 驗證?
ZKP 驗證是一種加密方法,允許一方向另一方證明一項聲明,而無需披露底層信息或數據。常見的例子是驗證年齡資格以訪問某項服務,而無需披露整個身份證或其他個人詳情。
根據行業領先平台 Chorus、Aligned 和 Horizen Labs 的數據,預計到 2025 年,ZKP 的市場規模約為 1 億美元,並且有 44 億個證明,預計到 2030 年 ZK 證明市場將達到 15 億美元。
Viglione 指出,目前許多鏈和應用程序的速度可能會變慢或成本上升,因為在以太坊或其他鏈上驗證這些證明的成本可能非常高。在高峰期,以太坊上的 ZKP 驗證可能會花費高達 60 美元的成本,並消耗多達 300,000 個 gas 單位。zkVerify 承諾能夠將成本降低至少 90%,相比直接在 L1 上進行驗證。
重數學而非原始應用或鏈
為了降低驗證成本,zkVerify 提供了一個專用的驗證層,將證明驗證與 L1 的結算分開。Viglione 解釋說:“zkVerify 通過執行繁重的數學運算來檢查 ZK 證明,而不是原始應用或鏈。”
他補充說:“原始鏈發送證明和輸入,然後路由到正確的檢查器,驗證它們,並記錄通過或失敗的結果。其他應用或鏈然後讀取該結果,而不是重新進行數學運算,將計算負擔卸載到 zkVerify,從而節省時間和成本。”
去中心化 ID、遊戲、DeFi 借貸等應用案例
Viglione 提到了一些 zkVerify 的實際應用案例,包括去中心化 ID、經過驗證的交易預測、去中心化金融借貸、遊戲等。他表示:“與 zkVerify 互動的最簡單方式是通過我們的轉發器接口,使用起來就像 API 一樣,並且不斷增強其功能。”他補充說,這個區塊鏈“在背景中靜默運行”,用戶不需要主動考慮它的運作方式。
他還強調,zkVerify 具備驗證多種證明類型的能力,並具有模塊化架構和多鏈選擇性,使團隊能夠一次驗證並證明給以太坊、Base、Arbitrum、Optimism 和其他鏈,而不會被鎖定。
zkVerify 的主網啟動是在以太坊基金會宣布計劃在一年內將其 ZK 以太坊虛擬機 (zkEVM) 直接整合到其 L1 區塊鏈之後的幾個月。預計這一整合將對 zkEVM 的區塊執行帶來重大變化,讓驗證者能夠驗證來自不同 zkVM 的多個證明,而無需重新執行區塊交易。
這一新技術的推出,無疑將加速 ZK 應用的普及,並為用戶提供更高效、更經濟的解決方案。隨著區塊鏈技術的發展,如何在保護隱私的同時提高效率,將成為未來的關鍵挑戰。ZkVerify 的出現,正是針對這一需求的積極回應,展現了區塊鏈技術在實際應用中的潛力和靈活性。
以上文章由特價GPT API KEY所翻譯及撰寫。而圖片則由FLUX根據內容自動生成。