zeko-labs / zekoLinks
Zeko: zk-Rollup for Mina, a succinct blockchain
☆30Updated this week
Alternatives and similar repositories for zeko
Users that are interested in zeko are comparing it to the libraries listed below
Sorting:
- ☆29Updated 11 months ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 2 months ago
- ☆24Updated last month
- Mina Rust Node☆97Updated 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 …☆85Updated 3 months ago
- This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node☆19Updated last week
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- ☆12Updated last year
- ☆20Updated 6 months ago
- A verifiable supercomputer☆73Updated 3 weeks ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- A battleship game using ZKPs☆43Updated last year
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated 2 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated last week
- experimental solidity compiler☆31Updated this week
- A reproducible package set for Cosmos, IBC and CosmWasm☆61Updated 2 months ago
- Ocaml-solidity provides a Solidity parser and typechecker☆33Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 7 months ago
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 4 months ago
- ☆17Updated 7 months ago
- Formalization of Typhon protocol☆31Updated 7 months ago
- A GraphQL-enabled indexer of the Mina blockchain.☆22Updated 3 weeks ago
- ☆68Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated 4 months ago
- Formal verification of the zkWasm project☆12Updated 11 months ago