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 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. xDay 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.

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Runtime Verification Launches Universal ZK Rollup On MultiversX

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

$1M Hackathon Prizes Announced By MultiversX to Expand the Blockchain Ecosystem

(1/100) Crypto Countdown: Golem

A Research Report on the Trader $JOE DeFi Platform

07/03/2018: Biggest Stories in the Cryptosphere

05/02/2018: Biggest Stories in the Cryptosphere

01/06/2018: Biggest Stories in the Cryptosphere

$1M Hackathon Prizes Announced By MultiversX to Expand the Blockchain Ecosystem

(1/100) Crypto Countdown: Golem

A Research Report on the Trader $JOE DeFi Platform

07/03/2018: Biggest Stories in the Cryptosphere

05/02/2018: Biggest Stories in the Cryptosphere

01/06/2018: Biggest Stories in the Cryptosphere

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps