ゼロ知識サミット2024：現地観察

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

ゼロ知識ハードウェア

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

ある研究者がゼロ知識ハードウェアについて包括的な概要を提供し、汎用ハードウェアを使用している企業、カスタムハードウェアを製造している企業、分散型証明ネットワークを運営している企業を含めています。彼は、ハードウェア最適化されたSNARK検証システムなどの技術を利用することで、zkVMは1000倍の計算効率向上を実現する可能性があり、これがイーサリアムの将来のバージョンに重大な影響を及ぼす可能性があると予測しています。彼はまた、ほとんどの証明がGroth16パッケージを採用する可能性があることに言及しました。

別の専門家は、証明システムとハードウェアを同時に設計する概念について議論しました。彼らのシステムはバイナリタワー場とサムチェックプロトコルを使用しています。初期のテストでは、特定のアプリケーションにおいてGroestlハッシュ関数の性能がKeccakを明らかに上回っていることが示されました。

非中央集権の証明者ネットワーク

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

ある会社の共同創設者は、彼らが間もなく発表するプロバイダー ネットワークについて紹介しました。彼女はさまざまな潜在的なメカニズム設計について議論し、競争またはマイニングに基づく設計はうまくいかない可能性があると考えています。彼女は、設計の目的は次の順序であるべきだと指摘しました：コストの最小化、遅延の最大化、そして検閲耐性。彼女は、発行/ステーキングモデルが効果的である可能性があるが、オークションモデルが最も成功する可能性が高く、最終的には今日のブロック構築に似たものになると予測しています。

ある博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼は、二者間オークションが証明者と入札者の間の共謀の影響を受けやすいことを指摘し、そのためにProo-phiという代替メカニズムを提案し、新しいマッチング取引と証明メカニズムを導入しました。

別の専門家は、マルチパーティ計算（MPC）をサポートする証明市場について、特に小規模なクライアントと大規模な証明者の間でプライバシーを維持する方法を議論しました。彼は、MPC内でコストを最小限に抑えるために、線形計算を行うために証明システムの組み合わせを選択する方法について探求しました。

ゼロ知識の資格

会議では、既存のアイデンティティシステムからゼロ知識証明を構築する努力についても議論されました：

• プロジェクトは、DKIM署名に対する知識証明に依存して、ゼロ知識電子メールアドレス所有権証明の開発に取り組んでいます。
• 別のプロジェクトはOpenID Connectを使用して従来のweb2アイデンティティと相互作用し、GoogleやFacebookアカウントへの送金などのアプリケーションを可能にします。
• 第三のプロジェクトは、特定の国のパスポートと年齢を証明するなど、具体的な情報を開示することなく、既存の電子パスポートから匿名証明書を構築する方法について探討しました。

これらの進展は、ゼロ知識証明技術が認証とプライバシー保護において巨大な可能性を示しており、未来のアプリケーションに新たな可能性を切り開いています。