Runtime Verification, a security audit firm based in Illinois, has introduced a new universal zero-knowledge (ZK) rollup called PI Squared. This technology, unveiled during the MultiversX xDay conference, aims to revolutionize the verification of computational claims by utilizing mathematical proofs instead of traditional methods. PI Squared will employ a universal proof checker implemented as a custom parallel ZK circuit. The solution is designed to enhance efficiency and reduce costs on the main blockchain by bundling and verifying multiple transactions off-chain using cryptographic proofs. Runtime Verification, known for its application of NASA-developed formal verification methods, is now bringing its expertise to the blockchain space to address the increasing need for higher security standards. PI Squared is programming language and virtual machine agnostic, making it accessible to developers, users, and enterprises utilizing the MultiversX blockchain. The solution aims to provide a more secure and reliable blockchain ecosystem by enabling trustless and programmatically verifiable proofs. MultiversX, on the other hand, aims to become an appealing platform for businesses seeking to ensure the integrity of their blockchain-based projects by offering a development toolkit that can detect bugs and logic flaws from the design phase.

This News Article was automatically generated by Bob the Bot (AI)

Information	Details
Geography	North America
Countries	🇺🇸
Sentiment	positive
Relevance Score	1
People	None
Companies	Runtime Verification, MultiversX, NASA
Currencies	None
Securities	None