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

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットはZero Knowledgeポッドキャストが主催し、約500名の参加者が集まり、1日で同時に4つの講演が行われました。以下は、ゼロ知識ハードウェア、SNARK性能、分散証明ネットワーク設計などの最新の進展を含むサミットの重要な内容の簡潔な概要です。

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

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

ある研究者がゼロ知識ハードウェアについて包括的な概要を提供し、関連企業を3つのカテゴリーに分けました：汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、および分散型証明ネットワークを運営する企業です。彼は、ハードウェア最適化されたSNARK検証システムと他の今後の最適化を組み合わせることで、1000倍の計算効率の向上が実現する可能性があると予測しており、これは将来のブロックチェーンアーキテクチャに重大な影響を与えるでしょう。

ある企業の共同創設者が、彼らが開発中の新型SNARKシステムを紹介しました。このシステムは、証明システムとハードウェア設計の両方を最適化しています。初期テストの結果、特定のアプリケーションにおいて、Groestlハッシュ関数の性能がKeccakを明らかに上回っていることが示されており、将来のシステム設計に新しい視点を提供しています。

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

複数の専門家が、分散型証明者ネットワークの将来の発展方向について議論しました：

ある会社の共同創設者は、証明者ネットワークのさまざまな潜在的なメカニズム設計を分析しました。彼女は、競争やマイニングに基づく設計が理想的な結果をもたらさない可能性があると考えており、オークションモデルが最も成功する可能性が高いと述べ、将来的には今日のブロック構築プロセスに似たものになるかもしれないと考えています。彼女はまた、複数のzkVMの証明をサポートするための汎用オークションネットワークを構築していることを明らかにしました。

博士課程の学生が、彼らの最新の成果として発表された証明者ネットワーク経済学に関する研究について紹介しました。彼らは、二者間オークションで発生する可能性のある共謀の問題を解決することを目的としたProo-phiという新しいメカニズムを提案しました。しかし、このメカニズムは、容量パラメータの設定などの重要な設計課題を解決する必要があります。

別の会社の技術責任者は、多者計算（MPC）をサポートする証明市場について議論し、特にプライバシーを保護しながら小規模な顧客と大規模な証明者の間で信頼のない相互作用を実現する方法に注目しました。彼は、MPCコストを最適化するために適切な証明システムの組み合わせを選択することの重要性を強調しました。

ゼロ知識証明のアプリケーション

サミットでは、既存のアイデンティティシステムにおけるゼロ知識証明の適用についても議論されました。

あるスタートアップ企業の共同創設者が、電子メールに基づくゼロ知識所有権証明を紹介しました。この技術はDKIM署名を利用しており、匿名送金や通報などのシーンに応用できます。

あるブロックチェーンプラットフォームの研究者が、OpenID Connectを使用して従来のWeb2アイデンティティと相互作用するためのソリューションを共有しました。これにより、GoogleやFacebookアカウントへの匿名送金が可能になりました。

別のプロジェクトの代表者が、特定の国のパスポートを持っていて、特定の年齢に達していることを証明する匿名証明書を、既存の電子パスポートからどのように構築するかについて議論しましたが、具体的な個人情報を明らかにすることなく行います。

全体的に見て、今回のサミットは、ハードウェアの最適化、ネットワーク設計、実際の応用などにおけるゼロ知識証明技術の重要な進展を示し、この分野の将来の発展に向けた指針を提供しました。