Description
zkDB represents documents within collections and collections within a database using sparse Merkle trees. Its circuits can prove document membership, non-membership, and values at JSON paths without revealing the complete JSON data. The design includes zkRollup proof verification to commit database-root transitions onchain and zkQuery Solidity interfaces for proving and querying values or conditional predicates against the current database state.