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 6 months ago
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆114Updated this week
• garethtdavies / zkAppPool
  A zkApp based staking pool for MINA
  ☆15Updated 2 years ago
• MinaFoundation / Core-Grants
  ☆29Updated last year
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆82Updated 2 years ago
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year
• MinaFoundation / mina-fungible-token
  ☆20Updated 10 months ago
• Granola-Team / mina-indexer
  A GraphQL-enabled indexer of the Mina blockchain.
  ☆22Updated 4 months ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆34Updated 2 years ago
• onurinanc / o1js-groth16
  ☆12Updated last year
• NilFoundation / mina-state-proof
  In-EVM Mina State Verification
  ☆82Updated 2 years ago
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆16Updated 5 months ago
• leanEthereum / leanMultisig
  ☆40Updated this week
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆78Updated 4 months ago
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆23Updated last week
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 10 months ago
• MinaProtocol / MIPs
  ☆24Updated last week
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆92Updated 3 weeks ago
• CharmsDev / charms
  Programmable assets on Bitcoin and beyond
  ☆18Updated this week
• node101-io / zkvot
  zkvot - World's first fully live anonymous voting application!
  ☆23Updated 7 months ago
• zkvalidator / mina-vrf-rs
  ☆38Updated 4 years ago
• Zokrates / zokrates-nextjs-demo
  ☆14Updated 3 years ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆43Updated last week
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆56Updated last month
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆150Updated last year
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆41Updated 4 months ago
• polybase / polylang
  ☆36Updated 2 years ago
• MinaProtocol / docs2
  Docs website for the Mina Protocol.
  ☆103Updated last week
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆61Updated 2 months ago