[論文レビュー] A Survey on the Applications of Zero-Knowledge Proofs

Ryan Lavin, Xuekai Liu+4 more|arXiv (Cornell University)|Aug 1, 2024

Logic, Reasoning, and Knowledge被引用数 14

ひとこと要約

包括的な調査で、実用的な ZKP の応用に重点を置き、 zkSNARKs、インフラストラクチャ、ブロックチェーンと非ブロックチェーンの両方のユースケース、将来の方向性を扱う。

ABSTRACT

Zero-knowledge proofs (ZKPs) represent a revolutionary advance in computational integrity and privacy technology, enabling the secure and private exchange of information without revealing underlying private data. ZKPs have unique advantages in terms of universality and minimal security assumptions when compared to other privacy-sensitive computational methods for distributed systems, such as homomorphic encryption and secure multiparty computation. Their application spans multiple domains, from enhancing privacy in blockchain to facilitating confidential verification of computational tasks. This survey starts with a high-level overview of the technical workings of ZKPs with a focus on an increasingly relevant subset of ZKPs called zk-SNARKS. While there have been prior surveys on the algorithmic and theoretical aspects of ZKPs, our work is distinguished by providing a broader view of practical aspects and describing many recently-developed use cases of ZKPs across various domains. These application domains span blockchain privacy, scaling, storage, and interoperability, as well as non-blockchain applications like voting, authentication, timelocks, and machine learning. Aimed at both practitioners and researchers, the survey also covers foundational components and infrastructure such as zero-knowledge virtual machines (zkVM), domain-specific languages (DSLs), supporting libraries, frameworks, and protocols. We conclude with a discussion on future directions, positioning ZKPs as pivotal in the advancement of cryptographic practices and digital privacy across many applications.

研究の動機と目的

• 理論を超えた ZKP と zkSNARKs の広く実践志向の概要を提供する。
• ブロックチェーン（プライバシー、スケーリング、ストレージ、相互運用性）および非ブロックチェーン領域（投票、認証、タイムロック、機械学習）における ZKP の実践的応用を強調する。
• ZKP 配備を可能にする基盤要素、インフラ、ツール（zkVM、DSL、ライブラリ、フレームワーク）を説明する。
• 他のプライバシー保護手法（FHE、MPC）との比較を行い、トレードオフと設定上の考慮事項を論じる。
• さまざまな応用分野における暗号的プライバシーの進展における ZKP の将来の方向性と役割を特定する。

提案手法

• SNARK の定義と性質（簡潔性、非対話性、知識）を説明する。
• フロントエンド（高レベルコードから回路へ）からバックエンド（証明生成、検証）までの ZKP ライフサイクルを説明する。
• Rank-1 制約系（R1CS）による算術化とバックエンドとしての二次算術プログラム（QAP）を提示する。
• 多項式コミットメント方式 や Fiat-Shamir 等の暗号ガジェットとの非対話証明の統合について論じる。
• ZKVM アーキテクチャ、ドメイン特化言語（DSL）、およびZKP対応アプリケーションの構築に使用されるライブラリ/フレームワークを検討する。

Figure 1 : Survey Structure

実験結果

リサーチクエスチョン

• RQ1 実用的なゼロ知識証明を可能にする zkSNARKs の基礎要素と性質は何か？
• RQ2 ZKP対応アプリケーションの開発と展開を支えるインフラ（zkVM、DSL、ライブラリ）は何か？
• RQ3 ブロックチェーンと非ブロックチェーン領域の両方で ZKPs はどのように適用され、主要なユースケースと課題は何か？
• RQ4 ZKP配備とプライバシー保護計算の今後の方向性と未解決の研究課題は何か？

主な発見

• ZKPs は、入力や処理を開示することなく検証を可能にする、簡潔かつプライベートな計算証明を提供する。
• 現代のシステムにおける実用的で公開検証可能な証明の中心は、Fiat-Shamir による非対話性を備えた zkSNARKs である。
• 本調査は ZKPs を FHE および MPC と比較し、普遍性と最小限のセキュリティ前提が利点であることを強調する。
• 広範なインフラエコシステム（zkVMs、zkDSLs、ライブラリ、プロトコル）が ZKP対応アプリケーションの構築を支える。
• ZKPs はブロックチェーン固有のニーズ（プライバシー、スケーリング、相互運用性）と、より広い領域（投票、認証、機械学習、タイムロック）の双方に適用可能である。
• 今後の方向性は、さまざまな応用分野における暗号実践とデジタルプライバシーにおける ZKP の拡大する役割を強調している。

Figure 5 : Arithmetization Schemes