orochi-network / zkDatabaseLinks
zkDatabase, a distributed off-chain database with ZK prover
☆57Updated 4 months ago
Alternatives and similar repositories for zkDatabase
Users that are interested in zkDatabase are comparing it to the libraries listed below
Sorting:
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆93Updated 3 months ago
- Rust implementation of the Agglayer.☆101Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆103Updated this week
- ☆94Updated 10 months ago
- ZKM Development Template/Framework☆25Updated last month
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆22Updated last year
- ☆51Updated this week
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- RISC-V prover system for ZKsync OS☆71Updated this week
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- RISC-V interactive fault proof tech☆103Updated last month
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 3 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- Smart contracts for onchain verification of SP1.☆98Updated last week
- ☆96Updated this week
- On-chain Ethereum light client built with SP1☆57Updated this week
- barretenburg in rust (here we go)☆98Updated last year
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.☆58Updated 6 months ago
- ☆29Updated 3 weeks ago
- Distributed, Incentivised, Zero-Knowledge File System☆38Updated 2 years ago
- ☆68Updated 11 months ago
- Step by step implementation of KZG☆19Updated 8 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 5 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆75Updated 2 weeks ago
- PoC of Revm execution in SGX☆80Updated last year
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆112Updated last week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year