Anaxi Labsとカーネギーメロン大学のネットワークセキュリティとプライバシー研究所CyLabは、革新的な暗号化コンパイラフレームワークを発表しました。このフレームワークは、業界に長年の悩みとなっていた問題を解決しました - スケーラブルなゼロ知識アプリケーションを構築するためには、基本的なレベルでの優先順位付けが必要でした。これまで、スケーラブル性、暗号化セキュリティ、分散化アプリケーションという3つの特徴は同時に実現不可能と考えられていました。これが大規模なアプリケーションの障壁となっていました - 今ではそうではありません。

取捨せずに進化した暗号学

イーサリアムなどのブロックチェーンは、分散化されたインフラストラクチャーの未来として讚えられていますが、ゼロ知識（ZK）技術はイーサリアムのセキュリティとスケーラビリティを1秒あたり120取引を超えるレベルにまで引き上げることができると考えられています。しかし、現実はまったく異なります。ゼロ知識証明の開発は複雑で時間がかかり、数十人の開発者が何千時間も費やすことが必要です。証明生成の速度を最適化するためには、しばしばプロトコルを手動で設計する必要があり、手動のコーディングと何万行ものコードは大きなセキュリティリスクを伴います。これにより、セキュリティに敏感な分散化アプリケーションの作成が複雑になり、監査やコンプライアンスは悪夢となります。これらのことが、金融、医療、人工知能などの規制対象の産業でのこの技術の広範な利用を妨げています。

カーネギーメロン大学の研究チームは、Anaxi Labsと協力してこの課題に取り組んでいます

カーネギーメロン大学が最近発表した論文では、革命的な方法が提案されており、高度なソフトウェアを自動的にコンパイルし、よりシンプルな形式（低位表現）に簡略化することが可能です。このプロセスは完全に自動化され、繰り返し可能であり、手作業を排除し、性能を大幅に向上させると同時に、暗号技術のレベルでプロセスのセキュリティを確保します。この成果は、高度なプログラムを分析し、プログラムを小さな、分割できないユニットに分解し、それぞれのユニットから容易にさまざまな証明システムに入力できる低位表現を作成することで実現されます。

カーネギーメロン大学の電気・コンピュータ工学部の助教授であるRiad Wahby氏は、「CPUを置き換えるために計算を非常に具体的なブロックに分解するこのような自動化された方法は、プログラムを完全に表現することを避けるコンパイラの方法を初めて試みた人がいることを示しています。私たちはこれにとても興奮しています。」と述べています。

新しい分散型アプリケーションを開始します

この研究およびAnaxi Labsによって構築されたフレームワークは、Web3および他の分野の産業構造を根本的に変えます。伝統的で規制された金融分野では、監査可能性を維持しながらパフォーマンスを向上させ、銀行間のリアルタイム決済（例えば即時ドル決済）を可能にします。医療保健分野では、23andMeが直面する課題を克服するために、Anaxi Labsの開発する製品がサポートする安全でプライバシーを保護する暗号化ツールにより、個人が自分自身のDNAの合法的な所有権を確保することによって、重要な問題を解決し、価値ある研究を支援することができます。企業向け人工知能および重要な物理インフラストラクチャの分野では、分散化ソリューション（例：複数のデータおよび計算リソースを跨いでの高可用性およびほぼゼロの遅延を持つクイックチューニングおよび推論）が現実のものとなりました。

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

Anaxi Labsの共同創設者であるKate Shenは、「この研究とその成果を統合した製品の開発は、多くの性能の制約に対処するために監査可能なソリューションが必要な重要な産業アプリケーションに深い影響を与えます。たとえば、ZKとEVMなど。最終的には、リアルタイムの暗号化セキュリティ分散コンセンサスのビジョンをさらに推進することができます。」と述べています。

Shenは追加で述べています："私たちはこの研究のクロス言語能力を非常に高く評価しており、これはさまざまなプロジェクトがコードを変更せずに利益を得ることができることを意味しています。これにより、静的で単一化された今日の方法ではなく、オープンで協力的なフレームワークを構築できます。これにより、すべての開発者が自動的に最新の証明システムの利点を選択して組み合わせることができ、テーブルの検索、コプロセッサ、およびハードウェアアクセラレーションなどの性能利益をもたらす最新の証明システムを最大限に活用できます。"

Anaxi Labs と CyLab：ゲームルールを変えるコラボレーション

カーネギーメロン大学のCyLabは、ブロックチェーンの開発（ゼロナレッジテクノロジーを含む）の先端研究の中心です。CyLabの有名な教授研究者には、ゼロナレッジテクノロジーの重要な貢献者であるBryan Parnoが含まれており、その研究室は広く引用されているNova論文シリーズを生み出しました。また、アシスタント教授のRiad Wahbyも含まれており、彼の研究成果はイーサリアム財団のビジョンを実現するための新しい暗号技術を生み出しました（最近ではAndreessen Horowitzの暗号化部門であるa16z cryptoの画期的なJolt zkVMの実装もあります）。

このコンパイラフレームワークの研究成果は、Anaxi LabsとCyLabによるCMUセキュリティブロックチェーンプログラムの共同研究プロジェクトから得られました。この協力関係により、カーネギーメロン大学の学者は、Web3およびWeb 2.0アプリケーションにおけるブロックチェーン研究のビジネス展開から洞察を得て学んでいくことができます。これにより、彼らは既存の主要なブロックチェーンの課題に対するビジネスソリューションを見つけ、ブロックチェーン技術の既知の利点と大規模な適用との間のギャップを埋めることができます。また、カーネギーメロン大学の学生にとって、Web3領域でのキャリアの始まりとなる支援を提供しています。

CyLabのパートナーシップ担当上級責任者であるMichael Lisantiは、「Anaxi LabsとCyLabの提携により、カーネギーメロン大学の研究者が実用的なプロジェクトでの作業能力を向上させ、彼らの仕事が実際の相関と潜在的な影響力を持つことを確保しています。」と述べています。

Anaxi Labs の詳細については、公式ウェブサイトをご覧ください。

Anaxi LabsとCyLabの最新の取り組みについては、こちらをご覧ください。

CyLabとAnaxi Labsの協力に関する詳細は、こちらをご覧ください。

Anaxi Labsについて

Anaxi Labsは、先進的な学術理論と大規模なアプリケーションの橋渡しを行う新しい研究開発ラボです。私たちは、オリジナルで先進的な研究を展開し、企業レベルで安全で拡張可能な分散型インフラストラクチャを構築し、暗号技術によって駆動される次世代の分散型アプリケーションの発展を推進しています。

私たちは世界トップクラスの暗号研究者や世界クラスのエンジニアと協力しています。これらのエンジニアは、数億人規模の有名な製品を構築し運営した経験があり、彼らの専門知識と経験は私たちのプロジェクトに確かな技術サポートを提供しています。私たちはカーネギーメロン大学などのトップクラスの暗号学の学術機関と提携しています。私たちは科学の力を解き放つことで、人類、社会、地球の潜在能力を変え、インターネットの未来を変えることに力を合わせて取り組んでいます。

CyLabについて

カーネギーメロン大学のCyLabは、同大学のセキュリティとプライバシー研究所です。私たちは工学、コンピュータサイエンス、公共政策、情報システム、ビジネス、金融情報リスク管理、人文科学、社会科学など、学部全体から専門家を集めています。私たちの使命は、部門、学問、地理的境界を超えて、協力的なセキュリティとプライバシーの研究と教育を促進し、支援し、推進し、強化することであり、研究、教育、公共政策、実践に重大な影響を与えることです。01928374656574839201

この記事は投稿から来ていますが、見解を代表するものではありません。

：