Alternatives and similar repositories for snarkette:

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

• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• interstellar / spacesuit
  Efficient multi-asset confidential transactions
  ☆34Updated 5 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 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
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• cosmos / research
  ☆21Updated 4 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆26Updated 5 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• Project-Arda / bgls
  Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381
  ☆60Updated 2 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆50Updated 8 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• paritytech / oo7-bare
  The Bond API.
  ☆27Updated 6 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆51Updated 4 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• ebfull / halo
  ☆115Updated 3 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 6 years ago
• ZKProofs / ZKProofs.github.io
  ZKProofs website
  ☆89Updated last year
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆83Updated this week
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆53Updated 7 months ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• maht0rz / pinata-sdk
  Unofficial SDK for Pinata IPFS pinning service
  ☆26Updated 6 years ago
• barryWhiteHat / baby_jubjub_ecc
  altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments
  ☆65Updated 5 years ago