オダイリー星球日报によると、リスク投資機関のAndreessen Horowitz傘下のA16z Cryptoは、最近オープンソースのJolt zkVMに関する技術アップデートを行うブログ記事を公開し、現在業界で「ZK(ゼロ知識)」の概念が広く誤用されていることを指摘しました。
A16zは、多くのいわゆるzkVMは、追加のコストがかかる「ラッピング(包装)」工程を行わなければ、真のゼロ知識の特性を備えていないと述べています。この工程は通常、再帰的証明を用いて、別の真にゼロ知識の証明システム内でzkVMの証明を再度検証する必要があり、計算コストが高くなるだけでなく、「信頼された設定(trusted setup)」の導入を余儀なくされ、システムの透明性を犠牲にします。
記事は、多くの開発者の文脈では、「zk」が次第に「簡潔性(succinctness)」の略称として使われるようになり、証明のサイズが小さく検証が高速であることを意味するようになっている一方で、真のゼロ知識によるプライバシー保護の意味合いは薄れていると指摘しています。
A16zは、業界のプライバシー保護への需要が高まる中で、この概念の混同が問題となっていると考えています。真のゼロ知識証明は、効率的な検証だけでなく、証明者の敏感なデータのプライバシーを確保することに重点を置くべきです。
また、A16zはJolt zkVMのプライバシー機能を強化するために、NovaBlindFold折りたたみ方式を導入し、プライバシー重視のアプリケーションにより適した仮想マシンを実現しました。