December 6, 2024 – Pittsburgh, United States
Anaxi Labs in collaboration with Carnegie Mellon University’s CyLab, the university’s cybersecurity and privacy institute is announcing a compiler framework for cryptography that resolves an impasse, building scalable applications with ZK (zero-knowledge) require fundamental trade-offs.
The elusive trifecta of scalable, cryptographically-secured and DApps (decentralized applications) have been considered impossible and a barrier to mass adoption until now.
A breakthrough in cryptography with no trade-offs
Blockchains such as Ethereum have been hailed as the future of decentralized infrastructure, with ZK technology heralded to enhance Ethereum’s security and scalability beyond 120 TPS (transactions per second).
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 10s of 1,000s of lines of code, this introduces significant security vulnerabilities.
This complicates the creation of security-sensitive DApps and makes auditability and compliance a nightmare all hindrances to widespread adoption in regulated industries such as finance, healthcare and AI.
A team of Carnegie Mellon researchers is collaborating with Anaxi Labs to overcome this trade-off
CMU’s recent paper presents a revolutionary way to directly 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.
Riad Wahby, assistant professor in Carnegie Mellon University’s Department of Electrical and Computer Engineering, said,
“This 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 compile. We’re extremely excited about it.”
Unlocking new DApps
The research and the framework Anaxi Labs is building from the research are set to revolutionize industries in Web 3.0 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’s 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.
In the immediate term, products based on the research provide the most effective solution for Web 3.0 companies grappling with the scalability, security and decentralization trade-offs, offering a new design paradigm for rollups and interoperability.
Kate Shen, co-founder of Anaxi Labs, said,
“This 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 (Ethereum Virtual Machine), finally bringing us to the doorstep of our vision of cryptographically-secured decentralized consensus with real-time settlement.
“We 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.
“This 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.”
Anaxi Labs and CyLab, a game-changing partnership
Carnegie Mellon’s CyLab has been at the center of cutting-edge research that’s served as the foundation for blockchain development including ZK.
Notable faculty researchers from CyLab include esteemed professor Bryan Parno, a critical contributor to the history of ZK whose lab produced the widely cited Nova paper series, and assistant professor Riad Wahby, whose findings resulted in new cryptographic technologies that realized visions of the Ethereum Foundation nd more recently, the pathbreaking Jolt ZKVM implementation by Andreessen Horowitz’s crypto division, a16z crypto.
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 Web 3.0 and Web 2.0 applications.
It enables them to find commercial solutions to major existing issues with blockchain that fail 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 Web 3.0.
Michael Lisanti, senior director of partnerships at CyLab’s, said,
“Anaxi Labs’ partnership with CyLab advances CMU researchers’ ability to work on projects with direct, real-world applications, ensuring that their work has practical relevance and potential for impact.”
To learn more about Anaxi Labs, visit the website.
To learn more about Anaxi Labs and CyLab’s latest work, visit here.
To learn more about CyLab’s partnership with Anaxi Labs, visit here.
About Anaxi Labs
Anaxi Labs 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 DApps powered by cryptography.
Anaxi Labs work with the world’s 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.
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.
About CyLab
Carnegie Mellon University’s CyLab is the university’s 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 a significant impact on research, education, public policy and practice.
Contact
Daisy Leung, PR
This content is sponsored and should be regarded as promotional material. Opinions and statements expressed herein are those of the author and do not reflect the opinions of The Daily Hodl. The Daily Hodl is not a subsidiary of or owned by any ICOs, blockchain startups or companies that advertise on our platform. Investors should do their due diligence before making any high-risk investments in any ICOs, blockchain startups or cryptocurrencies. Please be advised that your investments are at your own risk, and any losses you may incur are your responsibility.
Follow Us on X Facebook Telegram
