[論文レビュー] zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs

Chaudhary, Amit|arXiv (Cornell University)|Jul 2, 2023

Privacy, Security, and Data ProtectionSocial Sciences被引用数 3

ひとこと要約

この論文では、ゼロ知識証明（ZKP）を用いて、マルチチェーンのDeFiおよびWeb3アプリケーションにおけるプライバシー保護型で規制準拠可能な取引を可能にするミドルウェアソリューションであるzkFiを紹介する。ZKPの複雑さをプラグアンドプレイ型SDKで抽象化し、MetaMask Snapsを活用したアカウント抽象化をサポートするとともに、選択的脱匿名化による組み込みAML準拠を実現し、開発者がZKPの深い専門知識を持たずにコア機能に集中できるようにする。

ABSTRACT

We propose a middleware solution designed to facilitate seamless integration of privacy using zero-knowledge proofs within various multi-chain protocols, encompassing domains such as DeFi, gaming, social networks, DAOs, e-commerce, and the metaverse. Our design achieves two divergent goals. zkFi aims to preserve consumer privacy while achieving regulation compliance through zero-knowledge proofs. These ends are simultaneously achievable. zkFi protocol is designed to function as a plug-and-play solution, offering developers the flexibility to handle transactional assets while abstracting away the complexities associated with zero-knowledge proofs. Notably, specific expertise in zero-knowledge proofs (ZKP) is optional, attributed to zkFi's modular approach and software development kit (SDK) availability.

研究の動機と目的

• ブロックチェーンアプリケーションにおけるユーザーのプライバシーと規制準拠の両立という二重の課題に取り組むこと。
• マルチチェーンEVMプロトコル上で開発している開発者のZKP統合の複雑さを軽減すること。
• ユーザー体験や開発者の柔軟性を損なわず、プライバシーとコンプライアンスをシームレスに統合すること。
• 低レベルのZKP実装詳細を抽象化するモジュラーや合成可能なミドルウェアソリューションを提供すること。
• セキュアで準拠可能かつユーザーフレンドリーなプライバシーインfraを提供することで、ブロックチェーンの主流採用を促進すること。

提案手法

• システムは、機密データを露呈せずに正確な知識証明を生成するため、特にGroth16を用いたzkSNARKsを使用する。
• ユーザーの資産残高をコミットおよび検証するために、マーチェルツリーというデータ構造を採用し、インデックスやプレインペイントを露呈せずに効率的な包含証明を可能にする。
• ZKPの正当性に必要な暗号パラメータを生成する信頼されたセットアップ儀式（powers-of-tau）を実施し、セキュリティを確保するため、セットアップ後に秘密を破棄する。
• アカウント抽象化をサポートし、MetaMask Snapsと統合することで、ユーザー体験の向上とウォレット間相互運用性を向上させる。
• 不正行為の追跡が可能となるよう、当局が必要な場合にのみ脱匿名化を可能にするコンプライアンスモジュールを実装し、AML準拠を確保する。
• SDKによりZKPロジックを抽象化し、ゼロ知識暗号の専門知識がなくても、開発者がプライバシー機能を簡単に統合できるようにする。

実験結果

リサーチクエスチョン

• RQ1 ユーザーのプライバシーと規制準拠要件を同時に満たすプライバシー保護型ブロックチェーンソリューションを構築可能か？
• RQ2 ゼロ知識証明（ZKP）を、マルチチェーンのDeFiおよびWeb3アプリケーションに容易に統合可能な開発者フレンドリーなミドルウェアに抽象化する方法は何か？
• RQ3 反マネーロンダリング（AML）準拠を満たすために、強力なプライバシーと追跡可能性の両立を実現するアーキテクチャパターンは何か？
• RQ4 セキュリティや分散性を損なわず、プライバシー保護型アプリケーションにおいてもユーザー体験を維持する方法は何か？
• RQ5 プラグアンドプレイ型SDKは、ZKPベースのプライバシーを実装したい開発者の入り口障壁を低下させられるか？

主な発見

• zkFiミドルウェアにより、開発者は複雑なZKPロジックを抽象化した上で、最小限のコード変更でプライバシーとコンプライアンスをアプリケーションに統合できる。
• zkSNARKsを用いることで、送金者、受信者、金額、スマートコントラクトデータを露呈せずに取引の正当性を証明する、エンドツーエンドのプライバシーを実現する。
• 選択的脱匿名化による組み込みコンプライアンスにより、当局が不正行為を追跡可能となる一方で、正当なユーザーのプライバシーは維持される。
• コミットハッシュを用いたマーチェルツリーの使用により、インデックスやプレインペイントを露呈せずに、ユーザー資産状態の効率的かつ安全な検証が可能になる。
• MetaMask Snapsおよびアカウント抽象化との統合により、UXが向上し、非技術者ユーザーがプライバシー機能を容易に利用できるようになる。
• SDKベースのアプローチにより開発オーバーヘッドが低減し、Ethereum、Polygon、Optimism、ArbitrumなどのEVMベースのブロックチェーンにおいて、プライバシー機能の迅速な展開が可能になる。