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 3 weeks ago
• MinaFoundation / Core-Grants
  ☆28Updated 8 months ago
• openmina / openmina
  Mina Rust Node
  ☆93Updated last week
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆47Updated this week
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆71Updated 10 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated last week
• MinaFoundation / mina-fungible-token
  ☆20Updated 4 months ago
• 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 last week
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated last 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 last month
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆31Updated this week
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 8 months ago
• MinaProtocol / MIPs
  ☆23Updated 3 months ago
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• informalsystems / ibc-starknet
  Integration of IBC with Starknet
  ☆19Updated this week
• lita-xyz / rust-examples
  ☆16Updated 5 months ago
• onurinanc / o1js-groth16
  ☆11Updated last year
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated 10 months ago
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆21Updated 2 weeks ago
• cairo-nix / cairo-nix
  Nix overlay for Cairo
  ☆9Updated last year
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 2 months ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆12Updated 9 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆31Updated 3 weeks ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆53Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆68Updated 3 months ago
• argotorg / solcore
  experimental solidity compiler
  ☆27Updated this week
• 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
• fe-lang / sonatina
  ☆50Updated 3 weeks ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆72Updated 3 months ago