orochi-network / zkDatabase
zkDatabase, a distributed off-chain database with ZK prover
☆45Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zkDatabase
- Rust implementation of the Agglayer.☆74Updated this week
- Noir implementation of RSA-verify☆41Updated 11 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆86Updated last month
- A world's first zkWASM with a SuperNova backend☆20Updated this week
- EigenTrust - A distributed reputation system☆109Updated 11 months ago
- ☆41Updated 11 months ago
- Plonky2 Semaphore example for ZKHack☆26Updated 2 years ago
- Email verification circuit in halo2☆63Updated 4 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Basic Noir anonymous proof of membership☆88Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆56Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆44Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆91Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Step by step implementation of KZG☆19Updated last month
- PoC of Revm execution in SGX☆81Updated last year
- RISC-V interactive fraud-proof tech☆98Updated this week
- ☆28Updated this week
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆56Updated 3 weeks ago
- Cross-zk-rollup aggregation☆59Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- ☆60Updated 4 months ago
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- In-EVM Mina State Verification☆82Updated last year