A16z Crypto 批評濫用 ZK 這個術語,升級 Jolt zkVM 以實現真正的 ZK

ZEC-3.28%
ETH-2.14%

A16z Crypto — 由風險投資公司 Andreessen Horowitz 的 Web3 投資分支,公開批評在開發者社群中普遍但不準確地使用“ZK”術語,並在近期關於 Jolt zkVM 的部落格文章中提出。

根據文章, “大多數 zkVM 實際上並非真正的零知識——除非採用一個昂貴的‘包裝’流程。” 這個流程通常需要在一個證明系統內部,對 zkVM 的驗證證明進行遞歸證明,以實現真正的零知識特性。這種做法不僅耗費大量計算資源,還常常必須犧牲透明性,因為涉及建立可信設置(trusted setup)機制。

作者團隊也指出,在許多情況下,“zk” 已經成為“簡潔性”(succinctness)的縮寫——即證明文件體積小、驗證快速——而非真正保障隱私的零知識。

A16z Crypto 強調,隨著社群越來越重視隱私——這需要真正的零知識來保護證明方的敏感資料——錯誤使用術語已成為一個嚴重問題。

ZK proof 是什麼?

零知識證明(ZK proof)是一種密碼學技術,允許一方(證明者)說服另一方(驗證者)某個命題為真,而不透露任何除該命題正確性之外的底層資訊。

這項技術最初在學術界發展,商業應用的第一個大規模案例被認為是在加密貨幣領域出現的,尤其是 Zcash 的誕生。該項目採用 zk-SNARKs——一種簡潔證明——來提供鏈上隱私,通過隱藏交易資料來實現。

從那時起,零知識密碼學已廣泛應用於許多新型區塊鏈模型,特別是 Ethereum Layer 2 的擴展方案和 zk-Rollups。

隱私如今也重新成為開發者和投資者關注的重點,許多觀點認為,當前大多數區塊鏈的絕對透明性可能阻礙其廣泛接受,尤其是在金融機構層面。

例如,Digital Currency Group 的 CEO Barry Silbert 最近表示,他預期大量資金將流入專注於隱私的區塊鏈。

Jolt 的解決方案

就此而言,A16z 的開源 Jolt zkVM 在週二推出了一個重要升級,支持真正的原生零知識證明。

Zero-Knowledge Virtual Machine(zkVM)是一個能夠執行程式並生成證明,證明某段程式已被執行過,但不透露輸入資料的運行環境。

過去,像許多其他應用一樣,Jolt 主要使用 ZK proof 來實現簡潔性,而非全面的隱私保護。為了解決這一限制,開發團隊採用了源自 1990 年代的“折疊方案”(folding scheme)機制。

具體來說,Jolt 集成了 NovaBlindFold 機制,用於生成“蒙蔽證明”(blinded proofs),以防止資訊洩露,並使系統適用於需要隱私的應用。

根據部落格文章,最終產生的零知識證明大小約比之前沒有 ZK 屬性的 Jolt 證明大約多 3 KB,顯示額外的大小成本相對較小,而所獲得的隱私保護卻十分顯著。

查看原文
免責聲明:本頁面資訊可能來自第三方,不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考,不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證,對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為,價格波動劇烈,您可能損失全部投資本金。請充分了解相關風險,並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見聲明

相關文章

世界黃金協會發布代幣化黃金框架,「黃金即服務」白皮書問世

世界黃金協會與波士頓顧問集團共同推出「黃金即服務」白皮書,旨在建立統一的開放平台框架,連結實體黃金與代幣化產品,以提升黃金在金融體系中的可用性和交易便利性。此框架具有標準化發行、高度透明性和改善流動性等六大功能,預計將加速機構投資者進入代幣化黃金市場。

Market Whisper13分鐘前

韓國股市 T+2 交割遭總統質疑,交易所研議區塊鏈即時結算

韓國總統李在明質疑現行T+2交割制度效率,推動縮短結算周期及引入區塊鏈技術。區塊鏈可實現即時結算,消除對手風險,提升市場流動性。若韓國成功改革,或在亞洲市場獲得制度性優勢。

Market Whisper32分鐘前

WLFI 推出 AI 代理开源支付工具包 AgentPay SDK

Gate News reported that on March 20, WLFI announced the launch of AgentPay SDK, an open-source payment toolkit for AI agents. The SDK is built on USD1, integrating self-hosted key management features and policy-based transaction authorization mechanisms, and is compatible with common AI development tools such as Claude Code, Codex, Cursor, and OpenClaw.

GateNews1小時前

世界黃金協會聯手BCG發布代幣化黃金共享框架,正面宣戰Tether、Paxos

世界黃金協會與波士頓顧問集團發布白皮書,提出「Gold as a Service」框架,旨在標準化代幣化黃金的發行與管理,挑戰現有市佔由Paxos與Tether主導的市場。該框架將降低進入門檻,鼓勵更多機構參與,然而實施時間與具體計畫尚不明朗,WGC的品牌影響力能否撼動現有市場仍待觀察。

動區BlockTempo1小時前

Figure 推出 Figure Forge 服務,可將加密貸款及 RWA 鑄造成標準化參與代幣

Figure 聯合創始人 Mike Cagney 宣布推出 Figure Forge 服務,旨在將區塊鏈原生貸款和其他 RWA 轉化為參與代幣。該服務將應用於 Democratized Prime DeFi 市場,並通過 Hastra 協議提供額外收益,支持由 Figure 提供資金的流動性限價訂單簿。

GateNews1小時前

Monero Core Developers Release First Quarter Development Plan Proposal, Covering 7 Tasks Including Wallet API and FCMP++

Monero核心开发者jeffro256在3月20日发布了第一季度开发计划,提案涵盖了钱包API变更、Carrot衍生账户支持、FCMP++压力测试网启动、与硬件钱包合作以及多签实现等方面的工作。

GateNews2小時前
留言
0/400
暫無留言