Anaxi Labs and Carnegie Mellon University CyLab have launched a groundbreaking proof system, paving the way for scalable and secure real-world applications

By: blockbeats|2024/12/09 07:15:01
シェア
copy

Anaxi Labs and Carnegie Mellon University CyLab have launched a groundbreaking proof system, paving the way for scalable and secure real-world applications

Anaxi Labs has partnered with Carnegie Mellon University's Network Security and Privacy Institute CyLab to announce the launch of a groundbreaking cryptographic compiler framework that tackles a longstanding industry challenge — building scalable zero-knowledge applications has traditionally required trade-offs at a fundamental level. Previously, the three characteristics of scalability, cryptographic security, and decentralization were deemed impossible to achieve simultaneously, which was also a barrier to widespread adoption — until now.

A Cryptographic Breakthrough Without Trade-Offs

Blockchains like Ethereum have been hailed as the future of decentralized infrastructure, with zero-knowledge (ZK) technology expected to elevate Ethereum's security and scalability to over 120 transactions per second. However, reality has been quite different. Developing zero-knowledge proofs is both complex and time-consuming, requiring dozens of developers to invest thousands of hours. To optimize proof generation speed, manual protocol design is often necessary, and manual coding and tens of thousands of lines of code bring significant security risks. This complexity has made creating security-sensitive decentralized applications challenging and has turned auditing and compliance into nightmares — all of which have hindered the widespread adoption of this technology in regulated industries such as finance, healthcare, and artificial intelligence.

Carnegie Mellon University's research team is collaborating with Anaxi Labs to overcome this challenge

In a recent paper published by Carnegie Mellon University, a revolutionary approach has been proposed to automatically compile high-level software into a simpler form required by the underlying proof system (low-level representation). This fully automated, reproducible, and auditable process eliminates manual work, significantly improves performance, and ensures process security at the cryptographic level. This achievement involves analyzing high-level programs, breaking them down into small, indivisible units, and then creating low-level representations from each unit, which can easily be input into various proof systems.

Carnegie Mellon University's Department of Electrical and Computer Engineering Assistant Professor Riad Wahby stated: "Breaking computation down into very specific blocks in an automated way, rather than through a CPU, is a new approach, and this is the first time anyone has attempted this compiler approach that avoids a full program representation. We are very excited about this."

Empowering the Next Generation of Decentralized Applications

This research, along with the framework built by Anaxi Labs based on the research, will fundamentally change the industry landscape of Web3 and beyond. In the traditional and regulated financial sector, maintaining auditability while improving performance enables real-time settlement of interbank transfers (such as instant USD payments). In the healthcare sector, amidst challenges faced by 23andMe, the secure and privacy-preserving encryption tools supported by Anaxi Labs' product can now address critical issues by ensuring individuals' rightful ownership of their DNA, while supporting valuable research. In the enterprise AI and critical infrastructure sector, decentralized solutions requiring high availability and near-zero latency (such as rapid fine-tuning and inferencing across multiple data and compute resources) have also become a reality.

Most recently, products based on this research have provided the most effective solutions for Web3 enterprises grappling with scalability, security, and decentralization trade-offs, offering new design paradigms for rollups and interoperability products.

Kate Shen, Co-founder of Anaxi Labs, stated: "This research, along with the products we are building that integrate the findings of this research, will have a profound impact on many key industry applications today that require auditable solutions to address scaling bottlenecks, such as ZK and EVM, ultimately bringing us closer to realizing the vision of a cryptographically secure, real-time settlement-capable decentralized consensus."

Shen added: "We also appreciate the cross-language capability of this research, meaning various projects can benefit without modifying their code. This allows us to build an open, collaborative framework rather than adopting today's increasingly static, monolithic approach. This enables all developers to automatically select and combine the advantages of the latest proofing systems, such as lookups, co-processors, and hardware acceleration, maximizing the performance gains of each computational approach."

Anaxi Labs and CyLab: A Game-Changing Collaboration

CyLab at Carnegie Mellon University has been a hub of cutting-edge blockchain development (including zero-knowledge technologies). CyLab's renowned professor researchers include Bryan Parno, a significant contributor to the history of zero-knowledge technology development, whose lab has produced widely cited Nova paper series; and Assistant Professor Riad Wahby, whose research achievements have led to the realization of new cryptographic technologies aligning with the Ethereum Foundation's vision (recently also with the pioneering Jolt zkVM implementation by Andreessen Horowitz's a16z crypto).

The research findings of this compiler framework stem from a collaborative partnership established through the CMU Security and Blockchain Initiative, between Anaxi Labs and CyLab. This collaboration has enabled Carnegie Mellon University scholars to work with Anaxi Labs, gaining insights from their blockchain research commercial deployments in Web3 and Web 2.0 applications. It has allowed them to find business solutions to existing major issues in blockchain, bridging the gap between the known advantages of blockchain technology and large-scale applications. It has also provided a launching pad for Carnegie Mellon University students to embark on careers in the Web3 field.

CyLab's Director of Strategic Partnerships, Michael Lisanti, stated, "The collaboration between Anaxi Labs and CyLab has enhanced the ability of Carnegie Mellon University researchers to work on projects with direct real-world applications, ensuring that their work is practically relevant and potentially impactful."

For more information about Anaxi Labs, please visit the official website.

For more on the latest work by Anaxi Labs and CyLab, please visit here.

For more information on the collaboration between CyLab and Anaxi Labs, please visit here.

About Anaxi Labs

Anaxi Labs is a novel research and development laboratory that bridges the gap between cutting-edge academic theory and large-scale applications. We are committed to conducting original frontier research, building enterprise-grade, secure, and scalable decentralized infrastructures, and advancing the development of cryptography-driven next-generation decentralized applications.

We collaborate with world-class cryptography researchers and top-notch engineers who have successfully built and operated renowned products at the scale of hundreds of millions of users, providing robust technical support for our projects with their expertise and experience. We are an industry partner of top-tier cryptographic academic institutions like Carnegie Mellon University. We are collectively dedicated to transforming the future of the internet by unlocking the potential of science for humanity, society, and the planet.

About CyLab

CyLab at Carnegie Mellon University is the university-wide security and privacy research institute. We bring together experts from across the university, spanning engineering, computer science, public policy, information systems, business, financial information risk management, humanities, and social sciences. Our mission is to catalyze, support, promote, and enhance collaborative research and education in security and privacy across departmental, disciplinary, and geographic boundaries to have a meaningful impact on research, education, public policy, and practice.

This article is contributed content and does not represent the views of BlockBeats

関連記事

AI暗号通貨取引コンペティション: WEEXアルファ覚醒を知るための完全ガイド

仮想通貨取引への人工知能の統合は、斬新な実験からコアユーティリティへと進化しました。 2026年、市場が変動する中、規律の強化、優れた執行速度、構造化されたデータに基づく意思決定を求めるトレーダーにとって、AI主導のツールは不可欠となっています。 このガイドでは、WEEXアルファ覚醒に参加する方法について、実践的でステップバイステップの内訳を示し、ライブ取引環境内でこれらのストラテジーがどのように実装されているかを中心に検証しています。

Multicoinの視点:なぜFinTech 4.0としてのStablecoinsに期待しているのか?

キーポイント 金融技術(FinTech)は過去20年間で大きく進化しましたが、資金移動の根本的な仕組みはほとんど変わっていません。 Stablecoinsは金融の基盤を変革し、開かれたネットワーク上での決済を可能にし、従来の銀行機能を置き換えています。 FinTech 4.0では、開発者が直接オープンなネットワークとやり取りすることで、信用、保管、コンプライアンスなどのコストが大幅に削減されます。 ニッチな市場に特化したフィンテック企業は、わずかな運用コストで持続的なビジネスモデルを構築することができます。 WEEX Crypto News, 2026-01-05 07:12:37 金融技術の進化 金融技術(FinTech)は過去20年間にわたり、人々が財務商品にアクセスする手段を変えてきましたが、資金の流れ自体の根本的な変革はありませんでした。この期間中、技術革新の多くはインターフェースやユーザーエクスペリエンスの改善、そして効率的な流通経路に焦点を当ててきましたが、基盤となる金融インフラストラクチャーはほぼ変わらずに残っています。大半の期間、FinTechスタックは構築よりも再販売に重点を置いていました。 FinTech 1.0: デジタル化された流通(2000-2010) FinTechの最初の波は、金融サービスをよりアクセスしやすくするものでしたが、効率性の向上にはあまり貢献しませんでした。PayPalやE*TRADE、Mintのような企業は、既存の金融商品をデジタル化し、インターネットインターフェースと伝統的なシステム(例えば、ACH、SWIFT、カードネットワーク)を組み合わせました。しかし、この時期の資金決済は遅く、コンプライアンスプロセスには手動操作が必要で、支払い処理は厳しいタイムラインに制約されていました。 FinTech…

Crypto Fear & Greed Indexの安定、「Fear」感情への効果的な対処が必要

Key Takeaways 現在のCrypto Fear & Greed Indexは「恐怖」レベルで、26に留まっている。 ビットコイン(BTC)のショートポジションは増大し、$53.9 Millionに達している。 PEPEにおける「Meme Army Front」はショートポジションを構築中で、今年の利益は$81 Millionに達している。 SOLの取引では、いわゆる「100% Win Rate」トレーダーが未実現損失を抱えている。 WEEX Crypto…

今週のマクロ経済の展望:雇用統計と失業率の発表、FRB要人のスピーチに注目

Key Takeaways 米国の非農業部門雇用者数と失業率が今週金曜日に発表予定。 ミネアポリス連銀総裁カシュカリとリッチモンド連銀総裁バーキンがスピーチ予定。 BTCとPEPEのポジション調整に関する注目ニュース。 巨額のETHがCoinbaseからBinanceに移動した事案。 WEEX Crypto News, 2026-01-05 07:12:40 今週のマクロ経済の注目イベントは、米国の12月非農業部門雇用者数と失業率の発表です。これらのデータは、経済の健康状態と未来の政策決定に大きな影響を与えるため、多くの市場参加者が注目しています。また、FRB(米連邦準備制度)の要人が複数登壇する予定で、それぞれの発言も市場に影響を与える可能性があります。特に、ミネアポリス連邦準備銀行の総裁であり、2026年のFOMC(米連邦公開市場委員会)投票権を持つニール・カシュカリや、2027年FOMC投票権を持つトム・バーキンがスピーチを行う予定です。 米国の重要な経済指標発表予定 月曜日から土曜日の予定 月曜日の深夜1時30分(北京時間)には、アメリカ経済協会でミネアポリス連銀のカシュカリ総裁が講演を行います。この言葉は、金利政策や経済成長見通しに関する市場の手掛かりとなるため、特に注目されています。 火曜日の午後9時には、リッチモンド連銀のバーキン総裁がスピーチを行います。彼の発言も、来年のFOMCでの投票権を持つということもあり、特に注目されています。この発言は、今後の金融政策の方向性を見定めるために重要です。 水曜日の午後9時15分には、米国の12月ADP雇用者数の変動が発表されます。前回のデータは-3.2千人であるのに対し、今回の予測は4.5千人となっています。この変化は、雇用市場の現況を把握するための重要な指標です。 木曜日の午後9時30分には、初回失業保険申請件数が発表される予定です。この指標は、失業者数の増減を示すため、労働市場の健全性を測る重要なツールです。前回のデータは19.9千件で、今回は21.6千件と予測されています。…

ベネズエラの600億ドルのBTC「シャドウリザーブ」、ウォルマートがBitcoin決済をサポート:海外の暗号通貨コミュニティで今日話題のこと

Key Takeaways ベネズエラは600,000以上のBitcoinを保有し、これらは地政学的リスクの影響を受けて市場にとって重大な意味を持つ。 ウォルマートがBitcoinによる支払いを導入し、暗号通貨の主流化を促進している。 SolanaとEthereumは、それぞれ取引量とステーブルコイン決済で大きな成果を達成した。 鋭い価格変動における流動性リスクが警告され、多くの市場参加者が注意を呼びかけている。 AI技術は、特にPolymarketのような予測市場において、トレーダーに新たな機会を提供している。 WEEX Crypto News, 2026-01-05 07:12:45 暗号通貨市場は24時間以内に大きな動きを見せ、マクロ経済的な議論からエコシステムに特化した発展に至るまで、さまざまなダイナミクスが展開されました。中でも、オンチェーンでの価格操作の警告、AIを利用した市場のアルファを引き出す予測手法、地政学的リスクが市場供給ダイナミクスに及ぼす潜在的な影響に関する主流の議論がありました。これらの議論は、暗号資産市場全体にわたる多様な動きと変革を象徴するものです。 Curveエコシステムトークンの価格異常 Curveエコシステムのトークン$CVXが短期間で40%以上急騰したことがコミュニティでの期待感を刺激しましたが、これは持続的なトレンドリバーサルを意味していない可能性があります。オンチェーンアナリストであるジョルディ(@lordjorx)はすぐに警告を発表し、この異常が実際の需要によるものではなく、特定のウォレットによる集中購入(ボットであると疑われる)によって引き起こされたと指摘しました。これにより、100位以内のホルダーに位置する「スマートマネー」ウォレットの2つが、この人工的なポンプを利用して25%および34%のポジションを売却しました。この出来事は、基盤となるサポートを欠く鋭い価格変動で他の人にとっての流動性の出口として利用されないよう、市場参加者に慎重になるよう再び注意を促しています。 PolymarketとAIツールの利用 最近、AIツールを使って予測市場Polymarketの「インサイダーアドレス」を特定する手法がスポットライトを浴びています。トレーダースペースΞ(@spacexbt)は、AIコードツール(ClaudeやCursorなど)を活用して数時間で「インサイダーアドレス」と新しいウォレットの活動を追跡するモニタリングシステムを構築する方法を共有しました。彼は、Polymarketが無料でオープンなAPIとドキュメントを提供していることを強調し、これは伝統的な金融データ領域(高コストのBloomberg Terminalと対比して)では前代未聞のことです。このトレンドは、AI強化ツールの普及により、個々のトレーダーが「アルファ」にアクセスするための障壁が低下しており、データ分析と自動取引が予測市場における新たな戦場になっていることを示しています。…

マドゥロ追放、600億ドルのBitcoin「シャドウリザーブ」が解放され、グローバル市場の風景を一新

マドゥロ政権は、2018年からBitcoinとUSDTで600億ドル以上の「シャドウリザーブ」を構築していた。 USDTが凍結アドレス機能を持つことに気付いた後、VenezuelaはUSDTをBitcoinに転換し始めた。 金スワップと油輸出でのBitcoin取得が、この巨大なリザーブを支えている。 現在これらのBitcoinの合計価値は560億ドルから670億ドルと推定され、最低で60万枚以上のBitcoinを保有している。 マドゥロの拘束後も、米国がこれらのBitcoinを完全にコントロールできるわけではない。 WEEX Crypto News, 2026-01-05 07:14:46 背景とVenezuelaのクリプト戦略 Venezuelaは近年、厳しい国際制裁を回避するために斬新な戦略を取ってきました。それには特に、クリプトカレンシーを用いた経済運営方法があります。2018年に始まったこの戦略は、数年間にわたり「金スワップ」や「油輸出のためのUSDT決済要求」を通じて、仮想通貨リザーブの増大を目指しました。これにより、Venezuelaはアメリカドルに代わりUSDTを使用し、制裁の影響を軽減しようと試みました。しかし、USDTには住所凍結機能があることが判明し、最終的にはBitcoinへのシフトを促しました。 この動きは、2018年から2020年の間に金の利益をBitcoinに変換することから始まっています。購入時の平均価格は5,000ドルとされ、現在では、その価値は約450億ドルから500億ドルにまで上昇しています。2023年から2025年までには、油輸出を通じてさらに100億ドルから150億ドル相当のBitcoinを獲得しており、さらには採掘の急襲で5000億ドル近くをも手にしています。 BitcoinとUSDTの現状と未来 このようにして蓄積されたBitcoinの総額は、2026年にかけて推定560億ドルから670億ドルに達するとされています。所有されているBitcoinの総数は最低で60万枚以上、その量は66万枚に上る可能性があります。これはVenezuelaにとってだけでなく、グローバルなBitcoin市場に対しても計り知れない影響を与えるポテンシャルを持っています。 Bitcoinの存在に関わるもう一つの要素として、これらの仮想通貨が法執行機関や国際的な金融取引の規制からどのように逃れているかがあります。特にマドゥロの拘束が実施されたとしても、アメリカがこれらのBitcoinをどの程度コントロールできるかは不確かです。この要因が市場に与える影響や、価格変動への懸念も広がっています。 市場への影響 マドゥロ政権が築いた巨大な仮想通貨リザーブが市場に放出される可能性は、Bitcoin価格や全体の仮想通貨市場のボラティリティを大きく揺るがす要因となり得ます。特に、仮想通貨のグローバル市場においてこれほど大規模な供給が急に増加することは、市場参加者の間での不安感を助長する可能性があります。…

人気のコイン

最新暗号資産ニュース

もっと見る