logo

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 Alpha覺醒的完整指南

人工智能融入加密貨幣交易已經從一個新穎的實驗發展成為核心效用。 2026 年，人工智能驅動的工具對於在市場波動率中尋求強化紀律、卓越執行速度和結構化、數據知情決策的交易者來說，已成為不可或缺的工具。 本指南提供了如何參與WEEX Alpha Awakens的實用、分步分解，重點考察了這些策略如何在實盤交易環境中實施。

加密恐懼與貪婪指數穩定，「恐懼」情緒亟待妥善應對

加密貨幣市場的恐懼與貪婪指數目前穩定，但仍處於「恐懼」情緒階段。 市場參與者正在密切關注市場波動、交易量以及比特幣的市場佔有率。 有大鯨正在增加比特幣空頭倉位，而另一方面，以太坊的大量轉移引發關注。 幣圈的投資者對於近期的市場波動持觀望態度，需要進一步的情緒緩解。 WEEX Crypto News, 2026-01-05 07:12:37（today’s date,foramt: day, month, year） 加密市場近期經歷了一些復甦跡象，但根據Alternative的最新數據顯示，目前的加密恐懼與貪婪指數為26，相較於昨天的25略有提高。雖然市場已暫時脫離「極度恐懼」階段，但整體氛圍仍被「恐懼」籠罩，市場的看跌情緒需要進一步緩解。 恐懼與貪婪指數的意義 要了解恐懼與貪婪指數，我們需要先了解它的構成。該指數的計算涉及多個指標，分別是波動性（25%）、市場交易量（25%）、社群媒體熱度（15%）、市場情緒調查（15%）、比特幣市佔率（10%）以及Google趨勢分析（10%）。在這些指標的協同作用下，該指數能夠有效地反映市場的情緒狀態。當指數處於0-100的範圍中，數值較低時顯示市場處於恐懼狀態，而數值較高則顯示貪婪。 目前市場的恐懼主要來自於多個因素。首先是市場波動性。加密貨幣市場本質上比傳統金融市場具有更高的波動性，而這種自然波動在具體數據指標中扮演著重要角色。一旦波動性指數提升，通常會引起市場的更大不確定性，進一步放大恐懼情緒。 市場情緒的洞察…

2025年加密貨幣暴力事件回顧：65起人身攻擊，4起致命事件

重要摘要 2025年，針對加密貨幣持有者的暴力事件顯著增加，共計發生65起暴力襲擊。 西歐和亞太地區的暴力事件增長最快，而北美地區目前仍相對安全。 市場資本化增加與暴力事件的發生頻率密切相關，價格越高，犯罪率越高。 個人安全對於加密貨幣持有者尤其重要，存在多種提高安全性的措施。 儘管暴力事件增加，但這部分歸因於加密貨幣持有者的基數提高，個人風險並未如表面上看起來那麼劇烈增加。 WEEX Crypto News, 2026-01-05 07:12:42 加密貨幣持有者遭遇暴力事件上升趨勢 你是否還記得最近關於俄羅斯加密貨幣億萬富翁羅曼·諾瓦克及其妻子安娜在迪拜海灘被發現肢解並掩埋的新聞？這是專注於2025年的加密貨幣領域暴力事件的縮影。根據資料顯示，這一年共有65起暴力事件，其中包含4起重大致命案件。這不僅反映出襲擊事件的迅速增加，更令人擔憂的是其暴力程度逐漸升級。 作為行業中備受認可的人物，Dragonfly的合夥人哈西布·庫雷希 (Haseeb Qureshi) 分析了這些年來加密貨幣領域的暴力事件數據，並透露他寫作這篇文章是因為對此現象日益感到害怕。他的分析指出，除了事件數量上升，襲擊方式也變得更為極端。 擴大後的暴力事件分類…

本週宏觀展望：非農就業數據及失業率即將公布，聯儲官員輪番發聲

關鍵要點 非農就業數據及失業率的公佈將成為本週市場關注的焦點，預計對經濟預期產生重大影響。 聯儲官員，包括明尼阿波利斯和里士滿的聯儲行長，將在多個場合發表講話，可能引發市場對未來貨幣政策的猜測。 加密貨幣市場活動頻繁，一名鲸鱼投资者调整其Bitcoin空头仓位，使整体风控达到5390万美元。 一位知名投资者将价值超过1亿美元的ETH从Coinbase转移到Binance，引发市场热议。 WEEX Crypto News, 2026-01-05 07:12:40 美國經濟數據發佈一覽 在新年的第一個完整交易周，美國即將發布一系列重要的經濟數據和活動，這些數據被視為衡量經濟健康狀況的重要指標。除了通常的每周失業金申請數據外，最受關注的還有非農就業數據和失業率。這兩項數據不僅可以反映就業市場的健康狀況，也對聯邦儲備的貨幣政策有著指引作用。 本週的經濟活動從週一凌晨01:30開始，2026年聯邦公開市場委員會（FOMC）投票委員及明尼阿波利斯聯儲行長卡什卡利將在美國經濟學會發表講話。預計他的發言將涉及當前的經濟狀況及未來政策走向，這將為投資者和經濟學家提供新的見解。 週二晚上21:00, 2027年FOMC投票委員及里士滿聯儲行長巴金也將進行演講，其觀點和分析同樣具有指導性作用，尤其是針對2027年即將上任的新FOMC投票委員。 週三晚上21:15，市場將迎來12月份的ADP就業變動數據。雖然ADP數據的預測值顯示爲4.5萬，但前期數據爲減少3.2萬，這種預期增長將成為觀察市場反應的重要指標。 週四晚上21:30，初請失業金人數的發布預計會比之前的19.9萬增加至21.6萬，這一增幅有可能反映出就業市場的輕微波動。 週五是本週最重要的一天，數據集中發布形成高峰。當天21:30，市場關注的美國12月失業率和非農就業人數將正式公佈。失業率從此前的4.60%預期下降到4.50%，而非農就業人數則預指增長5.5萬。這兩項數據的變動將顯示出經濟恢復進展以及勞動市場的健康狀況，對於聯儲政策和貨幣市場走向都有重要影響。…

Solana鏈上現貨交易量超越除幣安以外的所有CEX

重要觀點 Solana在2025年的鏈上現貨交易量達到1.6兆美元，超越除了幣安以外的所有一層交易平台。 自2022年以來，Solana的鏈上交易量從總量的1%增長到12%。 幣安的市場份額自2022年以來從80%下降到55%。 加密巨鯨增加了BTC空頭倉位，達到5,390萬美元。 一個關注PEPE的賬戶，年初以來的利潤達到了8,100萬美元。 WEEX Crypto News, 2026-01-05 07:14:46 Solana的鏈上現貨交易量的驚人增長 Solana作為一個備受矚目的區塊鏈平台，最近在交易量方面展現出令人驚異的成績。根據Jupiter Data的報告指出，Solana的鏈上現貨交易量於2025年達到了1.6兆美元，已經超越除了幣安這個巨頭之外的所有其他一層交易平台。這個進步標誌著Solana從一個新興平台逐步站穩腳跟，成為加密貨幣市場中的重要角色。自2022年以來，Solana的鏈上交易量從當初佔總交易量的1%猛增至12%，顯示其在市場的接受度和使用度正在飛速提升。 這樣的成就不僅讓Solana成為市場上的焦點，也給包括Bybit、Coinbase Global以及Bitget在內的其他平台造成了不小的壓力。Solana不僅在交易速度上有顯著的優勢，其強大的生態系統和不斷擴展的應用場景也是其快速增長的驅動力之一。而與此同時，幣安的市場份額則從曾經的80%下降至目前的55%，這樣的變化意味着市場格局可能正在產生深遠的影響。 幣安市場份額下降的原因分析 幣安依然是全球最大的加密貨幣交易平台之一，但其市場份額的下滑值得深思。雖然幣安在交易選擇性和用戶體驗上長期占據領先地位，但市場競爭的加劇和監管壓力的不斷增強可能是影響該平台市場占有率的部分原因。隨著新的監管政策推動加密市場從無序走向有序，類似Solana這樣的新興平台可以提供更具競爭力的交易速度與手續費結構，這讓投資者更願意探索其他選擇。…

趨勢研究與「230M 長鯨」以太坊持倉由虧轉盈

主要觀點 以太坊（ETH）價格突破3200美元，使得趨勢研究和「230M 長鯨」兩大機構投資者的持倉由虧損轉為盈利。 「230M 長鯨」通過Hyperliquid買入203,000以太坊，成本基準每枚ETH為3147美元，現獲得未實現收益1400萬美元。 趨勢研究利用Aave槓桿購買626,000以太坊，平均成本約3186美元，現產生未實現利潤877萬美元。 市場中也有一些投資者選擇增持比特幣（BTC）的空頭頭寸，顯示出不同的交易策略。 WEEX Crypto News, 2026-01-05 07:14:48 近期以太坊（ETH）價格突破3200美元的消息成為了市場的焦點，尤其是對於一些大規模持有以太坊的巨鯨投資者來說，這一價格突破顯得尤為重要。根據Ashes Monitor的觀察，兩個曾經高調看好以太坊的機構，分別是趨勢研究（Trend Research）和「230M 長鯨」（即持有2.3億美元的長鯨投資者），其持倉狀況都發生了戲劇性的變化：從原本的虧損轉向了盈利。 「230M 長鯨」的交易深度解析…

熱門幣種

最新加密貨幣要聞

07:46

「鏈上PEPE最大多頭」單幣浮盈205萬美元

BlockBeats 消息，1 月 5 日，据 HyperInsight 监测，Hyperliquid 上「PEPE 最大多头」巨鯨目前以 3 倍槓桿做多 2,008,865,090 枚 kPEPE（約 1386 萬美元），單幣浮盈 205 萬美元。此前，該地址僅完成 3 筆交易，均以虧損離場，累計虧損近 49 萬美元。
07:46

2026年開局加密市場現韌性反彈，比特幣領漲主流加密資產

BlockBeats 消息，1 月 5 日，進入 2026 年 1 月首周，加密貨幣市場整體走強，比特幣及多種主流資產從 2025 年末的深度回調中明顯修復。比特幣在去年收官階段累計下跌約 6%、未能兌現傳統「四年周期」預期後，於 1 月 4 日重新站上 9 萬美元這一關鍵心理關口。分析指出，8.8 萬美元區域在假期低流動性環境中成功構成強支撐，疊加現貨 ETF 資金回流，市場情緒由「恐慌」轉向「謹慎乐观」。截至週一早間，比特幣運行於 9.2 萬美元上方，100 小時均線維持多頭結構，下一重要阻力位指向 9.5 萬美元。比特幣企穩也對整體市場形成帶動效應，以太坊、XRP 等資產同步小幅反彈，機...
07:46

某鯨魚向CEX存入1.5億枚SAHARA，浮虧近800萬美元

BlockBeats 消息，1 月 5 日，据 OnchainLens 监测，一鲸鱼地址在沉寂 6 个月后，向 Binance 充值 1.5 亿枚 SAHARA，当前价值约 420 萬美元。該地址最初以约 1218 萬美元的成本提取這些 SAHARA 代幣，此次回流至交易平臺意味着其浮虧约 797 萬美元。
07:46

過去7日CEX淨流出10,385.98枚BTC，淨流入13.55萬枚ETH

BlockBeats 消息，1 月 5 日，据 Coinglass 数据，过去 7 日 CEX 累计凈流出 10,385.98 枚 BTC，其中流出量排在前三位的 CEX 如下：Kraken，流出 6,704.19 枚 BTC；Binance，流出 4,802.04 枚 BTC；Gate，流出 640.73 枚 BTC。同期 CEX 累计凈流入 13.55 萬枚 ETH，其中流入量排在前三位的 CEX 如下：Binance 流入 11.59 萬枚 ETH；OKX 流入 1.86 萬枚 ETH；Bitfinex 流入 6311.44 枚 ETH。
07:46

普華永道：美國監管轉向明確，正擴大加密業務佈局

BlockBeats 消息，1 月 5 日，普华永道（PwC）首席执行官 Paul Griggs 表示，随着美国加密监管环境趋于清晰，公司已决定扩大加密货币与数字资产相关业务。他在接受《金融时报》采访时指出，美国监管机构的新领导层，以及 GENIUS Act（稳定币相关立法）的推进，是促使 PwC 改变态度的关键因素。Griggs 表示，围绕稳定币的立法和监管规则将增强市场信心，而资产代币化趋势也将持续发展，「PwC 必须身處這一生態體系之中」。作为全球「四大會計師事務所」之一，PwC 目前在官網列出的加密相關服務涵蓋審計、會計、網絡安全、錢包管理及合規與監管諮詢，客戶包括加密交易所、嘗試進入...
閱讀更多
社區
iconiconiconiconiconiconiconicon

聯繫客服Bot：@WEEX_support_smart_Bot

VIP服務：[email protected]