The Verifiable Database Powered by Zero-Knowledge Proofs
A high-performance NoSQL database built by Orochi Network with ZKPs
to ensure data integrity and privacy.
zkDatabase: Data Proving
zkDatabase is a database that generates a Zero-Knowledge Proof for every operation,
proving that each data transformation was performed correctly. This allows anyone to verify the database's integrity without trusting the operator.
We support
ZK-Data-Rollups Natively
zkDatabase establishes a decentralized network that performs data proving on every steps of data processing to build the first Verifiable Data Pipeline
Working with zkDatabase
Work with data in zkDatabase through a Verifiable Data Pipeline, backed by a provable database architecture and ZK-Data Rollups for scalable, privacy-preserving operations and on-chain verification.
Database more details here
- You have 2 ways to work with zkDatabase: fully off-chain or using an on-chain rollup. Choosing the fully off-chain option keeps things simple, with no additional setup required.
- However, if you opt for the on-chain rollup, you'll need to create a database and deploy a smart contract on the target blockchain.
zkDatabase Demo & Tutorial
A detailed guide on using zkDatabase, with an intuitive interface designed to be accessible even for non-experts.
Demo Tutorial
Performance Benchmark (Groth16)
Groth16 is the core proof system powering zkDatabase, optimized for high-frequency proof generation, low verification cost, and production-ready latency.
Through extensive benchmarking on Merkle membership circuits, Groth16 consistently delivers sub-second proving while maintaining constant-size proofs and fast on-chain verification.
Error Rate Across 274.757 Ops
0.0025%
Verified Operations
274K+
Query Latency on 100K+ Records
< 15ms
Merkle Tree
Database Details
Public Database
Database Revolution
Privacy Preserving Data
zkDatabse serves privacy preserving data in provable manner, establishing the verifiable private computation.
Proof-Carrying Data
zkDatabase generates cryptographic proof for every step of data processing and inherit the correctness recursively by that we minimize the trust assumption.
Schema-Based Collections
zkDatabase natively supports collections and documents with schemas, enabling verifiable operations on structured data instead of blob-based or append-only storage models.
Provable Lookup
zkDatabase produces proofs for query results, filters, and aggregations, allowing applications to verify that outputs are computed from proved data, logic, and constraints rather than assumed correctness.
Proof-System & Runtime Agnostic
zkDatabase is designed to work across multiple ZK Proof systems such as Plonky3, Halo2, Nova, and Pickles, avoiding cryptographic lock-in while staying adaptable to future proof innovations.
Verifiable Compliance Data
zkDatabase provides a cryptographic trust foundation for compliance workflows by linking versioned records, proof generation, and on-chain verification into auditable and replayable processes.
Frequently Asked Questions
We are here to help you.