The Crypto Conversation

Pi Squared - The Verifiable Settlement Layer for AI and Crypto


Listen Later

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.

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

Stabull Finance

Pi Network

Andy on Twitter 

Brave New Coin on Twitter

Brave New Coin

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.

...more
View all episodesView all episodes
Download on the App Store

The Crypto ConversationBy Brave New Coin

  • 4.6
  • 4.6
  • 4.6
  • 4.6
  • 4.6

4.6

38 ratings


More shows like The Crypto Conversation

View all
We Study Billionaires - The Investor’s Podcast Network by The Investor's Podcast Network

We Study Billionaires - The Investor’s Podcast Network

3,366 Listeners

Unchained by Laura Shin

Unchained

1,206 Listeners

CRYPTO 101 by Bryce Paul & Brendan Viehman

CRYPTO 101

46 Listeners

The Peter McCormack Show by Peter McCormack

The Peter McCormack Show

2,161 Listeners

The Pomp Podcast by Anthony Pompliano

The Pomp Podcast

1,834 Listeners

The Breakdown by Blockworks

The Breakdown

741 Listeners

Thinking Crypto News & Interviews by Tony Edward

Thinking Crypto News & Interviews

240 Listeners

On The Brink with Castle Island by Castle Island Ventures

On The Brink with Castle Island

287 Listeners

Bitcoin News Alerts | Daily BTC News by Justin Verrengia

Bitcoin News Alerts | Daily BTC News

601 Listeners

The Wolf Of All Streets by Scott Melker

The Wolf Of All Streets

227 Listeners

All-In with Chamath, Jason, Sacks & Friedberg by All-In Podcast, LLC

All-In with Chamath, Jason, Sacks & Friedberg

9,095 Listeners

Empire by Blockworks

Empire

164 Listeners

Coin Stories by Natalie Brunell

Coin Stories

412 Listeners

Raoul Pal: The Journey Man by Real Vision Podcast Network

Raoul Pal: The Journey Man

133 Listeners

web3 with a16z crypto by a16z crypto, Sonal Chokshi, Chris Dixon

web3 with a16z crypto

61 Listeners