Research
Towards a future with Verifiable Data Collaboration & Exchange across Distributed Systems.
Our research focuses on building trusted methods for sharing and verifying data across distributed systems. We study how data can remain reliable, transparent, and practical to use, even in complex and decentralized environments. This page brings together our scientific papers and findings—the foundation for a more open and dependable digital ecosystem.
QEDB
Expressive and Modular Verifiable Databases (without SNARKs)
Provably introduces a verifiable database infrastructure that enables SQL queries to produce fast, small constant (<5kb) proofs of correctness, completeness, and integrity. Unlike prior approaches relying on specialized circuits or SNARK-heavy constructions, Provably compiles queries directly over tabular data, supporting expressive operations such as joins, aggregates, and snapshots.
Stay Updated
PRODUCTS_
RESOURCES_
© 2025 Provably. All rights reserved.