Exponential: A Nexus Podcast cover image

Episode 7: Beyond Blockchain

Exponential: A Nexus Podcast

00:00

Verifying the Future: The Pi Squared Journey

This chapter explores the essential role of formal verification in system functionality, detailing the development of Pi Squared and the speaker's expertise in mathematics and distributed systems. It highlights Pi Squared's innovative approach to enhancing scalability and performance in Web3 through a unique weak consensus protocol and emphasizes the need for mathematical proofs to validate system correctness.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app