Alternatives and similar repositories for snarky

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

• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆419Updated 4 years ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆473Updated 2 years ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆438Updated this week
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆247Updated 2 years ago
• matter-labs / zinc
  The Zinc language public repository
  ☆309Updated 7 months ago
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆445Updated 4 months ago
• arkworks-rs / snark
  Interfaces for Relations and SNARKs for these relations
  ☆870Updated 2 weeks ago
• ebfull / halo
  ☆115Updated 3 years ago
• 0xProject / OpenZKP
  OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
  ☆656Updated last year
• zcash / librustzcash
  Rust-language assets for Zcash
  ☆348Updated last week
• GuildOfWeavers / genSTARK
  A library for generating zk-STARKs.
  ☆146Updated 2 years ago
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆520Updated last month
• coder5876 / libsnark-tutorial
  Tutorial and example code for using libsnark
  ☆193Updated 4 years ago
• cambrian / accumulator
  Cryptographic accumulators in Rust.
  ☆138Updated 4 months ago
• scipr-lab / dizk
  Java library for distributed zero knowledge proof systems
  ☆245Updated 3 years ago
• zkcrypto / pairing
  Pairing-friendly elliptic curve library.
  ☆346Updated 2 months ago
• elibensasson / libSTARK
  A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
  ☆536Updated 2 years ago
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆322Updated last year
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
  ☆188Updated 2 years ago
• w3f / schnorrkel
  Schnorr VRFs and signatures on the Ristretto group
  ☆329Updated 10 months ago
• poanetwork / vdf
  An implementation of Verifiable Delay Functions in Rust
  ☆181Updated 4 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆126Updated 3 years ago
• pirapira / bamboo
  Bamboo see https://github.com/cornellblockchain/bamboo
  ☆325Updated 3 years ago
• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆157Updated 4 years ago
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆782Updated last month
• iden3 / wasmsnark
  A fast zkSnark proof generator written in native Web Assembly.
  ☆219Updated 3 weeks ago
• pirapira / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Updated 3 years ago
• bbuenz / BulletProofLib
  Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
  ☆180Updated 3 years ago
• zcash / mpc
  zk-SNARK parameter multi-party computation protocol
  ☆174Updated 5 years ago
• Zilliqa / scilla
  Scilla - A Smart Contract Intermediate Level Language
  ☆250Updated last month