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 sp
We współpracy z: https://cryptoslate.com/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx/
