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
- ☆20Updated 2 months ago
- ☆28Updated 7 months ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆12Updated last week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week
- Mina Rust Node☆93Updated this week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 6 months ago
- ☆23Updated last month
- This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node☆18Updated 3 weeks ago
- ☆17Updated 3 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆65Updated 9 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 …☆77Updated this week
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- Cryptography libraries for ZKsync☆29Updated this week
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆73Updated last week
- A support library for working with zero knowledge cryptography in Lean 4.☆35Updated 3 weeks ago
- Bringing divine order to remote task execution.☆24Updated 4 months ago
- A battleship game using ZKPs☆43Updated last year
- ☆14Updated 2 years ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated last year
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- ☆37Updated last year
- ☆29Updated this week
- Create MPC apps with TypeScript.☆32Updated 2 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 3 weeks ago
- experimental solidity compiler☆26Updated this week
- JSON parser written in Lurk☆30Updated last year
- Installation tooling for Noir☆25Updated last month
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Updated 3 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated last week