ZKP-Native SQL Querying Database

Problem Statement

Traditional databases expose sensitive financial and personal data when executing queries, making them vulnerable to breaches, unauthorized access, and compliance risks. Current encryption methods secure data at rest and in transit but fail to protect data during computation (e.g., during SQL queries).

Goal:
Develop a custom SQL-like database engine that natively supports Zero-Knowledge Proof (ZKP) based queries, enabling users to prove conditions on their data without exposing raw values.

Features of zkSQL

1. ZKP-Native Queries:

   • Instead of SELECT SUM(amount) FROM transactions WHERE user_id = ?;, zkSQL returns a proof that the sum satisfies a condition (e.g., <$1000).

   • No raw data exposure to the querying party.

2. Custom Storage Engine:

   • Uses RocksDB-inspired key-value storage in Rust.

   • Encrypted commitment-based storage for privacy.

3. SQL Interface with ZKP Extension:

   • Developers can use standard SQL queries with a ZKP extension.

   • Example: SELECT zkProof(SUM(amount) < 1000) FROM transactions WHERE category = 'food';

4. Mobile-Friendly & Android Integration:

   • Lightweight embedded database for mobile apps.

   • Works as an alternative to SQLite with privacy features.

5. No Blockchain Dependency:

   • This is not a Web3/blockchain project.

   • Stand-alone privacy-focused database engine.
     
     
     

Description of main project:

# ZKEngine - Zero-Knowledge Proof Middleware ## Overview `zkengine` is an npm package designed to integrate Zero-Knowledge Proofs (ZKPs) into Node.js applications. It provides a middleware that allows developers to generate and verify proofs efficiently using `snarkjs` and other cryptographic techniques. ## Installation To install `zkengine`, use npm or yarn: ```sh npm install zkengine ``` or ```sh yarn add zkengine ``` ## Features - Zero-Knowledge Proof generation for SQL queries - Proof verification support - Middleware integration for Express.js - Secure authentication mechanism ## Usage ### 1. Importing and Initializing ```javascript const zkEngine = require("zkengine"); ``` ### 2. Generating a Proof ```javascript const proof = await zkEngine.generateProof("SELECT * FROM users;"); console.log(proof); ``` ### 3. Verifying a Proof ```javascript const isValid = await zkEngine.verifyProof(proof); console.log("Proof Valid:", isValid); ``` ## Middleware Integration with Express.js To integrate `zkengine` as middleware in an Express.js application: ```javascript const express = require("express"); const zkEngine = require("zkengine"); const app = express(); app.use(express.json()); app.post("/generate-proof", async (req, res) => { try { const { input } = req.body; const proof = await zkEngine.generateProof(input); res.json({ proof }); } catch (error) { res.status(500).json({ error: error.message }); } }); app.listen(3000, () => { console.log("Server running on port 3000"); }); ``` ## CLI Usage `zkengine` also comes with a CLI tool (`zkcli`) for proof generation and verification. ### 1. Generating a Proof ```sh zkcli generate "SELECT * FROM users;" ``` ### 2. Verifying a Proof ```sh zkcli verify <proof_file> ``` ## Configuration Some settings can be customized using environment variables: | Variable | Default | Description | |----------------|---------|-------------| | `ZK_PROOF_MODE` | `snark` | Defines the proof generation mode | | `DB_HOST` | `localhost` | Database connection host | | `DB_PORT` | `5432` | Database port | ## API Reference ### `zkEngine.generateProof(input: string) -> Promise<object>` Generates a Zero-Knowledge Proof for the given SQL query. ### `zkEngine.verifyProof(proof: object) -> Promise<boolean>` Verifies the Zero-Knowledge Proof. ## License `zkengine` is open-source and licensed under the GNU GPL v3 License. --- For more details, visit the [GitHub repository](https://github.com/Fundspay/fundsdb-zkpengine-js).