美国匹兹堡，2024年12月6日，Chainwire
Anaxi Labs与卡内基梅隆大学的CyLab，发布了一款用于密码学的编译器框架，旨在解决一个难题：构建可扩展的零知识应用程序需要做出根本性的权衡。可扩展、加密安全且去中心化的应用程序这三者一直被认为是不可能实现的，也是大规模普及的一大障碍——直到现在。
密码学领域的突破，且无任何妥协
Ethereum 等区块链被誉为去中心化基础设施的未来，零知识证明（ZK）技术被认为能够将以 Ethereum的安全性和可扩展性提升至120 TPS以上。然而，据团队称，开发零知识证明既复杂又耗时，需要数十位开发人员投入数千小时。优先考虑证明生成速度也意味着需要手动设计协议，而手动编码和数万行代码会引入严重的安全漏洞。这使得创建对安全性要求较高的去中心化应用程序变得更加复杂，并使审计和合规性成为一大难题——所有这些都阻碍了金融、医疗保健和人工智能等受监管行业的广泛应用。.
卡内基梅隆大学的一个研究团队正与Anaxi Labs合作，以克服这种权衡取舍。
卡内基梅隆大学最近发表的一篇论文提出了一种革命性的方法，可以直接编译高级软件并将其转换为底层证明系统运行所需的更简单的形式（低级表示）。所有这些操作都是自动完成的matic并且可重复、可审计，从而消除了手动操作，显著提高了性能，同时通过密码学手段确保了过程的安全性。这项工作通过分析高级程序，将其分解成小的、不可分割的单元，然后从每个单元创建可以轻松输入到各种证明系统中的低级表示来实现这一目标。
matic代替CPU执行计算的想法是一种全新的方法，也是首次有人尝试这种方法，从而避免向编译器提供完整的程序表示，”卡内基梅隆大学电子与计算机工程系。“我们对此感到非常兴奋。”
解锁新的去中心化应用程序
Anaxi Labs 基于此研究及其构建的框架，有望彻底改变 Web3 及其他领域的行业格局。在传统金融和受监管金融领域，性能的提升以及可审计性的保持，使得银行间转账（例如即时美元支付）的实时结算成为可能。在医疗保健领域，面对 23andMe 等公司面临的挑战，Anaxi Labs 正在开发的产品所支持的安全且保护隐私的加密工具，如今能够解决关键问题，并通过确保个人 DNA 的合法所有权，安全地利用私人基因信息，同时推动有价值的研究。在企业人工智能和关键物理基础设施领域，一种需要高可用性和近乎零延迟（例如跨多个数据和计算资源进行快速微调和推理）的去中心化解决方案也将成为现实。.
从短期来看，基于这项研究的产品为正在努力应对可扩展性、安全性和去中心化权衡的 Web3 公司提供了最有效的解决方案，为汇总和互操作性提供了一种新的设计范式。.
“这项研究以及我们正在构建的融合了这项研究的产品，将对当今许多重要的行业应用产生深远的影响，这些应用需要一种安全的解决方案来应对其巨大的性能开销，例如零知识证明和EVM，最终使我们离实现具有实时结算的加密安全去中心化共识的愿景更近了一步，”Anaxi Labs联合创始人Kate Shen表示。.
“我们也很喜欢它与语言和库无关这一点，这意味着各种各样的项目无需修改代码即可从中受益。这使我们能够构建一个开放的、协作的框架，而不是如今日益静态的、单体式的方法，”沈补充道。“这使得所有开发人员都能matic选择和组合最新的证明系统技术，例如查找、协处理器和硬件加速，从而最大限度地提高每个计算基础的性能。”
Anaxi Labs 与 CyLab 的合作，将改变行业格局。
卡内基梅隆大学的CyLab实验室一直是前沿研究的中心，这些研究为区块链的发展奠定了基础，包括零知识库技术。CyLab实验室的著名研究人员包括： steem ed教授Bryan Parno，他是零知识库发展史上的重要贡献者，他的实验室发表了被广泛引用的Nova系列论文；以及助理教授Riad Wahby，他的研究成果催生了新的加密技术，实现了Ethereum基金会的（最近， Andreessen Horowitz旗下的加密部门a16z crypto还实现了Jolt zkVM
本编译器框架中提出的研究成果，源于Anaxi Labs和CyLab通过卡内基梅隆大学安全区块链计划开展的第二个合作研究项目。该合作使卡内基梅隆大学的学者能够从Anaxi Labs牵头开展的区块链研究的商业部署中汲取经验，并将其应用于Web3和Web 2.0应用。这有助于他们找到解决区块链现有主要问题的商业方案，从而弥合区块链技术已知优势与大规模应用之间的差距。同时，该合作也为卡内基梅隆大学的dent在Web3领域开启职业生涯提供了跳板。.
“Anaxi Labs 与 CyLab 的合作提升了卡内基梅隆大学研究人员开展具有直接、实际应用价值的项目的能力，确保他们的工作具有实际意义和潜在影响，”CyLab 高级合作关系总监 Michael Lisanti 表示。.
了解更多关于Anaxi Labs的信息： https://www.anaxilabs.com/
要了解更多关于Anaxi Labs和CyLab最新工作的信息，请访问： https://www.cylab.cmu.edu/
如需了解更多关于CyLab与Anaxi Labs合作的信息，请访问： https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html
关于 Anaxi Labs
Anaxi Labs是一家新型研发实验室，致力于连接前沿学术理论与大众应用。他们专注于原创性前沿研究，构建企业级、安全且可扩展的去中心化基础设施，并推动下一代基于密码学的去中心化应用的发展。
Anaxi Labs 与世界顶尖的密码学研究专家和世界一流的工程师合作，这些工程师拥有构建和运营数亿用户家喻户晓产品的丰富经验。他们是卡内基梅隆大学。他们共同致力于通过释放科学的力量，造福人类、社会和地球，从而改变互联网的未来。
网站： https://www.anaxilabs.com/
关于 CyLab
卡内基梅隆大学的（CyLab）是该校的安全与隐私研究机构。它汇聚了来自全校各院系的专家，涵盖工程、计算机科学、公共政策、信息系统、商业、金融信息风险管理、人文和社会科学等领域。我们的使命是促进、支持、推动和加强跨院系、跨学科、跨地域的安全与隐私研究和教育合作，从而对研究、教育、公共政策和实践产生重大影响。
网站： https://www.cylab.cmu.edu/
接触
公关
Daisy Leung
[email protected]
免责声明：这是一篇付费新闻稿。读者在对文中提及的公司或其任何关联公司或服务采取任何行动之前，应自行进行尽职调查。Cryptopolitan.com对因使用或依赖本新闻稿中提及的任何内容、商品或服务而造成或据称造成的任何损害或损失，不承担任何直接或间接的责任Cryptopolitan
