Anaxi Labs and Carnegie Mellon University's CyLab have jointly developed a compiler framework for cryptography that enables the creation of scalable, decentralized applications with high security. The framework automates the process of converting high-level software into low-level representations for underlying proof systems, improving performance while maintaining security. This research has implications for industries such as finance, healthcare, and AI, and offers a new design paradigm for rollups and interoperability. The partnership between Anaxi Labs and CyLab builds on the latter's history of cutting-edge blockchain research, including Zero-Knowledge. Through the CMU Secure Blockchain Initiative, Anaxi Labs and CyLab have partnered to find commercial solutions for blockchain technology and bridge the gap between its benefits and mass adoption. The partnership enables CMU academics to collaborate with Anaxi Labs and learn from the insights gleaned from commercial deployments of their blockchain research. It also serves as a springboard for CMU students to launch their careers in Web3. The partnership has resulted in a breakthrough proof system, which is the second research project originating from the partnership.