Anaxi Labs Joins Forces With Carnegie Mellon Universitys CyLab to Unveil Breakthrough Proof System
Anaxi Labs is partnering with CyLab at Carnegie Mellon University to launch a breakthrough-proof system. The partnership with Carnegie Mellon Universitys cybersecurity and privacy institute aims to provide a Zero-Knowledge protocol that does not compromise security or scalability.
A major concern in developing Zero-Knowledge systems is that a compromise must be reached. Until now, it was a myth to attain zero knowledge and maintain high security and scalability.
Because of this shortcoming, widespread adoption of blockchain infrastructure in regulated industries such as finance, healthcare, and AI has been slow. However, this is about to change through the partnership between Anaxi and CyLab.
CMU researchers recently released a paper highlighting 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.
The process is also automatic, repeatable, and auditable, which eliminates manual work and boosts performance without compromising the security of the process. Riad Wahby, assistant professor in Carnegie Mellon Universitys 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 compiler.
Introducing new decentralized applications
Apart from solving the problem of compromise in building Zero-Knowledge systems, the system being built by Anaxis and CyLab will also introduce new ways of building decentralized applications.
The system allows wide application in various industries without any code modification. This will allow industries such as finance and healthcare to build systems that ensure the high efficiency and security required in their unique services while trading security, decentralization, or scalability for another.
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, finally bringing us to the doorstep of our vision of cryptographically-secured decentralized consensus with real-time settlement, said Kate Shen, co-founder of Anaxi Labs.
With CyLabs experience in cutting-edge research, which has served as the foundation for blockchain developmentincluding Zero-Knowledgeand the backing of Notable faculty researchers such as Professor Bryan Parno and Assistant Professor Riad Wahby, this partnership will revolutionize Zero-Knowledge proof systems going forward.
Text source: ZyCrypto
