ピッツバーグに拠点を置く ChainwireAnaxi Labs は、カーネギー メロン大学のサイバーセキュリティおよびプライバシー研究所である CyLab と提携して、スケーラブルなゼロ知識アプリケーションを構築するために必要な基本的なトレードオフに対処する暗号コンパイル フレームワークを立ち上げました。この革新的なアプローチは、高レベルのソフトウェアを基盤となる証明システムに必要な単純な形式に直接コンパイルし、手動作業を排除してパフォーマンスを向上させると同時に、自動化された反復可能かつ監査可能な方法でプロセスの暗号化セキュリティを確保します。カーネギー メロン大学の CyLab はブロックチェーン開発センターであり、その有名な教授や研究者には、ブライアン パルノ教授とリアド ワビー助教授が含まれます。これは、CMU Secure Blockchain Initiative を通じた、Anaxi Labs と CyLab の共生パートナーシップの 2 番目の研究プロジェクトの成果です。