zk-SQL
by nulltea
ZK-based engine for self-sovereign SQL queries
AI summary
Query Verifier
An engine for proving the correctness of SQL queries without trusting the data source
- stars
- 88
- forks
- 4
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
nullism/bqb155
Query builder
A lightweight query builder library for generating SQL queries with parameterized placeholders.
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
JavaScript database
An in-browser implementation of a SQLite-like JavaScript database that allows storing and querying data directly in web pages.
Database engine
A Rust wrapper around UnQLite, a document store and Key/Value NoSQL database engine
Verification tool
Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Sudoku Verifier
A Sudoku game verifier utilizing zkSNARK to ensure puzzle solution integrity
risc0/zeth390
Block validator
A tool that proves Ethereum blocks are valid without relying on external validators or committees.
ZK benchmarker
A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments.
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
Embedded DBMS
A lightweight embedded relational database that provides a user-friendly API and supports complex data operations.
Checksum verifier
A tool for verifying media checksums without re-encoding or re-writing metadata.
