The Good Tech Companies - Anaxi Labs And Carnegie Mellon University’s CyLab Unveil a Breakthrough Proof System

Episode Date: December 6, 2024

This story was originally published on HackerNoon at: https://hackernoon.com/anaxi-labs-and-carnegie-mellon-universitys-cylab-unveil-a-breakthrough-proof-system. The elusive trifecta of scalable, cryptographically-secured and decentralized applications have been considered impossible, and a barrier to mass adoption — unt Check more stories related to web3 at: https://hackernoon.com/c/web3. You can also check exclusive content about #web3, #anaxi-labs, #chainwire, #press-release, #crypto-exchange, #anaxi-labs-announcement, #blockchain-development, #good-company, and more. This story was written by: @chainwire. Learn more about this writer by checking @chainwire's about page, and for more stories, please visit hackernoon.com. Anaxi Labs and Carnegie Mellon University have developed a new way to compile high-level software and convert it into low-level representations. The work is done automatically, repeatable and auditable, drastically improving performance while cryptographically ensuring security of the process. The research and the framework is set to revolutionize industries in Web3 and beyond.

This audio is presented by Hacker Noon, where anyone can learn anything about any technology. Inashi Labs and Carnegie Mellon University's SciLab unveil a breakthrough proof system by Chainwire. Pittsburgh, United States, December 6, 2024, Chainwire, Inashi Labs, in collaboration with Carnegie Mellon University's SciLab, the university's cybersecurity and privacy institute, is announcing a compiler framework for cryptography that resolves an impasse. 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 until

now. A breakthrough in cryptography with no trade-offs blockchains such as Ethereum have been hailed as the future of decentralized infrastructure, with zero-knowledge, ZK, technology heralded to enhance Ethereum's 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. All hindrances to widespread adoption in regulated industries such as finance,

healthcare and AI. A team of Carnegie Mellon researchers is collaborating with Inashi 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. Greater than. This idea of breaking the computation into

very specific chunks that take the greater-than place of a CPU in an automatic way is a new approach, and this is the first greater-than time that somebody has attempted this kind of approach where we avoid the full greater-than program representation for the compiler, said Riyad Wabi, assistant professor greater-than in Carnegie Mellon University's Department of Electrical and Computer Engineering. Greater-than greater-than, we're extremely excited about it. Unlocking new decentralized applications the research and the framework Inashi Labs is building from the research are set to revolutionized 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 Inashi 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, 8 centralized 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 Web3 companies grappling with the scalability, security and decentralization trade-offs, offering a new design paradigm for roll-ups and interoperability. Greater than, this research and the product we are building incorporating the research will greater than have profound implication to many important industry applications today that greater than need a safe solution for their massive performance overheads, such as ZK and greater than EVM, finally bringing us to the doorstep of our vision of greater than cryptographically secured decentralized consensus with real-time settlement, greater-than said Kate Shen, co-founder of Inashi Labs. Greater-than, we also like the fact that it is language and library agnostic, meaning a greater-than wide

variety of projects can benefit from this without code modification. This greater-than enabled us to build an open, collaborative framework as opposed to the greater-than-increasingly static, monolithic approaches today, Shen adds. Greater-than, this enables all developers to automatically choose and combine the best of greater-than-the-latest advancements in proof systems such as lookups, coprocessors and greater-than-hardware acceleration, maximizing the performance gains of each computational greater-than substrate. ANA-XI Labs and CYLAB, a game-changing partnership Carnegie Mellon's SciLab has been at the center of cutting-edge research that served as the foundation for blockchain development, including zero-knowledge. Notable faculty researchers from

SciLab include esteemed Professor Brian Parno, a critical contributor to the history of ZK whose lab produced the widely cited Nova paper series, and assistant professor Riyad Wabi, whose findings resulted in new cryptographic technologies that realized visions of the Ethereum Foundation, and more recently, the path-breaking Jolt ZKVM implementation by Andreessen Horwitz's crypto division, a 16z crypto. The findings set forth in this compiler framework are the result of the second research project originating from the symbiotic partnership between Inashi Labs and SciLab 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 Inashi Labs, for both Web3 and Web2. Zero 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. Greater than, Inashi Labs' partnership with Scilab advances CMU researchers' ability web3 greater than inashi labs partnership with scilab advances cmu researchers ability to work greater than on projects with direct real-world applications ensuring that their work has greater than practical relevance and potential for impact said michael lisanti

scilabs greater than senior director of partnerships to learn more about Inashi Labs, https colon slash slash www.inashilabs.com, to learn more about Inashi Labs and Scilabs' latest work, https colon slash slash www.scilab.cmu.edu, to learn more about Scilabs' partnership with Inashi Labs, https colon slash slash www. Scilab, CMU, Adu, News, 17 July 2024 Inashi Labs Strategic Partner. HTMLABOUTANAXI Labs Inashi 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 decentralized applications powered by cryptography.

Inashi Labs work with 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. Website.https://www.inashilabs.com, about SciLab Carnegie Mellon University's SciLab 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 significant impact on research, education, public policy, and practice. Website. Https://www.sylab.cmu.ado. Contact PR Daisy Leung Daisy at 11. International. Tip This story was distributed as a release by Chainwire under HackerNoon's business blogging program. Learn more about the program here. Thank you for listening to this HackerNoon story, read by Artificial Intelligence. Visit HackerNoon.com to read, write, learn and publish.