zeko-labs / zeko
Zeko: zk-Rollup for Mina, a succinct blockchain
☆29Updated last week
Alternatives and similar repositories for zeko:
Users that are interested in zeko are comparing it to the libraries listed below
- ☆28Updated 8 months ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated last week
- ☆20Updated 3 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 …☆81Updated 2 weeks ago
- This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node☆19Updated this week
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆71Updated 10 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆40Updated this week
- ☆17Updated 4 months ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- ☆23Updated 2 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 7 months ago
- Mina Rust Node☆94Updated this week
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆83Updated last month
- ☆29Updated last week
- A battleship game using ZKPs☆43Updated last year
- A GraphQL-enabled indexer of the Mina blockchain.☆21Updated this week
- ☆14Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆37Updated 2 weeks ago
- ☆37Updated last year
- A zkApp based staking pool for MINA☆15Updated last year
- Formalization of Typhon protocol☆31Updated 4 months ago
- Cryptography libraries for ZKsync☆30Updated this week
- Integration of IBC with Starknet☆19Updated this week
- experimental solidity compiler☆27Updated this week
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Shared Lurk source code, including tests and library code.☆18Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 7 months ago
- Official Ledger Starknet application (Rust implementation)☆21Updated last week