Runtime Verification launches universal ZK rollup PI Squared on MultiversX Runtime Verification launches universal ZK rollup PI Squared on MultiversX
PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.
1 min read
Updated: Oct. 22, 2023 at 12:14 am UTC
AI Image generated by DALL-E 3
Runtime Verification, an Illinois-based security audit firm, unveiled a universal zero-knowledge (ZK) rollup ‘PI Squared’ during the third day of the xDay conference organized by MultiversX. PI Squared leverages the MultiversX blockchain as its consensus layer.
PI Squared is designed to revolutionize how computational claims are verified by shifting the focus from traditional methods to mathematical proofs. This will be facilitated through a universal proof checker, implemented as a custom parallel ZK circuit, according to a press release shared with CryptoSlate.
A ZK rollup is a blockchain scaling solution that bundles and verifies multiple transactions off-chain using cryptographic proofs to improve efficiency and reduce costs on the main blockchain.
Runtime Verification is known for applying NASA-developed formal verification methods to enhance the safety and reliability of computing systems. Runtime Verification is now bringing its expertise to the blockchain space, where the complexity of smart contract composability and blockchain architecture necessitates rigorous security measures.
With the rapid expansion of the blockchain space, there has been a corresponding increase in hacking incidents and smart contract exploits. This has underscored the need for higher security standards. Runtime Verification’s ZK rollup-based solution aims to address these issues, as it goes beyond merely enhancing the scalability of Layer 1 networks.
According to Runtime Verification, PI Squared is a programming language and virtual machine (VM) agnostic. This makes it accessible to developers, users, and enterprises utilizing the MultiversX blockchain in their workflows. PI Squared will enable them to effortlessly, trustlessly, and programmatically verify the correctness of proofs, claiming to provide a more secure and reliable blockchain ecosystem.
By providing a development toolkit that can detect subtle bugs and logic flaws from the design phase, MultiversX aims to become an appealing platform for businesses looking to ensure the integrity of their blockchain-based projects.
Posted In: Privacy, Technology
Author 
Monika Ghosh
In 2020, Monika immersed herself in crypto, maintaining skepticism yet firmly believing blockchain could address key issues like financial disparity and transparency. A book-lover, she's also a passionate food enthusiast.
Editor Editor 
News Desk
CryptoSlate is a comprehensive and contextualized source for crypto news, insights, and data. Focusing on Bitcoin, macro, DeFi and AI.
In this article
MultiversX is a blockchain protocol that seeks to offer extremely fast transaction speeds by using sharding.