zeko-labs / zeko
Zeko: zk-Rollup for Mina, a succinct blockchain
☆25Updated this week
Alternatives and similar repositories for zeko:
Users that are interested in zeko are comparing it to the libraries listed below
- ☆19Updated 2 weeks ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆12Updated this week
- Mina Rust Node☆86Updated this week
- ☆29Updated this week
- zkDatabase, a distributed off-chain database with ZK prover☆50Updated this week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated 11 months ago
- ☆28Updated 5 months ago
- Implementation of the Zcash Orchard Protocol☆54Updated last month
- ☆14Updated 2 years ago
- ☆24Updated 7 months ago
- Formal verification of the zkWasm project☆10Updated 5 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆81Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆79Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- Rust implementation for zcash/pasta☆82Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆57Updated this week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆95Updated 3 weeks ago
- RISC-V ELF interpreter in cairo☆35Updated 3 months ago
- This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node☆18Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated 2 months ago
- EigenTrust - A distributed reputation system☆110Updated last year
- An observatory fork of SP1☆52Updated this week
- ZKM Development Template/Framework☆23Updated this week
- A cutting edge zkWASM based on Nova-NIVC type folding techniques☆21Updated this week
- Reef: A zkSNARK system for proving that a committed document matches a regex☆67Updated 6 months ago
- ☆48Updated last year
- A battleship game using ZKPs☆43Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated 9 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Starter kit for privacy enabled application chains☆43Updated last month