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のCEOであるBarry Silbertは、最近プライバシーチェーンへの大規模な資金流入を予想すると述べています。

Joltのソリューション

a16zのオープンソースJolt zkVMは、火曜日にゼロ知識証明をネイティブにサポートする大規模な新アップグレードを発表しました。

いわゆるZero-Knowledge Virtual Machinesは、プログラムを実行し、その入力を公開せずにコード機能が実行されたことを証明するための証明を生成します。

ブログで指摘された他のアプリケーションと同様、Joltも当初は完全なプライバシーより簡潔性のためにZK証明を使用していましたが、開発者は「1990年代に遡る」フォールディングスキームによってこの問題を修正しました。

特に、JoltはNovaBlindFoldフォールディングスキームを用いて情報漏洩を防ぐブラインド証明を作成し、「プライバシー用途に適したもの」としました。

「結果として得られるZK証明は、元の非ZK Jolt証明より約3KB大きいだけです」とブログは述べています。