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:
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆108Updated this week
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 4 months ago
- Programmable assets on Bitcoin and beyond☆12Updated this week
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆112Updated 5 months ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- ☆16Updated 9 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆39Updated last month
- ☆29Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 2 months ago
- ☆12Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- A verifiable supercomputer☆72Updated 2 months ago
- A GraphQL-enabled indexer of the Mina blockchain.☆22Updated 2 months ago
- ☆46Updated 2 months ago
- experimental solidity compiler☆31Updated this week
- Rust SDK for Ledger device applications☆58Updated this week
- ☆20Updated 8 months ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆61Updated last week
- Rust implementation for zcash/pasta☆83Updated 4 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 9 months ago
- zkDatabase, a distributed off-chain database with ZK prover☆57Updated 6 months ago
- A battleship game using ZKPs☆43Updated last year
- This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node☆19Updated last month
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- ☆29Updated last month
- ☆14Updated 2 years ago
- Early-stage research related to the Anoma protocols.☆32Updated last year