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.

QEDBRead the Paper

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.

Read the Paper

Stay Updated

COMPANY_

PRODUCTS_

RESOURCES_