一般的な想定に反して、今日のほとんどの「ゼロ知識」システムはプライベートではありません。 @mvenkita (@ligero_inc の CEO) は、数十年にわたる研究に基づいて、この@WPReadingClubセッションで、多くの STARK ベースの zkVM を含む、使用されている証明システムの大部分が検証可能なコンピューティングを提供するにもかかわらず、真の暗号化プライバシーには達していない理由を詳しく説明します。 Muthu は、Ligero と Ligetron がその方程式をどのように変えるかを説明しています。 • 時間とメモリ効率を考慮して設計されており、携帯電話などのメモリに制約のあるデバイスでも証明を生成できます。 • MPC イン ザ ヘッド構造に基づいて構築されており、現在の多くのシステムが証明していないプライバシーを保証します。 • モバイル本人確認にすでに@googlecloudに採用されており、現実世界の実行可能性を示しています。 この議論は、ZK の学術的基盤、理論から実装への進化、コンプライアンス要件を満たしながら機密データを保護する証明の差し迫った必要性に及びます。 Muthu氏は、企業や規制の導入の将来を定義する可能性のある新たなアプリケーション(プライバシープール、zk-validiums、オンデバイスID証明)に焦点を当て、ZKで大規模なMLモデル(LLaMAなど)を証明する実験に触れ、プライバシーを保護するAIの次に何が起こるかを指摘しています。 これは、ZKが今日行っていると私たちが考えていることと、プライバシー、コンプライアンス、スケーラビリティが真に共存する世界に何が必要かとの間のギャップを直接見たものです。 YouTubeでも視聴できます。