Anaxi Labs and Carnegie Mellon University’s CyLab Unveil a Breakthrough Proof System
Summary
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. 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 Web3 companies grappling with the scalability, security and decentralization trade-offs, offering a new design paradigm for rollups and interoperability. 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. Anaxi 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.