Which is a recursive acronym standing for qedb error-checks databases. It is also a shameless pun on it being a proof system for DBs.
Important
Development Status: The open-source version of qedb is currently under active development and will be available soon. Star the repository to stay updated on our initial release!
Verifiable Databases (VDBs) enables clients to verify data integrity and query correctness without trusting the database provider.
qedb is a new construction for verifiable databases that supports a subset of SQL. The scheme improves the state of the art among constructions that do not rely on general-purpose SNARKs.
We welcome fixes, features, and doc updates! Check out CONTRIBUTING.md to see how to run tests and open up a pull request.
This project is licensed under the Business Source License 1.1.
- Copyright © 2026 Provably Technologies LTD
- You may not offer the Software as a commercial hosted service without purchasing a commercial license from Provably Technologies Ltd.
See the LICENSE file for full terms and details.