zkDatabase is a pioneering solution from Orochi Network that combines modern noSQL database architecture with advanced cryptographic techniques to ensure provable data integrity and privacy. At its core, zkDatabase leverages Zero-Knowledge Proofs (ZKP) to allow data queries and transactions to be verified without revealing the underlying data itself.
zkDatabase's engine relies on a Zero-Knowledge Prover, ensuring that all data transactions can be cryptographically verified. This prover supports a range of zkSNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), providing concise proofs that are computationally efficient to verify. The first version of zkDatabase is built on the o1js framework developed by O1 Labs. This integration allows for seamless incorporation of zkSNARKs within the database, leveraging the robust and efficient prover implementations that o1js offers.
zkDatabase is designed with a modular architecture, allowing for the integration of multiple proof systems in the future. Planned support includes advanced proof systems like Plonky3, which offers faster proof generation and improved scalability.
