「特别报道」Anaxi Labs 成为卡内基梅隆大学安全区块链计划的战略合作伙伴

Anaxi Labs，一个致力于研究和开发密码技术的科学机构，已与卡内基梅隆大学 (CMU) 建立合作关系，通过安全区块链计划（Secure Blockchain Initiative, SBI）支持技术创新。SBI由 CMU 的网络安全和隐私研究所 - CyLab 运营，SBI 是校际的跨学科项目，旨在改进区块链技术。

Anaxi Labs 的联合创始人、CMU 校友 Shen (CS08) 表示：「我们的目标是将 CMU 的世界级研究人员和教授与有经验的世界级工程师们聚集在一起，这些工程师有着为数亿用户构建和运营家喻户晓的产品的经验。」

此项合作将促进行业和学术研究人员之间的合作。CyLab 研究人员将学习 Anaxi Labs 同行开发的见解，而 Anaxi Labs 工程师将应用 CMU 研究人员的发现，以便更快地构建解决方案，从而打造更安全、更可扩展的 Web3 应用程序。

「与伙伴合作使 CyLab 研究人员能够开展具有直接实际应用的项目，确保他们的工作具有实际意义和影响潜力」，CyLab 合作主任 Michael Lisanti 表示。「行业合作伙伴关系为学生和博士后研究人员提供了在行业相关项目上获得经验的机会，为他们未来的职业生涯做好准备。反过来，公司可以获得高技能和创新人才库，从而可能带来未来的招聘机会。」

除了赞助安全区块链计划外，Anaxi Labs 还将资助 Bryan Parno (电气与计算机工程和计算机科学 Kavčić-Moura 教授) 的研究。Parno 教授的实验室专门研究开发人员可以用来保护其软件系统安全和私密的技术，以便在漏洞发生之前阻止其发生，而不是事后补救。Parno 教授和他的团队开发了先进的加密技术以确保代码正确执行，以及数学技术来证明执行的代码将产生预期的效果。

Parno 教授表示：「我们的研究旨在利用知识简化和折叠方案等工具推动递归证明（区块链领域备受关注的话题）的最新进展。Anaxi Labs 投入了大量精力来实现这些想法并将其应用于实际问题，因此我们期待富有成效的合作。」

Anaxi Labs 与 CyLab 的大部分合作将围绕区块链技术展开。区块链是一种分布式账本技术 (distributed ledger technology, DLT)，无需中央机构即可记录数字交易。在区块链中，数据块相互链接或串联在一起，每个块都编码了前一个块的信息，这使得它们不可更改。

Shen 表示：「Anaxi Labs 对改变游戏规则的基础设施级技术充满热情，这些技术允许无限可扩展的区块链，例如ZKP、EVM、模块化、递归和并行化，以及下一代去中心化应用程序，例如隐私保护AI 和具有公平未来愿景的协议。」

CMU 的 SBI 是一项跨学科研究计划，将工程、计算机科学、公共政策、经济学和安全结合在一起，以解决可扩展性、加密货币、密码学、监管和区块链技术中的其他当前挑战。它由三位 CMU 教授共同主持：计算机科学和电气与计算机工程教授 Elaine Shi；软件和社会系统系 (S3D) 教授兼系主任 Nicholas Christin；以及 Tepper 商学院经济学教授 Ariel Zetlin-Jones。

「我对这种多层次的合作感到兴奋，」Zetlin-Jones 表示。「这种合作是多方面的，包括通过安全区块链计划支持 CMU 区块链社区，以及通过 CyLab 支持教师和学生有针对性的研究项目。」

要了解有关 CMU Anaxi Lab 或与 CyLab 和安全区块链计划合作的更多信息，请联系国际发展高级主管 Sandra Zhao，邮箱: sandrazzhao@cmu.edu。

Anaxi Labs, a scientific organization dedicated to researching and developing cryptographic technology, has partnered with Carnegie Mellon University to support technology creation through the Secure Blockchain Initiative (SBI). SBI is run out of CyLab, the university’s cybersecurity and privacy institute, and is a university-wide interdisciplinary program that seeks to improve blockchain technologies.

“We aim to bring together CMU’s world-class researchers and faculty with world-class engineers who have experience building and operating household-name products with hundreds of millions of users,” said Shen (CS08), co-founder of Anaxi Labs and CMU alumna.

This partnership will foster collaboration between researchers in industry and in academics. CyLab researchers will learn from the insights developed by their counterparts at Anaxi Labs, while Anaxi Labs engineers will apply the Carnegie Mellon researchers’ findings in order to more quickly build solutions to make more secure and scalable Web3 applications.

“Collaborating with partners allows CyLab researchers to work on projects with direct, real-world applications, ensuring that their work has practical relevance and potential for impact”, said Michael Lisanti, CyLab director of partnerships. “Industry partnerships provide opportunities for students and postdoctoral researchers to gain experience working on industry-relevant projects, preparing them for future careers. Companies, in turn, gain access to a pool of highly skilled and innovative talent, potentially leading to future recruitment opportunities.”

In addition to sponsoring the Secure Blockchain Initiative, Anaxi Labs will also fund research by Bryan Parno, Kavčić-Moura Professor of Electrical & Computer Engineering and Computer Science. Parno’s lab researches techniques that developers can use to keep their software systems secure and private in order to stop breaches before they happen, rather than as patchwork solutions after-the-fact. Parno and his team develop advanced cryptographic techniques to ensure code executes correctly, as well as mathematical techniques to prove the executed code will have the intended effects.

“Our research aims to advance the state-of-the-art in recursive proofs (a topic of considerable interest in the blockchain space) using tools like reductions of knowledge and folding schemes,” said Parno. “Anaxi Labs is deeply invested in making these ideas practical and applying them to real-world problems, so we look forward to a fruitful collaboration.”

Much of Anaxi Labs’ work with CyLab will center around blockchain technologies. A blockchain is a distributed ledger technology (DLT) that records digital transactions without a central authority. In a blockchain, blocks of data are linked, or chained, together, and each block encodes information about the previous block, which makes them unalterable.

“We at Anaxi Labs are passionate about game-changing infrastructure-level technologies that allow infinitely scalable blockchains such as ZKP, EVM, modularity, recursion and parallelization, as well as next-generation decentralized applications such as privacy-preserving AI and protocols with the vision of an equitable future,” said Shen.

CMU’s SBI is an interdisciplinary research initiative that brings together engineering, computer science, public policy, economics, and security to tackle scalability, cryptocurrencies, cryptography, regulation, and other current challenges in blockchain technologies. It is co-directed by three CMU faculty members: Elaine Shi, professor of computer science and electrical and computer engineering; Nicholas Christin, professor and head of the Software and Societal Systems Department (S3D); and Ariel Zetlin-Jones, professor of economics in the Tepper School of Business.

“I'm excited about the partnership on multiple levels,” said Zetlin-Jones. “The partnership is multidimensional, including supporting the CMU Blockchain community through the Secure Blockchain Initiative, and faculty and student targeted research projects through CyLab.”

For more information on CMU's Anaxi Lab or to learn more about partnering with CyLab and the Secure Blockchain Initiative, please contact Sandra Zhao, Senior Director of International Development, at sandrazzhao@cmu.edu. 

了解更多 | Learn More: 

https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

翻译 / 编辑 / 排版：国际发展办公室

Office of International Development