Anaxi Labs与卡内基梅隆大学CyLab推出突破性证明系统，为可扩展且安全的现实应用铺平道路

AnaXi LAbs 与卡内基梅隆大学的网络安全和隐私研究所 CyLab合作，宣布推出一个革命性的密码学编译器框架，解决了一个长期困扰业界的难题——构建可扩展的零知识应用需要在基本层面做出取舍。在此之前，可扩展、加密安全和去中心化应用这三个特性被认为是不可能同时实现的，这也是阻碍大规模应用的壁垒——直到现在。

以太坊等区块链被誉为去中心化基础设施的未来，零知识（ZK）技术更是被认为能将以太坊的安全性和可扩展性提升至超过每秒 120 笔交易。但现实却大不相同。开发零知识证明既复杂又耗时，需要数十名开发者投入数千小时。为了优化证明生成速度，往往需要手动设计协议，而手动编码和数万行代码则带来了重大的安全隐患。这使得创建安全性敏感的去中心化应用变得复杂，也让审计和合规变成了噩梦——这些都阻碍了该技术在金融、医疗保健和人工智能等受监管行业的广泛应用。

卡内基梅隆大学最新发表的论文提出了一种革命性的方法，能够将高级软件自动编译并简化为底层证明系统所需的更简单形式（低级表示）。这一过程完全自动化、可重复且可审计，消除了手动工作，大幅提升性能的同时还能在密码学层面确保过程的安全性。该成果通过分析高级程序，将程序分解成小型、不可分割的单元，然后从每个单元创建可以轻松输入各种证明系统的低级表示来实现。

卡内基梅隆大学电气与计算机工程系助理教授 Riad WaHby 表示："以这种自动化的方式将计算分解成非常具体的块来替代 CPU 是一种全新的方法，这也是首次有人尝试这种避免完整程序表示的编译器方法。我们对此感到非常兴奋。"

这项研究以及 Anaxi Labs 基于研究打造的框架将彻底改变 Web3 及其他领域的行业格局。在传统和受监管的金融领域，在保持可审计性的同时提升性能使得银行间转账的实时结算（如即时美元支付）成为可能。在医疗保健领域，在 23AndMe 面临挑战的背景下，Anaxi Labs 正在开发的产品所支持的安全且保护隐私的加密工具，现在可以通过确保个人对自己 DNA 的合法所有权来解决关键问题，同时支持有价值的研究。在企业级人工智能和关键物理基础设施领域，需要高可用性和接近零延迟的去中心化解决方案（如跨多个数据和计算资源的快速微调和推理）也成为现实。

就近期而言，基于该研究的产品为正在应对可扩展性、安全性和去中心化权衡问题的 Web3 企业提供了最有效的解决方案，为 roLLups 和互操作性产品提供了新的设计范式。

Anaxi Labs 联合创始人 Kate Shen 表示："这项研究以及我们正在构建的整合了该研究成果的产品，将对当今许多需要可审计的解决方案来应对大量性能瓶颈的重要行业应用产生深远影响，例如 ZK 和 EVM，最终让我们离实现具有实时结算能力的加密安全去中心化共识的愿景更进一步。"

Shen 补充道："我们也很欣赏此项研究的跨语言能力，这意味着各种项目无需修改代码就能受益。这使我们能够构建一个开放、协作的框架，而不是采用当今日益静态、单体的方法。这使所有开发者都能自动选择和组合最新证明系统的优势，如查表、协处理器和硬件加速，最大限度地提升每个计算方式带来的性能收益。"

卡内基梅隆大学的 CyLab 一直是区块链开发（包括零知识技术）前沿研究的中心。CyLab 的著名教授研究人员包括 Bryan Parno，他是零知识技术发展史上的重要贡献者，其实验室产出了广受引用的 Nova 论文系列；以及助理教授 Riad Wahby，他的研究成果催生了实现以太坊基金会愿景的新型密码技术（最近还有 Andreessen HOROwitz 加密部门 a16z crypto 开创性的 Jolt zkVM 实现）。

这个编译器框架的研究成果来自 Anaxi Labs 与 CyLab 通过 CMU 安全区块链计划建立的共生合作伙伴关系中的第二个研究项目。这种合作使卡内基梅隆大学的学者能够与 Anaxi Labs 合作，从他们在 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 是该校的安全和隐私研究所。我们汇聚了来自全校各院系的专家，涵盖工程、计算机科学、公共政策、信息系统、商业、金融信息风险管理、人文和社会科学等领域。我们的使命是在部门、学科和地理边界之间催化、支持、促进和加强协作性的安全和隐私研究与教育，以在研究、教育、公共政策和实践方面产生重大影响。