Anaxi Labs与CMU CyLab推出革命性零知识证明系统

微小发报道，Anaxi Labs 与卡内基梅隆大学的 CyLab 携手推出了一个超酷的密码学编译器框架，解决了业界多年来的一个大难题——如何构建可扩展的零知识应用。过去，大家都觉得可扩展性、加密安全和去中心化这三者无法兼得，这也让大规模应用成了说说而已的梦。

🔑 无需取舍的密码学突破

以太坊等区块链被视为去中心化基础设施的未来，而零知识（ZK）技术更是被认为能将以太坊的安全性和可扩展性提升到每秒超过 120 笔交易的水平。但现实却是，开发零知识证明不仅复杂，还得耗费大把时间，数十名开发者得拼命加班，几千小时不够看的。为了加快证明生成速度，开发者得手动设计协议，而手动编码和数万行的代码则让安全性隐患层出不穷。这一切让创建安全的去中心化应用变得异常复杂，审计和合规都成了噩梦——这也阻碍了金融、医疗保健和人工智能等受监管行业的广泛应用。

🤝 卡内基梅隆大学的研究团队与 Anaxi Labs 合作克服这一难题

卡内基梅隆大学的研究小组最近发表了一篇论文，提出了一种革命性的新方法，可以将高级软件自动编译为底层证明系统所需的简单形式。这一过程完全自动化、可重复且可审计，手动工作被抛弃，性能大幅提升的同时也确保了密码学层面的安全性。通过对高级程序的分析，程序被分解成小的、不可分割的单元，然后为每个单元创建输入各种证明系统的低级表示。

电气与计算机工程系的助理教授 Riad Wahby 表示：“用这种自动化的方法将计算分解成具体块替代 CPU，这是全新的尝试，也是首次有人用这种方法来避免完整程序的表示。我们对此感到非常兴奋。”

🚀 开启新型去中心化应用

这项研究，连同 Anaxi Labs 基于此打造的框架，绝对会让 Web3 及其他领域的行业格局大变样🚀。在传统金融和监管环境下，性能提升与可审计性并存，银行间的实时结算（比如说，瞬时美元支付）终于可以实现啦！💸 在医疗领域，面对 23andMe 的挑战，Anaxi Labs 正在推出安全又保护隐私的加密工具，通过确保个人对其 DNA 的合法所有权，解决了关键问题，同时也支持了有价值的研究🔬。在企业级 AI 和关键物理基础设施方面，需求高可用性和接近零延迟的去中心化解决方案（比如跨多个数据和计算资源的快速微调和推理）也不是梦。

最近，基于这项研究的产品，给正在处理可扩展性、安全性和去中心化权衡的 Web3 企业提供了超有效的解决方案，给 rollups 和互操作性产品带来了新的设计思路💡。

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

Shen 还补充：“我们很欣赏这项研究的跨语言能力，这意味着各种项目可以不改代码就能获益。这让我们能够构建一个开放、协作的框架，而不是走向日益静态、单体化的道路。这样，所有开发者都能自动选择和组合最新证明系统的优势，比如查表、协处理器和硬件加速，最大化每种计算方式的性能收益。”🔧

微小发报道：Anaxi Labs 与 CyLab：改变游戏规则的合作

卡内基梅隆大学的 CyLab 一直是区块链和零知识技术研究的先锋。这里的明星教授，包括 Bryan Parno，零知识技术的开创者之一，他的实验室推出了备受赞誉的 Nova 论文系列 ；还有助理教授 Riad Wahby，他的研究成果推动了实现以太坊基金会愿景的新型密码技术，最近甚至获得了 Andreessen Horowitz 加密部门 a16z crypto 的关注，开创了 Jolt zkVM 的实现。

🔍 这个编译器框架的研究成果源自于 Anaxi Labs 与 CyLab 在 CMU 安全区块链计划下的深度合作。这种合作让卡内基梅隆大学的学者们与 Anaxi Labs 联手，获取了在 Web3 和 Web 2.0 应用中的区块链研究商业部署的宝贵经验。通过这种合作，他们能够找到解决区块链核心问题的商业方案，弥合技术优势与实际应用之间的鸿沟，也为学生们在 Web3 领域开启了职业生涯的新机会。

Michael Lisanti，CyLab 合作关系高级主管，表示：“Anaxi Labs 与 CyLab 的合作大大增强了卡内基梅隆大学研究者在直接应用项目上工作的能力，使他们的研究更加切合实际，具备潜在的影响力。”

anaxi labs 是个超酷的新型研发实验室，搭建了先进学术理论和大规模应用之间的桥梁。我们专注于原创性的前沿研究，打造企业级、安全且可扩展的去中心化基础设施，还推动由密码学驱动的下一代去中心化应用的发展🚀。

我们和全球顶尖的密码学研究人才、世界级工程师合作，他们可是曾经成功打造并运营过数亿用户级别的知名产品哦。这些大咖的专业知识和经验为我们的项目提供了坚实的技术支持💪。我们也是卡内基梅隆大学的行业合作伙伴，携手顶级密码学学术机构，致力于通过释放科学对人类、社会和地球的潜力来重塑互联网未来🌍。

关于 CyLab

卡内基梅隆大学的 CyLab 是该校的安全和隐私研究所，汇聚了来自各个院系的专家，涵盖工程、计算机科学、公共政策、信息系统、商业、金融信息风险管理、人文和社会科学等领域。我们的使命是打破部门、学科和地理界限，促进安全和隐私研究与教育的协作，力求在研究、教育、公共政策和实践方面产生显著影响✨。

本文来自投稿，不代表微小发报道观点