Verifiable Databases with Shyam & Emanuele from Provably

In this episode, Anna Rose and Nico Mohnblatt speak with Shyam Duraishwami and Emanuele Ragnoli, co-founders of Provably. They trace the origins of Provably, from early work on data ecosystems and blockchain infrastructure to the launch of their verifiable database approach, exploring how advances in cryptography and database theory enabled this shift. The conversation dives into what a verifiable database actually is and how this contrasts with Merkle-based systems and zkVMs, explaining how Provably’s use of polynomial and vector commitments enables performance that scales with query complexity rather than dataset size, opening the door to large-scale, real-world applications. They close with a discussion on emerging applications from proving insights over private blockchain data to enabling verifiable analytics in Web2 and multi-agent systems—and the broader implications for data integrity in an increasingly data-rich world.

Verifiable Databases with Shyam & Emanuele from Provably

About this Episode

Related Links

More from Zero Knowledge

Dev Ojha on the Osmosis Story and his Return to Privacy

lean Ethereum Part 6: Formal Verification with Alex Hicks

lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl

lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation