Runtime Verification Launches Universal ZK Rollup On MultiversX

Illinois-based security audit firm Runtime Verification, which applies formal verification methods pioneered at NASA to improve computing systems' safety, reliability, and correctness, is launching PI Squared, a universal ZK Rollup using the MultiversX blockchain as the consensus layer.

Revealed in the premiere during the third day of the xDay conference organized by MultiversX, PI Squared is going to reduce verifying computational claims to verifying mathematical proofs. This will be done via a universal proof checker, implemented as a custom (parallel) ZK circuit.

With the exponential growth of the blockchain space, there has been an increase in hacks and smart contract exploits, creating the need for better security standards. Therefore, the Runtime Verification’s ZK rollup-based solution stands as a critical tool in eliminating these issues hindering adoption, unlike alternatives using this technology mainly for improving the scalability of layer 1 networks.

Being programming language / VM agnostic, it will enable any dev, user and enterprise that leverages the capabilities of the MultiversX blockchain in their workflows to verify correctness proofs with ease, trustlessly and programmatically.

The move also places the MultiversX ecosystem as a prime candidate for startups and companies looking to securely deploy high-value use cases by bringing forth an accessible dev toolkit for finding subtle bugs and logic flaws from the design phase.

The xDay event has set a new growth superwave within the Web3 space, fueled by massive partnerships connecting AI, Fintech, Gaming, and beyond with the most robust, scalable, and secure blockchain architecture in the world.

About Runtime Verification

Runtime Verification has pioneered a formal verification methodology for software development over the last 20 years. It was started at NASA and has gradually made its way into the blockchain space, where it is perhaps most needed due to the mounting complexity which comes with smart contract composability and blockchain architectures.

About MultiversX

A highly scalable, secure and decentralized blockchain network created to enable radically new applications, for users, businesses, society, and the new metaverse frontier.