Alternatives and similar repositories for zeko

Users that are interested in zeko are comparing it to the libraries listed below

• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated last month
• MinaFoundation / Core-Grants
  ☆28Updated 9 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆35Updated this week
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆83Updated 2 months ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• o1-labs / Archive-Node-API
  This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node
  ☆19Updated 3 weeks ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆51Updated 3 weeks ago
• ycryptx / Hazook-Fast-Zk-Rollup
  Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs
  ☆16Updated last year
• onurinanc / o1js-groth16
  ☆11Updated last year
• openmina / openmina
  Mina Rust Node
  ☆93Updated last month
• MinaProtocol / MIPs
  ☆23Updated this week
• lita-xyz / rust-examples
  ☆17Updated 6 months ago
• MinaFoundation / mina-fungible-token
  ☆20Updated 5 months ago
• garethtdavies / zkAppPool
  A zkApp based staking pool for MINA
  ☆15Updated 2 years ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated last year
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 3 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆32Updated 3 weeks ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated last month
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆33Updated last month
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 9 months ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆64Updated this week
• Trivo25 / o1js-elgamal
  Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.
  ☆22Updated last year
• nfurfaro / hunter
  A mutation testing CLI tool built in Rust. Currently supports Noir as a target language
  ☆12Updated 6 months ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆33Updated 6 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆31Updated last month
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆12Updated 9 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆73Updated 11 months ago