Pi Squared – A Verifiable Settlement Layer for AI and Crypto
Grigore Roșu is a professor of computer science at the University of Illinois and a former NASA engineer, where he developed the K Framework - an open-source “Rosetta Stone” for programming language semantics. A day-one contributor to the Ethereum Foundation, he later founded Runtime Verification, now the leading formal verification company in Web3. In 2023, he founded Pi Squared with the vision of bringing the next million developers to Web3 by utilizing his revolutionary K Framework.
The link will open a new window. Click the menu and down arrow to download the file.
Podcasts available on
Why you should listen
Pi Squared solves the fragmentation and trust limitations of today’s blockchain infrastructure by enabling verifiable, cross-chain computation and settlement, so apps, agents, and protocols can interact across ecosystems without relying on bridges, centralized parties, or unprovable logic.
It’s the missing trust layer for a modular, interoperable, and enterprise-ready Web3.
Pi Squared’s core offering is its Verifiable Settlement Layer (VSL)—essentially a decentralized, programmable foundation that wraps any action (data storage, transactions, computation) into a cryptographically sealed “claim.” These claims are verified by a global network of validators, settled via their high-performance FastSet consensus protocol, and become instantly accessible across chains and environments—all without intermediaries or trust assumptions. VSL enables fast, provable, cross-ecosystem settlements—serving AI, blockchains, or any off-chain systems.
Already live on devnet, Pi Squared showcases powerful use cases like cross-chain asset bridging (e.g., via Wormhole NTT), blockchain state mirroring, and auditable AI pipelines via Trusted Execution Environments. Their system dramatically reduces redundant computation in blockchains—one node computes and proves, and everyone else verifies in milliseconds—boosting throughput, slashing energy use, and minimizing vulnerabilities. Think verifiability everywhere—from remote compute and DeFi to AI inference—supercharged by formal-language-backed proofs.
Pi² is stitching formal verification, zero-knowledge proofs, and cross-chain interoperability into one fast, composable layer. No fluff, no trust—just proof.
Supporting links
If you enjoyed the show please subscribe to the Crypto Conversation and give us a 5-star rating and a positive review in whatever podcast app you are using.
Brave New Coin reaches 500,000+ engaged crypto enthusiasts a month through our website, podcast, newsletters, and YouTube. Get your brand in front of key decision-makers and early adopters. Don’t wait – Secure your spot and drive real impact in Q2. Find out more today!
