Sign up to save your podcasts
Or
Share Helios Horizons Ep.45: Proof is in the Pi with Grigore Rosu of PiSquared
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Helios Horizons Ep.45: Proof is in the Pi with Grigore Rosu of PiSquared
What happens when a NASA engineer applies rigorous mathematical proof to blockchain architecture? Grigore Rosu's journey from communist Romania to founding groundbreaking Web3 companies reveals how formal verification could reshape our digital future.
Growing up with limited options, Grigore chose mathematics—a decision that would eventually lead him to develop runtime verification at NASA, a technique that proves programs correct during execution. When his paper describing this method was initially rejected for not fitting neatly into existing categories, he learned that sometimes just naming something differently can change everything. This insight served him well when he founded Runtime Verification, which became a leading security auditing firm for major blockchain projects including work directly requested by Vitalik Buterin.
With his newest venture, Pi Squared, Grigore tackles what he sees as blockchain's fundamental limitation: the requirement for total ordering of transactions. "We want to drop completely any ordering," he explains, revealing how his settlement layer allows computational claims to be verified in parallel rather than sequentially. This approach could revolutionize not just blockchain architecture but also enable AI agent ecosystems where billions of autonomous programs need to interact without standing in line.
The vision goes beyond technical improvements. Grigore speaks passionately about moving from "total value locked" to "total value unlocked"—an interconnected world where assets flow freely across chains, AI agents, and traditional applications while maintaining verifiability. His mathematical approach strips blockchain to its essential functions: verifiability and asset transfer, potentially freeing developers from unnecessary constraints while ensuring mathematical certainty.
Ready to explore how mathematical proofs could transform Web3? Listen now and discover why some of the most exciting blockchain innovations might come from rethinking its fundamental architecture.
Stay tuned for next weeks Episode and don't forget to follow us on X and visit our website for more information.
View all episodes
By Helios StakingWhat happens when a NASA engineer applies rigorous mathematical proof to blockchain architecture? Grigore Rosu's journey from communist Romania to founding groundbreaking Web3 companies reveals how formal verification could reshape our digital future.
Growing up with limited options, Grigore chose mathematics—a decision that would eventually lead him to develop runtime verification at NASA, a technique that proves programs correct during execution. When his paper describing this method was initially rejected for not fitting neatly into existing categories, he learned that sometimes just naming something differently can change everything. This insight served him well when he founded Runtime Verification, which became a leading security auditing firm for major blockchain projects including work directly requested by Vitalik Buterin.
With his newest venture, Pi Squared, Grigore tackles what he sees as blockchain's fundamental limitation: the requirement for total ordering of transactions. "We want to drop completely any ordering," he explains, revealing how his settlement layer allows computational claims to be verified in parallel rather than sequentially. This approach could revolutionize not just blockchain architecture but also enable AI agent ecosystems where billions of autonomous programs need to interact without standing in line.
The vision goes beyond technical improvements. Grigore speaks passionately about moving from "total value locked" to "total value unlocked"—an interconnected world where assets flow freely across chains, AI agents, and traditional applications while maintaining verifiability. His mathematical approach strips blockchain to its essential functions: verifiability and asset transfer, potentially freeing developers from unnecessary constraints while ensuring mathematical certainty.
Ready to explore how mathematical proofs could transform Web3? Listen now and discover why some of the most exciting blockchain innovations might come from rethinking its fundamental architecture.
Stay tuned for next weeks Episode and don't forget to follow us on X and visit our website for more information.