Odaily星球日報によると、ベンチャーキャピタル企業Andreessen Horowitzの子会社であるA16z Cryptoは、最近ブログ記事を公開し、オープンソースのJolt zkVMについて技術的な更新を発表するとともに、業界内で「ZK(ゼロ知識)」という概念が広く誤用されていると指摘した。
A16zは、多くのいわゆるzkVMは、追加の高コストな「ラッピング」プロセスを経ない限り、真のゼロ知識特性を備えていないと示唆しています。このプロセスでは、通常、再帰的証明を用いて、別の真にゼロ知識特性を持つ証明システム内でzkVMの証明を再検証する必要があり、これは計算コストが高く、しばしば「信頼できるセットアップ」を導入することを要し、システムの透明性を損ないます。
記事によると、多くの開発者文脈において、「zk」は真の意味でのゼロ知識プライバシー保護ではなく、証明のサイズが小さく、検証が高速であるという「簡潔性(succinctness)」の代名詞として徐々に扱われるようになっている。
A16zは、業界におけるプライバシー保護への需要が高まる中、この概念の混同が徐々に問題となっていると考えている。真のゼロ知識証明は、効率的な検証メカニズムを提供するだけでなく、証明者の機密データのプライバシーを確保することに重点を置くべきである。
同時に、A16zは、Jolt zkVMにNovaBlindFoldフォールドスキームを導入し、そのプライバシー機能を強化して、この仮想マシンをプライバシー関連のアプリケーションシーンにさらに適応させると発表しました。
