zk-SQL
Query Verifier
An engine for proving the correctness of SQL queries without trusting the data source
ZK-based engine for self-sovereign SQL queries
88 stars
2 watching
4 forks
Language: Solidity
last commit: about 4 years agocircomcryptographydatabasesqlzero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 0xhackedlabs/zkprover | A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries. | 1 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 nullism/bqb | A lightweight query builder library for generating SQL queries with parameterized placeholders. | 155 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 kripken/sql.js | An in-browser implementation of a SQLite-like JavaScript database that allows storing and querying data directly in web pages. | 123 |
 zitsen/unqlite.rs | A Rust wrapper around UnQLite, a document store and Key/Value NoSQL database engine | 112 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 214 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 web3-master/zksnark-sudoku | A Sudoku game verifier utilizing zkSNARK to ensure puzzle solution integrity | 15 |
 risc0/zeth | A tool that proves Ethereum blocks are valid without relying on external validators or committees. | 390 |
 delendum-xyz/zk-benchmarking | A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments. | 128 |
 succinctlabs/sp1-reth | A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust | 126 |
 kipdata/fncksql | A lightweight embedded relational database that provides a user-friendly API and supports complex data operations. | 570 |
 kimono-koans/dano | A tool for verifying media checksums without re-encoding or re-writing metadata. | 146 |