{"id":367007,"date":"2023-10-22T00:08:04","date_gmt":"2023-10-21T23:08:04","guid":{"rendered":"https:\/\/cryptoslate.com\/?p=367007"},"modified":"2023-10-22T00:14:06","modified_gmt":"2023-10-21T23:14:06","slug":"runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx","status":"publish","type":"post","link":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/","title":{"rendered":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX"},"content":{"rendered":"<p>Runtime Verification, an Illinois-based security audit firm, unveiled a universal zero-knowledge (ZK) rollup &#8216;PI Squared' during the third day of the xDay conference organized by MultiversX. PI Squared leverages the MultiversX blockchain as its consensus layer.<\/p>\n<p>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 <em>CryptoSlate<\/em>.<\/p>\n<div class=\"group final-completion w-full text-token-text-primary border-b border-black\/10 gizmo:border-0 dark:border-gray-900\/50 gizmo:dark:border-0 bg-gray-50 gizmo:bg-transparent dark:bg-[#444654] gizmo:dark:bg-transparent\" data-testid=\"conversation-turn-21\">\n<div class=\"p-4 justify-center text-base md:gap-6 md:py-6 m-auto\">\n<div class=\"flex flex-1 gap-4 text-base mx-auto md:gap-6 gizmo:gap-3 gizmo:md:px-5 gizmo:lg:px-1 gizmo:xl:px-5 md:max-w-2xl lg:max-w-[38rem] gizmo:md:max-w-3xl gizmo:lg:max-w-[40rem] gizmo:xl:max-w-[48rem] xl:max-w-3xl }\">\n<div class=\"relative flex w-[calc(100%-50px)] flex-col gizmo:w-full lg:w-[calc(100%-115px)] agent-turn\">\n<div class=\"flex-col gap-1 md:gap-3\">\n<div class=\"flex flex-grow flex-col gap-3 max-w-full\">\n<div class=\"min-h-[20px] flex flex-col items-start gap-3 whitespace-pre-wrap break-words overflow-x-auto\">\n<div class=\"markdown prose w-full break-words dark:prose-invert dark\">\n<p>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.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<p>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.<\/p>\n<p>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.<\/p>\n<p>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.<\/p>\n<p>By providing a development toolkit that can detect subtle bugs and logic flaws from the design phase, <a href=\"https:\/\/cryptoslate.com\/coins\/multiversx-egld\/\">MultiversX<\/a> aims to become an appealing platform for businesses looking to ensure the integrity of their blockchain-based projects.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Runtime Verification, an Illinois-based security audit firm, unveiled a universal zero-knowledge (ZK) rollup &#8216;PI Squared&#8217; 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 [&hellip;]<\/p>\n","protected":false},"author":1386,"featured_media":367049,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[61045,37],"tags":[],"post_folder":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v21.9 (Yoast SEO v21.9.1) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Runtime Verification launches universal ZK rollup PI Squared on MultiversX<\/title>\n<meta name=\"description\" content=\"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Runtime Verification launches universal ZK rollup PI Squared on MultiversX\" \/>\n<meta property=\"og:description\" content=\"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\" \/>\n<meta property=\"og:site_name\" content=\"CryptoSlate\" \/>\n<meta property=\"article:published_time\" content=\"2023-10-21T23:08:04+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-10-21T23:14:06+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2023\/10\/privacy.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1792\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Monika Ghosh\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@cryptoslate\" \/>\n<meta name=\"twitter:site\" content=\"@cryptoslate\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Monika Ghosh\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\"},\"author\":{\"name\":\"Monika Ghosh\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/090c7e942d4373f8247d1a2060638291\"},\"headline\":\"Runtime Verification launches universal ZK rollup PI Squared on MultiversX\",\"datePublished\":\"2023-10-21T23:08:04+00:00\",\"dateModified\":\"2023-10-21T23:14:06+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\"},\"wordCount\":306,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"},\"articleSection\":[\"Privacy\",\"Technology\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#respond\"]}],\"copyrightYear\":\"2023\",\"copyrightHolder\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"}},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\",\"url\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\",\"name\":\"Runtime Verification launches universal ZK rollup PI Squared on MultiversX\",\"isPartOf\":{\"@id\":\"https:\/\/cryptoslate.com\/#website\"},\"datePublished\":\"2023-10-21T23:08:04+00:00\",\"dateModified\":\"2023-10-21T23:14:06+00:00\",\"description\":\"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.\",\"breadcrumb\":{\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/cryptoslate.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Runtime Verification launches universal ZK rollup PI Squared on MultiversX\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/cryptoslate.com\/#website\",\"url\":\"https:\/\/cryptoslate.com\/\",\"name\":\"CryptoSlate\",\"description\":\"Cryptocurrency News and Real-time Coin Data\",\"publisher\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/cryptoslate.com\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/cryptoslate.com\/#organization\",\"name\":\"CryptoSlate\",\"url\":\"https:\/\/cryptoslate.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg\",\"contentUrl\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg\",\"width\":1000,\"height\":1000,\"caption\":\"CryptoSlate\"},\"image\":{\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/twitter.com\/cryptoslate\",\"https:\/\/www.instagram.com\/cryptoslate\/\",\"https:\/\/www.linkedin.com\/company\/cryptoslate\/\",\"https:\/\/www.youtube.com\/c\/cryptoslate\",\"https:\/\/cryptoslate.substack.com\/\",\"https:\/\/t.me\/cryptoslatenews\"],\"publishingPrinciples\":\"https:\/\/cryptoslate.com\/editorial-policy\/\",\"ownershipFundingInfo\":\"https:\/\/cryptoslate.com\/about\/\",\"actionableFeedbackPolicy\":\"https:\/\/cryptoslate.com\/about\/\",\"correctionsPolicy\":\"https:\/\/cryptoslate.com\/about\/\",\"ethicsPolicy\":\"https:\/\/cryptoslate.com\/disclaimers\/\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/090c7e942d4373f8247d1a2060638291\",\"name\":\"Monika Ghosh\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2022\/08\/monika-ghosh-author-150x150.jpg\",\"contentUrl\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2022\/08\/monika-ghosh-author-150x150.jpg\",\"caption\":\"Monika Ghosh\"},\"description\":\"Monika started reading about crypto in 2020 and went deeper and deeper down the rabbit hole. While she is always skeptical of new projects, she earnestly believes blockchain and the crypto industry can relieve some of our time's most pressing problems, including financial inequality and transparency. She is a voracious reader, and her fondness for food only rivals her love for books.\",\"url\":\"https:\/\/cryptoslate.com\/author\/monika-ghosh\/\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX","description":"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/","og_locale":"en_US","og_type":"article","og_title":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX","og_description":"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.","og_url":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/","og_site_name":"CryptoSlate","article_published_time":"2023-10-21T23:08:04+00:00","article_modified_time":"2023-10-21T23:14:06+00:00","og_image":[{"width":1792,"height":1024,"url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2023\/10\/privacy.jpg","type":"image\/jpeg"}],"author":"Monika Ghosh","twitter_card":"summary_large_image","twitter_creator":"@cryptoslate","twitter_site":"@cryptoslate","twitter_misc":{"Written by":"Monika Ghosh","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#article","isPartOf":{"@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/"},"author":{"name":"Monika Ghosh","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/090c7e942d4373f8247d1a2060638291"},"headline":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX","datePublished":"2023-10-21T23:08:04+00:00","dateModified":"2023-10-21T23:14:06+00:00","mainEntityOfPage":{"@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/"},"wordCount":306,"commentCount":0,"publisher":{"@id":"https:\/\/cryptoslate.com\/#organization"},"articleSection":["Privacy","Technology"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#respond"]}],"copyrightYear":"2023","copyrightHolder":{"@id":"https:\/\/cryptoslate.com\/#organization"}},{"@type":"WebPage","@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/","url":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/","name":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX","isPartOf":{"@id":"https:\/\/cryptoslate.com\/#website"},"datePublished":"2023-10-21T23:08:04+00:00","dateModified":"2023-10-21T23:14:06+00:00","description":"PI Squared claims to be programming language and virtual machine agnostic, making it accessible to developers, businesses, and users.","breadcrumb":{"@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cryptoslate.com\/runtime-verification-launches-universal-zk-rollup-pi-squared-on-multiversx\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/cryptoslate.com\/"},{"@type":"ListItem","position":2,"name":"Runtime Verification launches universal ZK rollup PI Squared on MultiversX"}]},{"@type":"WebSite","@id":"https:\/\/cryptoslate.com\/#website","url":"https:\/\/cryptoslate.com\/","name":"CryptoSlate","description":"Cryptocurrency News and Real-time Coin Data","publisher":{"@id":"https:\/\/cryptoslate.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cryptoslate.com\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/cryptoslate.com\/#organization","name":"CryptoSlate","url":"https:\/\/cryptoslate.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/","url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg","contentUrl":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg","width":1000,"height":1000,"caption":"CryptoSlate"},"image":{"@id":"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/twitter.com\/cryptoslate","https:\/\/www.instagram.com\/cryptoslate\/","https:\/\/www.linkedin.com\/company\/cryptoslate\/","https:\/\/www.youtube.com\/c\/cryptoslate","https:\/\/cryptoslate.substack.com\/","https:\/\/t.me\/cryptoslatenews"],"publishingPrinciples":"https:\/\/cryptoslate.com\/editorial-policy\/","ownershipFundingInfo":"https:\/\/cryptoslate.com\/about\/","actionableFeedbackPolicy":"https:\/\/cryptoslate.com\/about\/","correctionsPolicy":"https:\/\/cryptoslate.com\/about\/","ethicsPolicy":"https:\/\/cryptoslate.com\/disclaimers\/"},{"@type":"Person","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/090c7e942d4373f8247d1a2060638291","name":"Monika Ghosh","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/image\/","url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2022\/08\/monika-ghosh-author-150x150.jpg","contentUrl":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2022\/08\/monika-ghosh-author-150x150.jpg","caption":"Monika Ghosh"},"description":"Monika started reading about crypto in 2020 and went deeper and deeper down the rabbit hole. While she is always skeptical of new projects, she earnestly believes blockchain and the crypto industry can relieve some of our time's most pressing problems, including financial inequality and transparency. She is a voracious reader, and her fondness for food only rivals her love for books.","url":"https:\/\/cryptoslate.com\/author\/monika-ghosh\/"}]}},"_links":{"self":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/367007"}],"collection":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/users\/1386"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/comments?post=367007"}],"version-history":[{"count":4,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/367007\/revisions"}],"predecessor-version":[{"id":367051,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/367007\/revisions\/367051"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/media\/367049"}],"wp:attachment":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/media?parent=367007"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/categories?post=367007"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/tags?post=367007"},{"taxonomy":"post_folder","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/post_folder?post=367007"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}