A16z Crypto 更新 Jolt zkVM，質疑「ZK」標籤被濫用

A16z Crypto，主要風險投資公司Andreessen Horowitz旗下的web3部門，在最近一篇關於其Jolt zkVM的部落格文章中，批評了開發者環境中對「ZK」這一術語的通俗用法。

「大多數zkVM實際上並不是零知識——除非套用一個昂貴的『封裝』流程，」部落格中提到。「這種封裝通常涉及在另一個證明系統中遞迴證明zkVM證明的驗證，該系統

ZK，這既計算成本高昂，且通常需要放棄透明性（也就是引入了可信設置）。」

作者還指出，「zk」往往已變成「簡潔性」的簡寫，意指「短且驗證快速」的證明，而非真正的零知識隱私。

「隨著社群對隱私的關注提升——需要真正的零知識，也就是涉及提供者敏感數據隱私時——這種術語錯用已成為真正的問題，」a16z補充說。

什麼是ZK證明？

ZK證明是一種加密技術，使某一方（證明者）能夠在不透露聲明真實性的底層訊息的情況下，說服另一方（驗證者）該聲明為真。

最初於學術界發展，ZK證明的第一次大規模商業應用可以說是根植於加密貨幣產業，特別是Zcash的推出，該協議部署了一種類型為zk-SNARKs的簡潔證明，藉此透過隱蔽交易數據達成鏈上隱私。

然而，零知識加密技術後來已被應用於多種新型區塊鏈場景，特別作為Ethereum Layer 2區塊鏈以及其他zk-Rollup的擴容解決方案。

對隱私的重視再次成為加密開發者和投資人的重要議題，他們認為當今大多數區塊鏈透明的特性將限制其採用，特別是在機構之間。

舉例來說，Digital Currency Group執行長Barry Silbert近日就表示，他預計資金將大規模流入以隱私為重的鏈。

Jolt的解決方案

a16z開源的Jolt zkVM本週二推出了一次重要升級，原生支援零知識證明。

所謂的零知識虛擬機器（Zero-Knowledge Virtual Machines）可用於運行程式，並產生證明來證明某段程式碼已被執行，但不會透露執行時的輸入。

如同部落格批評的這些應用，Jolt最初將ZK證明應用於簡潔性而非完整隱私，開發團隊後來透過採用「可追溯至1990年代」的folding scheme予以修正。

具體來說，Jolt採用NovaBlindFold folding scheme來生成遮罩證明，以防止訊息外洩，「使其適合於隱私應用」。

「最終結果是一個ZK證明，其大小僅比原本的非ZK Jolt證明增加約3 KB，」部落格指出。