紐約州紐約市，2024 年 5 月 23 日，Chainwire
Horizen Labs 自豪地宣佈正式推出 zkVerify，這是一個專爲結算優化而設計的專用零知識證明驗證網絡。
zkVerify 的推出正值區塊鏈網絡日益尋求高效、可擴展的解決方案以滿足高交易量和複雜操作需求的關鍵時刻。
近年來，web3 開發人員已經採用模塊化解決方案來優化區塊鏈協議的核心功能（執行、共識、數據可用性和結算）作爲單獨的功能。模塊化架構提出了一種比單片鏈更有效的替代方案，它將這些功能組合成一個協議。zkVerify 是結算層最有效的 ZK 模塊化解決方案，它通過將證明驗證與 L1 上的結算分離來降低安全成本。
Horizen Labs 估計，僅 2023 年以太坊上的 zk-rollups 的證明驗證就花費了 4700 萬美元，行業研究預計，到 2030 年，zk 證明生成將成爲一個價值 100 億美元的市場。zkVerify 爲使用 zk-rollups 構建的開發人員消除了計算密集型證明驗證的成本和複雜性，爲去中心化應用程序的可擴展性和採用提出了關鍵的解鎖。一開始，zkVerify 可用於驗證以太坊和比特幣 L2 的證明，成本降低 91%，並將迅速擴展以支持多種區塊鏈架構。隨着 zk-rollups 作爲關鍵擴展基礎設施不斷被採用，zkVerify 正在爲任何結算層上任何類型的 zk-rollups 引入新的證明驗證標準。
zkVerify 的主要功能
快速模塊化流程：允許區塊鏈網絡卸載計算繁重且昂貴的證明驗證過程，使其能夠專注於其主要功能並保持競爭領先地位。
經濟高效的證明驗證：將證明驗證成本降低高達 91%，僅在 2023 年，這一變化就可以爲 ZK Rollups 節省超過 4280 萬美元。
簡化且易於集成：與現有的區塊鏈生態系統和多種 SNARK 證明方案無縫集成，通過開發人員友好的環境最大限度地減少技術開銷。
Horizen Labs 聯合創始人兼首席執行官 Rob Viglione 表示：“zkVerify 平臺不僅能降低成本，還能以前所未有的方式實現創新和可擴展性。通過卸載證明驗證，我們允許開發人員通過模塊化方式優化結算，爲開發人員和用戶釋放更多資源和價值。”
zkVerify 在測試網上上線
zkVerify 專爲與現有區塊鏈網絡無縫集成而設計，可最大限度地減少技術開銷，併爲廣泛的 zk-rollups 和結算層提供開發人員友好的證明驗證環境。zkVerify 由 EVM 兼容 Horizen 網絡背後的開發工作室 Horizen Labs 構建，也可以由 Horizen 生態系統內的建設者使用。領先的 zk 和 web3 項目（如 Gevulot、Caldera 和 Gateway.fm）將成爲最早使用 zkVerify 進行證明驗證的網絡。
zkVerify 現已在測試網上上線，可通過 https://zkVerify.io 訪問。Web3 開發人員受邀探索 zkVerify 如何增強他們的運營併爲項目的可擴展性做出貢獻。
關於Horizen Labs
Horizen Labs 成立於 2019 年，是一家領先的區塊鏈技術公司，專門從事零知識加密。Horizen Labs 致力於擴展去中心化網絡，將區塊鏈技術提升到前所未有的效率水平。通過專注於開發下一代模塊化架構，Horizen Labs 正在爲性能、安全性和成本效益設定新的標準。Horizen Labs 深受 Yuga Labs、Animoca Brands 和 Offchain Labs 等行業巨頭的信賴。此外，它還是 Ape DAO 和 Horizen DAO 聘請的開發公司，開發 ApeChain 和 Horizen 等領先項目。Horizen Labs 是一個全球分佈的團隊，在米蘭和紐約市設有辦事處。
如需瞭解更多信息，用戶可以訪問https://horizenlabs.io。
接觸
高級公關經理
喬希·亞當斯
血清素
josh@serotonin.co
