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:
- ☆14Dec 13, 2024Updated last year
- ☆28Sep 27, 2022Updated 3 years ago
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆41Apr 1, 2024Updated last year
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- ☆10Oct 24, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆64Jul 14, 2022Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 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
- 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
- Decentralized Programmable Data, written in assembly☆33Jul 11, 2022Updated 3 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆261Jun 22, 2024Updated last year
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- SQL on chain☆137Jan 24, 2024Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- ☆51Mar 7, 2024Updated 2 years ago
- ☆25Nov 8, 2022Updated 3 years ago
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 4 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆12Sep 25, 2022Updated 3 years ago
- on-chain vol oracle from squeeth☆25Oct 24, 2022Updated 3 years ago
- ☆13May 13, 2022Updated 3 years ago
- Repository gathering useful libraries and contracts.☆64Aug 13, 2023Updated 2 years ago
- Notes on Solidity☆60Feb 26, 2023Updated 3 years ago
- A data structures library that does memory management for you☆221Feb 11, 2023Updated 3 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago