Emanuele RagnoliEmanuele Ragnoli co-founded Provably and co-authored qedb, a system for verifying database query results.2 talks by Emanuele RagnoliZK14 - qedb: Expressive and Modular Verifiable Databases (without SNARKs) - Emanuele RagnoliEpisode 398 - Verifiable Databases with Shyam & Emanuele from Provably