a16z CryptoがJolt zkVMを更新し、業界の「ZK」概念の濫用に疑問を呈する

Odailyの報道によると、ベンチャーキャピタルAndreessen Horowitz傘下のA16z Cryptoは最近、ブログ記事を公開し、そのオープンソースJolt zkVMの技術的更新を発表するとともに、現在の業界における「ZK（ゼロ知識）」概念の広範な誤用を指摘した。

A16zは、多くのいわゆるzkVMは、実際には真のゼロ知識属性を備えておらず、追加でコストのかかる「ラッピング」プロセスを経なければならないと述べている。このプロセスは通常、再帰証明を通じて、真にゼロ知識特性を備えた別の証明システムでzkVMの証明を再度検証する必要があり、これは計算コストが高いだけでなく、しばしば「信頼できる設定」を導入する必要があり、それによってシステムの透明性が犠牲になるとしている。

記事は、多くの開発者の文脈において、「zk」は徐々に「簡潔性」の代名詞として扱われるようになっており、つまり証明のサイズが小さく、検証速度が速いことを意味し、真の意味でのゼロ知識によるプライバシー保護ではないと指摘している。

A16zは、業界のプライバシー保護に対する需要の高まりに伴い、このような概念の混用が徐々に問題となっていると考えている。真のゼロ知識証明は、証明者の機密データのプライバシーを重点的に保護すべきであり、単に効率的な検証メカニズムを提供するだけではないとしている。

同時に、A16zはJolt zkVMにNovaBlindFoldフォールディングスキームを導入し、そのプライバシー能力を強化して、この仮想マシンをプライバシー関連のアプリケーションシナリオにより適したものにすると発表した。