A16z CryptoはZKの濫用を批判し、Joltのアップグレードによって真のプライバシーを実現

著名なベンチャーキャピタル企業アンドリーセン・ホロウィッツのweb3部門であるA16z Cryptoは、最新のブログ記事で業界に深く考えさせる問題を提起しました。それは、「ZK」と呼ばれるほとんどの仮想マシン（zkVM）が、実際には真のゼロ知識プライバシー保護を備えていないということです。Jolt zkVMは同時に、暗号エコシステムにおける「ZK」という用語の体系的な乱用を批判しました。

ZKタグの誤用：なぜほとんどのzkVMが真のゼロ知識ではないのか

A16z Cryptoはブログで、業界に広く存在しながらもほとんど指摘されてこなかった問題を明らかにしています。「ほとんどのゼロ知識証明仮想マシンは、実際にはゼロ知識ではない――ただし、高コストな『パッケージング』プロセスを適用しない限りは。」彼らは、このパッケージングは別のZK証明システム内でzkVMを再帰的に検証するものであり、計算コストが高く、しばしば透明性（すなわち信頼された設定の導入）を放棄する必要があると説明しました。

より根本的な問題は用語の逸脱にあります。すなわち、「zk」という用語は「簡潔性」の略語として広く使われており、「短くて検証が容易な」証明を指すものであり、真のゼロ知識プライバシー保護を意味していません。A16z Cryptoは警告しています。「コミュニティ内でプライバシー、すなわち真のゼロ知識、つまり証明者の機密データのプライバシーの必要性が高まる中、この用語の乱用は現実的な問題となりつつあります。」

ZK用語に関するよくある3つの混乱

真のゼロ知識（True ZK）：証明者の秘密情報を明かすことなく、ある命題が真であることを証明し、証明者のプライバシーを保護する。

「ZK」は簡潔な略称として使われる：多くのzkVMの実際の用途は、「短くて検証が容易な」証明を強調し、プライバシー保護にはほとんど関与しない。

ラッピング（Wrapping）：再帰的証明を用いて真のゼロ知識を追加するが、計算コストが高く、信頼された設定の導入が必要となるため、透明性が犠牲になる。

Jolt zkVMの解決策：NovaBlindFold折りたたみ方式

上記の問題に対応し、A16z Cryptoは火曜日にオープンソースのJolt zkVMに対して重要なアップデートをリリースし、ネイティブにゼロ知識機能をサポートするNovaBlindFold折りたたみ方式を導入しました。

折りたたみ方式（Folding Scheme）は、「20世紀90年代に遡る」暗号技術であり、A16zは高価な再帰的パッケージングの代替としてこれを採用しました。NovaBlindFoldは、「ブラインド証明」（Blind Proof）を作成することで情報漏洩を防ぎ、非常に効率的です。最終的に生成されるZK証明は、元の非ZKのJolt証明より約3KB大きくなるだけで、「プライバシー重視のアプリケーションに適している」と言えます。

このアップグレードの背景には、暗号エコシステムにおけるプライバシーへの懸念の再燃があります。デジタル通貨グループ（DCG）のCEO、バリー・シルバー氏も最近、多くの資金がプライバシーチェーンに流入すると予測しています。機関投資家はほとんどのブロックチェーンの完全な透明性に懸念を抱いており、より信頼性の高いプライバシーソリューションを求めて業界は動いています。

よくある質問

なぜA16z CryptoはZKタグを批判しているのか？

A16z Cryptoは、「ZK（ゼロ知識）」が業界内で「簡潔さ」の略語として広く使われていることを指摘し、多くのzkVMは高コストで信頼された設定を必要とする「ラップ型」ソリューションを使わない限り、真のゼロ知識プライバシー保護を提供していないと述べています。プライバシーへの需要が高まる中、この用語の誤用は業界の発展を妨げる深刻な問題となっています。

NovaBlindFoldの折りたたみ方式はこの問題をどう解決するのか？

A16zのJolt zkVMは、NovaBlindFold折りたたみ方式を導入することで、高価な再帰的パッケージングを必要とせずに、ネイティブなゼロ知識プライバシーを実現します。この方式は、「ブラインド証明」を作成することで情報漏洩を防ぎ、容量増加は約3KBに抑えつつ、効率性と真のプライバシー保護の両立を可能にしています。

真のゼロ知識と「ZKを簡潔に略した用語」との根本的な違いは何か？

真のゼロ知識は、証明者が証明から秘密の入力情報を推測できないことを意味します。一方、「ZKを簡潔に略す」場合は、証明が短くて検証しやすいことだけを指し、基礎となるデータのプライバシー保護は伴いません。両者は暗号学的に根本的に異なる概念です。