ゼロ知識サミット2024: 現地報告

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されます。本サミットには約500名の参加者が集まり、4つの講演が行われました。以下は本サミットの重要な内容の概要で、ゼロ知識ハードウェア、SNARKパフォーマンス、分散型証明ネットワーク設計などの最新の進展を含んでいます。

ゼロ知識ハードウェアの発展

ハードウェアのサポートは、ゼロ知識証明コミュニティの重要な目標であり続けています。本サミットでは、複数の専門家がこの分野の最新の進展について議論しました：

• 研究者はゼロ知識ハードウェア分野について包括的な概説を行い、関連企業を一般ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業の3つのカテゴリに分けました。彼は、ハードウェア最適化されたSNARK検証システムなどの技術が1000倍のパフォーマンス向上を実現する可能性があり、イーサリアムの将来の発展に影響を与えるかもしれないと予測しています。さらに、彼は賞金2000万ドルの正式な検証コンペティションが開催されることも言及しました。

• あるハードウェア会社の共同創設者が、彼らが開発中の検証システムを紹介しました。このシステムは、証明システムとハードウェア設計の両方を最適化しています。初期テストでは、特定のアプリケーションにおいてGroestlハッシュ関数のパフォーマンスがKeccakよりも優れていることが示されました。

分散型証明ネットワーク

多くの専門家が、将来的に大規模な証明生成が分散型の専門証明者市場によって実現される可能性について議論しました:

• ある企業の共同創設者が、彼らの今後登場するプロバイダーネットワークについて紹介しました。彼女はさまざまなネットワーク設計メカニズムを分析し、競争やマイニングに基づく設計がうまくいかない可能性があると考えています。彼女は、設計目標は順次、最小コスト、最大遅延、検閲抵抗であるべきだと提案しました。彼女はオークションモデルが最も成功する可能性が高いと予測し、彼らが複数のzkVMをサポートする汎用オークションネットワークを構築していることを明らかにしました。

• 博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼らは、双方向オークションで発生する可能性のある共謀の問題に対処するために、Proo-phiと呼ばれる新しいメカニズムを提案しました。

• ある企業の技術ディレクターが、プライバシーを保護しつつ、小規模なクライアントと大規模な証明者との間で非信任型の相互作用を実現する方法について、マルチパーティ計算をサポートする証明市場について議論しました。

ゼロ知識の資格

会議では、既存のアイデンティティシステムに基づいてゼロ知識証明を構築するためのさまざまな計画が検討されました。

• 電子メールのDKIM署名に基づくアドレス所有権証明は、匿名送金や通報などのアプリケーションに使用できます。

• OpenID Connectを利用して従来のWeb2のアイデンティティと相互作用し、ソーシャルメディアアカウントへの送金などの機能を実現します。

• 既存の電子パスポートから匿名証明書を構築し、ユーザーが特定の身分情報を開示することなく証明できるようにします。

今回のサミットでは、ゼロ知識証明の分野におけるいくつかの最前線の進展が示され、この技術の広範な応用の基盤が築かれました。ハードウェアサポートの継続的な最適化と分散型ネットワークの徐々に完璧になっていく中で、私たちは将来的にゼロ知識証明がより重要な役割を果たすことを期待する理由があります。