ゼロ知識サミット2024: 業界の見聞

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。約500名の参加者がこの1日限りの盛会に参加し、4つの講演が行われました。以下は、本サミットの重要な内容のまとめで、最新のゼロ知識ハードウェア、SNARK性能、分散型証明ネットワーク設計などのホットトピックをカバーしています。

ZKハードウェアの発展

長年にわたり、証明生成のハードウェアサポートは業界の注目の的でした。本サミットの基調講演は、ZKハードウェアの最新の進展に焦点を当てました。

ある基金の研究者は、ZKハードウェア分野に関する包括的な概要を提供し、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業について説明しました。彼は、専用ハードウェアとさまざまな最適化技術の進展に伴い、zkVMが1000倍の計算効率の向上を実現する可能性があると予測しており、これは未来のブロックチェーンアーキテクチャに深遠な影響を与えるでしょう。さらに、彼は証明者と検証者の正式な検証競技会が開催され、賞金が2000万ドルに達することも言及しました。

あるハードウェア会社の共同創設者が、彼らの最新製品を紹介しました。これは、証明システムとハードウェア設計を同時に最適化する革新的なソリューションです。興味深いことに、初期テストでは、特定のアプリケーションシナリオにおいてGroestlハッシュ関数の性能がKeccakを明らかに上回っており、開発者に新しい選択肢を提供しています。

分散型証明者ネットワーク

業界の専門家は、将来的には大規模な証明生成（例えば、Rollup内の一連の取引の正当性検証）が競争の激しい分散型の専門証明者市場によって行われると広く考えています。

ある企業の共同創業者は、分散型プルーフオブステークネットワークのさまざまな潜在的メカニズム設計を分析しました。彼女は、設計目標は次の順序であるべきだと考えています：コストの最小化、スループットの最大化、そして検閲への耐性の保証。彼女は、発行/ステーキングモデルは効果的である可能性があるが、オークションモデルが主流になる可能性が最も高いと予測しており、その運用方式は現在のブロック構築プロセスに似ている可能性があります。

学者が、彼らの最新の研究成果である証明者ネットワーク経済学について紹介しました。彼らは、二者間オークションにおいて発生する可能性のある証明者と入札者の共謀の問題を解決することを目的とした「Proo-phi」と呼ばれる新しいメカニズムを提案しました。しかし、Proof-phiの容量パラメータをどのように設定するかは、依然として解決すべき重要な課題です。

別の会社の技術責任者が、マルチパーティ計算（MPC）をサポートする証明市場について議論し、特に小規模な顧客と大規模な証明者の間でプライバシーを維持するためにMPCをどのように活用するかに焦点を当てました。彼は、MPCにおける線形演算コストを最適化するために適切な証明システムの組み合わせを選択することの重要性を強調しました。

ZKバウチャーの革新

サミットでは、既存のアイデンティティシステムを利用してゼロ知識証明を構築するためのさまざまなソリューションについても議論されました。

あるスタートアップ企業の共同創設者が、電子メールに基づくゼロ知識証明システムを紹介しました。このシステムは、DKIM署名を利用してユーザーが特定の電子メールアドレスに対する制御権を検証し、匿名送金や通報などのアプリケーションシナリオに新たな可能性を提供しています。

あるブロックチェーンプラットフォームの研究者が、従来のWeb2アイデンティティプロバイダーと接続することで、ソーシャルメディアアカウントへの送金などの革新的なアプリケーションを実現する無鍵認証ソリューションについて説明しました。

別のチームは、既存の電子パスポートに基づいて匿名証明書を構築する方法を示し、ユーザーが具体的な個人情報を漏らすことなく特定の身分属性（国籍や年齢層など）を証明できるようにしました。

これらの革新的なソリューションは、ゼロ知識証明技術が認証とプライバシー保護の分野で広範な応用の可能性を示しており、より安全でプライバシーを重視したデジタルアイデンティティエコシステムを構築するための新たな視点を提供しています。