ZK-based engine for self-sovereign SQL queries
☆90Jul 28, 2022Updated 3 years ago
Alternatives and similar repositories for zk-SQL
Users that are interested in zk-SQL are comparing it to the libraries listed below
Sorting:
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- ☆14Dec 13, 2024Updated last year
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- ☆10Oct 24, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆41Apr 1, 2024Updated last year
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆64Jul 14, 2022Updated 3 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Decentralized Programmable Data, written in assembly☆33Jul 11, 2022Updated 3 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆92Sep 28, 2022Updated 3 years ago
- ☆51Mar 7, 2024Updated last year
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 3 years ago
- ☆13May 13, 2022Updated 3 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Foundry + Yul template☆97Dec 27, 2023Updated 2 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 5 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- on-chain vol oracle from squeeth☆25Oct 24, 2022Updated 3 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- A repo for our research papers☆246Jun 4, 2025Updated 8 months ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- MEV example from @bertcmiller implement in Foundry☆74Jul 1, 2022Updated 3 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago