{"id":26355,"date":"2024-12-06T15:22:49","date_gmt":"2024-12-06T15:22:49","guid":{"rendered":"https:\/\/mycryptomania.com\/?p=26355"},"modified":"2024-12-06T15:22:49","modified_gmt":"2024-12-06T15:22:49","slug":"anaxi-labs-and-carnegie-mellon-universitys-cylab-unveil-a-breakthrough-proof-system","status":"publish","type":"post","link":"https:\/\/mycryptomania.com\/?p=26355","title":{"rendered":"Anaxi Labs and Carnegie Mellon University\u2019s CyLab Unveil a Breakthrough Proof System"},"content":{"rendered":"

[PRESS RELEASE \u2013 Pittsburgh, United States, December 6th, 2024]<\/strong><\/p>\n

Anaxi Labs<\/a>, in collaboration with Carnegie Mellon University\u2019s CyLab<\/a>, the university\u2019s cybersecurity and privacy institute, is announcing a compiler framework for cryptography that resolves an impasse \u2013 building scalable applications with Zero-Knowledge require fundamental trade-offs. The elusive trifecta of scalable, cryptographically-secured and decentralized applications have been considered impossible, and a barrier to mass adoption \u2014 until now.<\/p>\n

A Breakthrough in Cryptography with No Trade-Offs<\/strong><\/p>\n

Blockchains such as Ethereum have been hailed as the future of decentralized infrastructure, with Zero-Knowledge (ZK) technology heralded to enhance Ethereum\u2019s security and scalability beyond 120 TPS. According to the team, developing ZK proofs is complex and time-consuming, requiring thousands of hours across dozens of developers. Prioritizing speed in proof generation also means manually designing protocols, and with manual coding and tens of thousands of lines of code this introduces significant security vulnerabilities. This complicates the creation of security-sensitive decentralized applications and makes auditability and compliance a nightmare \u2013 all hindrances to widespread adoption in regulated industries such as finance, healthcare and AI.<\/p>\n

A team of Carnegie Mellon researchers is collaborating with Anaxi Labs to overcome this trade-off<\/strong><\/p>\n

CMU\u2019s recent paper presents a revolutionary way to directly<\/strong> compile high-level software and convert it into simpler forms (low-level representations) needed for underlying proof systems to work. And all this is done automatically, repeatable and auditable, getting rid of the manual work, drastically improving performance while cryptographically ensuring security of the process. The work achieves this by analyzing the high-level program, breaking the program into small, indivisible units, then creating low-level representation from each unit that can be easily inputted into varieties of proof systems.<\/p>\n

\u201cThis idea of breaking the computation into very specific chunks that take the place of a CPU in an automatic way is a new approach, and this is the first time that somebody has attempted this kind of approach where we avoid the full program representation for the compiler,\u201d said Riad Wahby, assistant professor in Carnegie Mellon University\u2019s Department of Electrical and Computer Engineering<\/a>. \u201cWe\u2019re extremely excited about it.\u201d<\/p>\n

Unlocking New Decentralized Applications<\/strong><\/p>\n

The research and the framework Anaxi Labs is building from the research are set to revolutionize industries in Web3 and beyond. In traditional and regulated finance, the performance boost while maintaining auditability enables real-time settlement of intrabank transfers like instant USD payments. In healthcare, amid challenges faced by 23andMe, secure and privacy-preserving encryption tools enabled by product being developed by Anaxi Labs, could now address critical concerns and safely utilize private genetic information by ensuring rightful ownership of one\u2019s DNA, while enabling valuable research. Within the realm of enterprise AI and critical physical infrastructures, a decentralized solution that requires high availability and close to zero latency such as rapid fine-tuning and inference across multiple data and compute power resources becomes a reality.<\/p>\n

In the immediate term, products based on the research provide the most effective solution for Web3 companies grappling with the scalability, security and decentralization trade-offs, offering a new design paradigm for rollups and interoperability.<\/p>\n

\u201cThis research and the product we are building incorporating the research will have profound implication to many important industry applications today that need a safe solution for their massive performance overheads, such as ZK and EVM, finally bringing us to the doorstep of our vision of cryptographically-secured decentralized consensus with real-time settlement,\u201d said Kate Shen, co-founder of Anaxi Labs.<\/p>\n

\u201cWe also like the fact that it is language and library agnostic, meaning a wide variety of projects can benefit from this without code modification. This enabled us to build an open, collaborative framework as opposed to the increasingly static, monolithic approaches today,\u201d Shen adds. \u201cThis enables all developers to automatically choose and combine the best of the latest advancements in proof systems such as lookups, co-processors and hardware acceleration; maximizing the performance gains of each computational substrate.\u201d<\/p>\n

Anaxi Labs and CyLab, a Game-Changing Partnership<\/strong><\/p>\n

Carnegie Mellon\u2019s CyLab has been at the center of cutting-edge research that\u2019s served as the foundation for blockchain development \u2013 including Zero-Knowledge. Notable faculty researchers from CyLab include esteemed professor Bryan Parno, a critical contributor to the history of ZK whose lab produced\u00a0the widely cited Nova paper series<\/a>, and assistant professor Riad Wahby, whose findings resulted in new cryptographic technologies that realized visions of the Ethereum Foundation<\/a> (and more recently, the pathbreaking Jolt zkVM<\/a> implementation by Andreessen Horowitz\u2019s crypto division, a16z crypto).<\/p>\n

The findings set forth in this compiler framework are the result of the second research project originating from the symbiotic partnership between Anaxi Labs and CyLab through the CMU Secure Blockchain Initiative. This partnership enables CMU academics to collaborate and learn from the insights gleaned from the commercial deployments of their blockchain research, spearheaded by Anaxi Labs, for both Web3 and Web 2.0 applications. It enables them to find commercial solutions to major existing issues with blockchain that fails to bridge the gap between the known benefits of blockchain technology, and mass adoption. And it also serves as a springboard for CMU students to launch their careers in Web3.<\/p>\n

\u201cAnaxi Labs\u2019 partnership with CyLab advances CMU researchers\u2019 ability to work on projects with direct, real-world applications, ensuring that their work has practical relevance and potential for impact,\u201d said Michael Lisanti, CyLab\u2019s Senior Director of Partnerships.<\/p>\n

To learn more about Anaxi Labs: https:\/\/www.anaxilabs.com\/<\/a><\/p>\n

To learn more about Anaxi Labs and CyLab\u2019s latest work: https:\/\/www.cylab.cmu.edu\/<\/a><\/p>\n

To learn more about CyLab\u2019s partnership with Anaxi Labs: https:\/\/www.cylab.cmu.edu\/news\/2024\/07\/17-anaxi-labs-strategic-partner.html<\/a><\/p>\n

About Anaxi Labs<\/strong><\/p>\n

Anaxi Labs<\/a> is a new kind of research and development lab that bridges the worlds of advanced academic theory and mass adoption. They are dedicated to producing original, cutting-edge research, building enterprise-grade, safe and scalable decentralized infrastructure, and catalyzing the next generation of decentralized applications powered by cryptography.<\/p>\n

Anaxi Labs work with world\u2019s top minds in cryptography research and world-class engineers who have experience building and operating household-name products with hundreds of millions of users. They are the industry partner of top academic institutions in cryptography such as Carnegie Mellon University<\/a>. Together, they are committed to transforming the future of the internet by unlocking the power of what science can do for people, society and the planet.<\/p>\n

Website: https:\/\/www.anaxilabs.com\/<\/a><\/p>\n

About CyLab<\/strong><\/p>\n

Carnegie Mellon University\u2019s CyLab<\/a> is the university\u2019s security and privacy research institute. They bring together experts from all schools across the University, encompassing the fields of engineering, computer science, public policy, information systems, business, financial information risk management, humanities, and social sciences. Our mission is to catalyze, support, promote, and strengthen collaborative security and privacy research and education across departments, disciplines, and geographic boundaries to achieve significant impact on research, education, public policy, and practice.<\/p>\n

Website: https:\/\/www.cylab.cmu.edu\/<\/a><\/p>\n

The post Anaxi Labs and Carnegie Mellon University\u2019s CyLab Unveil a Breakthrough Proof System<\/a> appeared first on CryptoPotato<\/a>.<\/p>","protected":false},"excerpt":{"rendered":"

[PRESS RELEASE \u2013 Pittsburgh, United States, December 6th, 2024] Anaxi Labs, in collaboration with Carnegie Mellon University\u2019s CyLab, the university\u2019s cybersecurity and privacy institute, is announcing a compiler framework for cryptography that resolves an impasse \u2013 building scalable applications with Zero-Knowledge require fundamental trade-offs. The elusive trifecta of scalable, cryptographically-secured and decentralized applications have been […]<\/p>\n","protected":false},"author":0,"featured_media":26356,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-26355","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-discovery"],"_links":{"self":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts\/26355"}],"collection":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=26355"}],"version-history":[{"count":0,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts\/26355\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/media\/26356"}],"wp:attachment":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=26355"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=26355"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=26355"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}