nulltea / zk-SQL
ZK-based engine for self-sovereign SQL queries
☆88Updated 2 years ago
Alternatives and similar repositories for zk-SQL:
Users that are interested in zk-SQL are comparing it to the libraries listed below
- ☆64Updated 5 months ago
- 🔒💬 A protocol for credible commitments.☆73Updated 11 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- Smart contracts for the Telepathy protocol☆75Updated 9 months ago
- Provides tools for testing circom circuits.☆56Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- Poseidon hash function implemented in Solidity☆43Updated 5 months ago
- ☆48Updated this week
- My personal notebook for various zk-related topics☆47Updated last week
- Email verification circuit in halo2☆66Updated 6 months ago
- A Noir circuit that mimics Solidity's ecrecover☆48Updated last month
- group signatures implemented with zkSNARKs☆84Updated 3 years ago
- ☆36Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Like Safe... but secret 🥷🏽☆57Updated last week
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- SUAVE Application Examples☆55Updated last month
- ☆46Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- ☆51Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆73Updated 3 months ago
- Basic Noir anonymous proof of membership☆88Updated last year
- Circuits library for matrix operations in circom☆32Updated 7 months ago