Anaxi Labsとカーネギーメロン大学のCyLabが画期的な証明システムを発表

ピッツバーグ、米国、2024年12月6日/Chainwire/-- Anaxi Labsは、カーネギーメロン大学のサイバーセキュリティおよびプライバシー研究所であるCyLabと共同で、ゼロ知識でスケーラブルなアプリケーションを構築するには根本的なトレードオフが必要であるという行き詰まりを解決する暗号化用のコンパイラフレームワークを発表します。

スケーラブルで、暗号化により保護され、分散化されたアプリケーションという、とらえどころのない 3 つの要素は、これまでは不可能であり、大量導入の障壁であると考えられてきました。

トレードオフのない暗号化のブレークスルー

イーサリアムなどのブロックチェーンは、分散型インフラストラクチャの未来として歓迎されており、ゼロ知識 (ZK) テクノロジーは、イーサリアムのセキュリティと 120 TPS を超えるスケーラビリティを強化すると期待されています。

チームによると、ZK 証明の開発は複雑で時間がかかり、数十人の開発者が何千時間もかけて開発する必要がある。証明生成の速度を優先することは、プロトコルを手動で設計することも意味し、手動コーディングと数万行のコードによって、重大なセキュリティ上の脆弱性が生じる。

これにより、セキュリティに敏感な分散型アプリケーションの作成が複雑になり、監査可能性とコンプライアンスが悪夢になります。これらはすべて、金融、ヘルスケア、AI などの規制産業での広範な導入の妨げとなります。カーネギーメロン大学の研究者チームは、このトレードオフを克服するために Anaxi Labs と協力中です。

CMU の最近の論文では、高レベルのソフトウェアを直接コンパイルし、基礎となる証明システムが機能するために必要なより単純な形式 (低レベルの表現) に変換する革新的な方法が紹介されています。

これらはすべて自動的に実行され、繰り返し可能で監査可能なため、手作業がなくなり、パフォーマンスが大幅に向上するとともに、プロセスのセキュリティが暗号化によって確保されます。

この作業では、高レベルのプログラムを分析し、プログラムを小さく分割できない単位に分割し、各単位からさまざまな証明システムに簡単に入力できる低レベルの表現を作成することでこれを実現します。

「CPUの代わりに自動的に計算を非常に特定のチャンクに分割するというこのアイデアは新しいアプローチであり、コンパイラーの完全なプログラム表現を回避するこの種のアプローチを試みた人はこれが初めてです」とカーネギーメロン大学のリアド・ワビー助教授は述べた。電気・コンピュータ工学科。

「私たちは非常に興奮しています。」

新しい分散型アプリケーションの解放

Anaxi Labs が研究から構築している研究とフレームワークは、Web3 およびそれ以降の業界に革命を起こすことになるでしょう。

従来の金融および規制金融では、監査可能性を維持しながらパフォーマンスを向上させることで、即時の米ドル支払いなどの銀行間送金のリアルタイム決済が可能になります。

ヘルスケア分野では、23andMe が直面している課題の中、Anaxi Labs が開発中の製品によって実現される安全でプライバシーを保護する暗号化ツールにより、重大な懸念に対処し、個人の DNA の正当な所有権を確保することで個人の遺伝情報を安全に活用し、貴重な研究を行うことができるようになりました。

エンタープライズ AI と重要な物理インフラストラクチャの領域では、複数のデータとコンピューティング リソースにわたる迅速な微調整と推論など、高可用性とほぼゼロのレイテンシを必要とする分散型ソリューションが現実のものになります。

短期的には、この研究に基づいた製品は、スケーラビリティ、セキュリティ、分散化のトレードオフに取り組んでいる Web3 企業にとって最も効果的なソリューションとなり、ロールアップと相互運用性のための新しい設計パラダイムを提供します。

「この研究と、その研究を組み込んで私たちが構築している製品は、ZKやEVMなど、膨大なパフォーマンスオーバーヘッドに対する安全なソリューションを必要とする今日の多くの重要な業界アプリケーションに大きな影響を与え、最終的に、リアルタイム決済による暗号的に安全な分散型コンセンサスという私たちのビジョンの実現に近づくことになるでしょう」と、Anaxi Labsの共同創設者であるケイト・シェン氏は述べた。

「言語やライブラリに依存しないという点も気に入っています。つまり、コードを変更することなく、さまざまなプロジェクトでこのメリットを享受できるということです。これにより、今日のますます静的でモノリシックなアプローチとは対照的に、オープンでコラボレーション可能なフレームワークを構築できました」と Shen 氏は付け加えます。

「これにより、すべての開発者は、ルックアップ、コプロセッサ、ハードウェアアクセラレーションなどの証明システムの最新の進歩の中から最適なものを自動的に選択して組み合わせることができるようになり、各計算基盤のパフォーマンス向上が最大化されます。」

Anaxi LabsとCyLab、画期的なパートナーシップ

カーネギーメロン大学のCyLabは、ゼロ知識を含むブロックチェーン開発の基盤となる最先端の研究の中心となっています。

CyLabの著名な教員研究者には、ZKの歴史に重要な貢献をしたブライアン・パーノ教授がおり、彼の研究室は広く引用されているノヴァ紙シリーズ、そして助教授のリアド・ワビーは、その研究結果により、次のようなビジョンを実現する新しい暗号技術を生み出しました。イーサリアム財団（そして最近では、画期的なジョルトzkVM Andreessen Horowitz の暗号部門である a16z crypto による実装。

このコンパイラ フレームワークに示されている調査結果は、CMU セキュア ブロックチェーン イニシアチブを通じて Anaxi Labs と CyLab の共生パートナーシップから生まれた 2 番目の研究プロジェクトの結果です。

このパートナーシップにより、CMU の研究者は、Anaxi Labs が先導する Web3 と Web 2.0 アプリケーションの両方におけるブロックチェーン研究の商用展開から得られた洞察を共同で学び、活用できるようになります。

これにより、ブロックチェーン技術の既知の利点と大規模導入の間のギャップを埋められない、ブロックチェーンの既存の主要な問題に対する商業的なソリューションを見つけることができます。また、CMU の学生が Web3 でキャリアをスタートするための足がかりとしても機能します。

「Anaxi Labs と CyLab の提携により、CMU の研究者は直接的な現実世界への応用を伴うプロジェクトに取り組む能力が向上し、その研究が実用的かつ影響力を持つ可能性が確保されます」と、CyLab のパートナーシップ担当シニアディレクター、マイケル・リサンティ氏は述べています。

Anaxi Labs について詳しくは: https://www.anaxilabs.com/

Anaxi Labs と CyLab の最新の取り組みについて詳しくは、以下をご覧ください。 https://www.cylab.cmu.edu/

CyLab と Anaxi Labs のパートナーシップの詳細については、以下をご覧ください。 https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

Anaxi Labsについて

アナクシラボは、高度な学術理論と大量導入の世界をつなぐ新しいタイプの研究開発ラボです。

彼らは、独自の最先端の研究の実施、エンタープライズ グレードの安全でスケーラブルな分散型インフラストラクチャの構築、暗号化を活用した次世代の分散型アプリケーションの促進に取り組んでいます。

Anaxi Labs は、世界トップクラスの暗号研究の専門家や、何億人ものユーザーに親しまれている有名製品の構築と運用の経験を持つ世界クラスのエンジニアと協力しています。

彼らは、暗号学のトップ学術機関の業界パートナーです。カーネギーメロン大学彼らは協力して、人々、社会、そして地球のために科学がもたらす力を解き放ち、インターネットの未来を変革することに取り組んでいます。

Webサイト： https://www.anaxilabs.com/

CyLabについて

カーネギーメロン大学のサイラボ大学のセキュリティとプライバシーの研究機関です。

工学、コンピューターサイエンス、公共政策、情報システム、ビジネス、金融情報リスク管理、人文科学、社会科学の分野を網羅し、大学全体のすべての学部から専門家が集まります。

私たちの使命は、部門、分野、地理的境界を越えて、セキュリティとプライバシーに関する共同研究と教育を促進、サポート、推進、強化し、研究、教育、公共政策、実践に大きな影響を与えることです。

Webサイト： https://www.cylab.cmu.edu/

接触

広報

デイジー・リョン

デイジー@11.international