orochi-network / zkDatabase
zkDatabase, a distributed off-chain database with ZK prover
☆57Updated 2 months ago
Alternatives and similar repositories for zkDatabase:
Users that are interested in zkDatabase are comparing it to the libraries listed below
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated last month
- ☆20Updated 3 months ago
- Rust implementation of the Agglayer.☆98Updated this week
- ☆142Updated 2 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆157Updated last week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated last year
- ☆60Updated 2 years ago
- Distributed, Incentivised, Zero-Knowledge File System☆38Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- ☆94Updated 8 months ago
- ZKM Development Template/Framework☆25Updated last week
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆125Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆71Updated 10 months ago
- ☆57Updated 5 months ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- ☆123Updated 6 months ago
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆57Updated last year
- Crypto Gadgets for Plonky2☆71Updated 11 months ago
- ☆23Updated 2 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆150Updated last year
- ☆98Updated 8 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated 2 weeks ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆65Updated 2 weeks ago
- ☆65Updated last year
- ☆29Updated last week
- ☆28Updated last week