zeko-labs / zekoLinks
Zeko: zk-Rollup for Mina, a succinct blockchain
☆32Updated this week
Alternatives and similar repositories for zeko
Users that are interested in zeko are comparing it to the libraries listed below
Sorting:
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 5 months ago
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆110Updated this week
- ☆29Updated last year
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated 2 weeks ago
- RISC-V ELF interpreter in cairo☆35Updated 11 months ago
- ☆20Updated 8 months ago
- A battleship game using ZKPs☆43Updated last year
- A verifiable supercomputer☆74Updated 3 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated 2 weeks ago
- Programmable assets on Bitcoin and beyond☆17Updated this week
- ☆48Updated 3 months ago
- ☆12Updated last year
- ☆16Updated 9 months ago
- Implementation of the Zcash Orchard Protocol☆56Updated last month
- experimental solidity compiler☆32Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆94Updated 6 months ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- ☆49Updated 2 years ago
- Compiler from Rust to Miden Assembly☆87Updated this week
- ☆14Updated 3 years ago
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated this week
- ☆29Updated last month
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆40Updated last week
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 3 months ago
- Private Attestations for Mina wallets☆16Updated 2 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆115Updated 5 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago