Developers will be able to prove programs written in any language in the Nexus zkVM.

Our goal at Nexus is to make the Verifiable Internet ubiquitous and accessible to all. Together with Pi Squared, we're taking steps to make verifiable computing universal, interoperable, performant and easy to use. 

The Nexus and Pi Squared partnership will enable developers to prove programs written in any programming language in the Nexus zkVM. The flexibility of Pi Squared’s technology takes any program developed in any language and translates it into Rust to be proved through the Nexus zkVM, which is powerful enough to prove any size computation. 

Pi Squared will integrate the Nexus zkVM with their Proof Checker, a system that greatly reduces the computational overhead of proving programs on the Nexus zkVM, and aims to streamline proof generation. Nexus and Pi Squared will produce proofs in parallel, making it faster to prove results of any on-chain operation.

Pi Squared will integrate this pipeline into their Universal Settlement Layer, simplifying application interoperability and reducing reliance on error-prone compiler implementations. Our work together will enable interoperability for more cross-chain applications, including zero knowledge rollups, smart contracts and AI. 

Pi Squared will demonstrate the integration of the Nexus zkVM within Proof of Proof at the Permissionless III conference this week in Salt Lake City, Utah. Read more about Proof of Proof here. 

If you’re interested in learning more about this partnership or joining us in enabling the Verifiable Internet, contact us at growth@nexus.xyz.