Alternatives and similar repositories for snarkette:

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

• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆52Updated 8 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 3 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• interstellar / spacesuit
  Efficient multi-asset confidential transactions
  ☆34Updated 6 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆75Updated 5 years ago
• ebfull / halo
  ☆115Updated 3 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆36Updated 7 years ago
• ebfull / sonic
  ☆78Updated 5 years ago
• ebfull / powersoftau
  Communal zk-SNARK MPC for Public Parameters
  ☆144Updated 3 years ago
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆84Updated 2 months ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 8 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• metastatedev / smarter-contracts
  Application-layer smart contracts & tooling.
  ☆10Updated 5 years ago
• barryWhiteHat / baby_jubjub_ecc
  altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments
  ☆65Updated 5 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• cosmos / research
  ☆22Updated 4 years ago
• daira / r1cs
  Presentations about R1CS
  ☆18Updated 6 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆46Updated 3 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• kilic / evmbls
  ☆20Updated 4 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• Project-Arda / bgls
  Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381
  ☆62Updated 3 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago