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
  ☆422Updated 4 years ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆474Updated 2 years ago
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆246Updated 2 years ago
• matter-labs / zinc
  The Zinc language public repository
  ☆309Updated last year
• ebfull / halo
  ☆118Updated 4 years 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:…
  ☆452Updated 10 months ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆455Updated this week
• zkcrypto / pairing
  Pairing-friendly elliptic curve library.
  ☆351Updated 8 months ago
• cambrian / accumulator
  Cryptographic accumulators in Rust.
  ☆139Updated 9 months ago
• zcash / librustzcash
  Rust-language assets for Zcash
  ☆379Updated last week
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆546Updated last month
• arkworks-rs / snark
  Interfaces for Relations and SNARKs for these relations
  ☆890Updated 3 months ago
• zkcrypto / bellman
  zk-SNARK library.
  ☆1,103Updated last year
• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆156Updated 4 years ago
• 0xProject / OpenZKP
  OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
  ☆659Updated last year
• scipr-lab / dizk
  Java library for distributed zero knowledge proof systems
  ☆248Updated 3 years ago
• coder5876 / libsnark-tutorial
  Tutorial and example code for using libsnark
  ☆190Updated 4 years ago
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆828Updated 2 months ago
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,115Updated last year
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆127Updated 3 years ago
• pirapira / ethereum-formal-verification-overview
  The start page about my efforts around smart contract verification
  ☆295Updated 3 years ago
• bbuenz / BulletProofLib
  Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
  ☆183Updated 3 years ago
• HarryR / ethsnarks
  A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop
  ☆242Updated last year
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• GuildOfWeavers / genSTARK
  A library for generating zk-STARKs.
  ☆146Updated 3 years ago
• ebfull / sonic
  ☆78Updated 6 years ago
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
  ☆192Updated 3 years ago
• poanetwork / hbbft
  An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.
  ☆369Updated last year
• poanetwork / threshold_crypto
  A pairing-based threshold cryptosystem for collaborative decryption and signatures used in HoneybadgerBFT implementation
  ☆201Updated last year
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆551Updated this week