orochi-network / zkDatabase
zkDatabase, a distributed off-chain database with ZK prover
☆43Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zkDatabase
- Rust implementation of the Agglayer.☆73Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆85Updated 2 weeks ago
- ☆18Updated 2 months ago
- ☆27Updated this week
- Starter kit for privacy enabled application chains☆41Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 6 months ago
- A world's first zkWASM with a SuperNova backend☆19Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆54Updated 2 weeks ago
- ☆49Updated last month
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆50Updated this week
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated 3 months ago
- FHE in the Risc0 zkVM☆25Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆59Updated 7 months ago
- ☆10Updated 9 months ago
- Smart contracts for the Telepathy protocol☆74Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated last year
- RISC-V interactive fraud-proof tech☆99Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- Email verification circuit in halo2☆62Updated 4 months ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- Zirgen compiler and RISC Zero circuits☆46Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated last week
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆57Updated 8 months ago
- An observatory fork of SP1 (contact: @huitseeker)☆47Updated this week
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆32Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆89Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Contracts for onchain verification of SP1.☆59Updated last week