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

ジョセフ・ボノーは、2024年4月13日に第11回ゼロ知識サミット(zkSummit)の現地報告を発表しました。このサミットは4月10日にアテネで開催され、約500人の参加者が集まりました。会議では、ゼロ知識ハードウェア、SNARKの性能、証明ネットワーク設計などの最新の進展をカバーする4つの講演が同時に行われました。

ゼロ知識ハードウェア

ハードウェアによる証明生成のサポートは、業界の注目の焦点であり続けています。メインステージでの2つの講演では、この分野の最新の発展が概説されました。

ある研究者がゼロ知識ハードウェアについて包括的な概要を述べており、汎用ハードウェアの使用、カスタムハードウェアの製造、そして分散型証明ネットワークを運営する企業について言及しています。彼は、最適化されたzkVMシステムが1000倍の計算効率の向上を実現する可能性があると予測しており、これがイーサリアムの将来のバージョンに重大な影響を与えるとしています。また、正式な証明者と検証者の競技会が開催され、賞金は2000万ドルに達することも言及しています。

ある会社の共同創業者がBiniusシステムを紹介しました。このシステムは、証明システムとハードウェアを同時に設計しています。Biniusは、バイナリタワーフィールドとsumcheckプロトコルを使用しています。初期テストでは、特定のアプリケーションにおいてGroestlハッシュ関数の性能がKeccakよりも明らかに優れていることがわかりました。

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

業界関係者は一般的に、将来的には大規模なステートメントの証明生成(が、Rollup内の一連の取引の正しさ)を、競争が激しく分散化された専門的な証明者市場によって行われると考えています。

ある会社の共同創設者が、分散型証明者ネットワークのさまざまな潜在的なメカニズム設計について議論しました。彼女は設計目標は次の順序であるべきだと考えています：コストの最小化、遅延の最大化、検閲耐性。彼女はオークションモデルが最も成功する可能性が高く、最終的には現在のブロック構築モデルに似たものになると予測しています。彼女は、彼女の会社が複数のzkVMの証明をサポートする汎用オークションネットワークを構築していると明らかにしました。

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

ある会社の最高技術責任者は、マルチパーティ計算(MPC)の証明市場をサポートすることについて議論し、特にMPCを利用して小規模な顧客と大規模な証明者間のプライバシーを保護する方法について話しました。彼はコストを最小限に抑えるために、線形演算を行うための証明システムの組み合わせを選択する方法について探求しました。

ゼロ知識の資格

3つの議論は、既存のアイデンティティシステムからゼロ知識証明を構築する努力に焦点を当てており、各方案は異なるアイデンティティシステムに基づいています。

あるプロジェクトの共同創設者がゼロ知識電子メールアドレス所有権証明について紹介しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名の検証に依存しています。電子メールアドレスを制御しているかどうかをゼロ知識証明で確認できる多くのアプリケーションがあります。これには、電子メールアドレスへの送金や匿名通報などが含まれます。

ある企業の研究科学者たちは、OpenID Connectと従来のWeb2アイデンティティとの相互作用を利用したシステムについて議論しました。このシステムは既存のOpenIDプロバイダーと相互作用し、ユーザーが特定のアドレスを制御していることを証明することで、GoogleやFacebookアカウントへの送金などのアプリケーションを実現します。

あるプロジェクトのメンバーは、既存の電子パスポートから匿名証明書を構築する方法について議論しました。例えば、ユーザーはパスポート番号や正確な年齢を明らかにすることなく、アメリカのパスポートを持っていて25歳以上であることを証明できます。