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

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットはゼロ知識ポッドキャストが主催し、約500名の参加者が集まり、同時に4つのパラレルセッションが行われました。以下はサミットの重要な内容の要約であり、ゼロ知識ハードウェア、SNARKの性能、分散証明ネットワークなどの最新の進展を網羅しています。

ゼロ知識ハードウェア

ハードウェアサポートは、ゼロ知識証明の生成において重要な目標の一つであり、メインステージでの2つの講演がこの分野の最新の進展を概説しました:

ある研究者がゼロ知識ハードウェアの包括的な概要を示し、関連企業を一般的なハードウェアを使用する企業、カスタムハードウェアを製造する企業、分散型証明ネットワークを運営する企業の三つのカテゴリーに分類しました。彼は、ハードウェア最適化されたSNARK検証システムとその他の新たな最適化を組み合わせることで、計算効率が1000倍向上する可能性があり、これがイーサリアムの最終バージョンに重大な影響を与えると予測しています。また、証明者と検証者の正式な検証を行うコンペティションが開始され、賞金は2000万ドルに達することも言及しました。

ある企業の共同創業者は、証明システムとハードウェアを同時に設計するという理念を紹介しました。彼らの初期テストでは、特定のアプリケーションにおいて、Groestlハッシュ関数の性能がKeccakを明らかに上回ることが示され、将来のシステム設計に新たな視点を提供しました。

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

多くの業界関係者は、将来的には大規模な証明生成(がRollup内の一連の取引の正当性)を競争が激しい、分散型の専門的な証明者市場によって実現されると考えています。

ある企業の共同創設者が、分散型証明者ネットワークのさまざまな潜在的なメカニズム設計について議論しました。彼女は設計目標が次の順序であるべきだと考えています: コストの最小化、遅延の最大化、そして検閲への耐性。彼女は、発行/ステーキングモデルが効果的である可能性があると予測していますが、オークションモデルが最も勝つ可能性が高く、最終的には今日のブロック構築に似たものになるかもしれないと述べました。彼女は、複数のzkVMの証明をサポートするための汎用オークションネットワークを構築していることを明らかにしました。

ある大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼は、二者間オークションが証明者と入札者の間の共謀の影響を受けやすいことを指摘し、それに対抗するために新しいメカニズムを提案しました。このメカニズムは、新しいマッチング取引と証明メカニズムを導入し、容量パラメータを設定する必要があります。これは重要なオープンデザインの問題のようです。

ある企業の最高技術責任者が、マルチパーティ計算(MPC)の証明市場をサポートすることについて議論しました。特に、MPCを利用して小規模なクライアントと大規模な証明者の間のプライバシーを維持する方法について探求しました。彼は、MPCにおけるコストを最小化するために線形演算を行うための証明システムの組み合わせを選択する方法について考察しました。

ゼロ知識の資格

3つの異なる講演が、既存のアイデンティティシステムに基づいてゼロ知識証明を構築する努力について議論しました:

あるプロジェクトの共同創設者がゼロ知識電子メールアドレス所有権証明について紹介しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名の検証に依存しており、DKIMは主要な電子メールプロバイダーによって広く展開されています。この技術は、電子メールアドレスへの送金や匿名通報などのシナリオに適用できます。

ある研究室の研究者は、OpenID Connectを使用して従来のweb2アイデンティティと相互作用する技術について議論しました。これにより、GoogleやFacebookアカウントへの送金のようなアプリケーションが可能になりました。

あるプロジェクトのメンバーは、既存の電子パスポートから匿名証明書を構築する方法について議論しました。たとえば、ユーザーは特定の国のパスポートを持っていることや、特定の年齢に達していることを証明できますが、具体的なパスポート番号や正確な年齢を明らかにする必要はありません。

これらの発展は、ゼロ知識証明技術がさまざまな分野で急速に進展しており、プライバシー保護と認証に新たな可能性を提供していることを示しています。