Alternatives and similar repositories for snarkette

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

• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• ebfull / halo
  ☆116Updated 3 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• amiller / lambda-auth
  authenticated data structures, generically
  ☆52Updated 8 years ago
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆84Updated last month
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 4 years ago
• interstellar / spacesuit
  Efficient multi-asset confidential transactions
  ☆34Updated 6 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• ZKProofs / ZKProofs.github.io
  ZKProofs website
  ☆90Updated last year
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆36Updated 4 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• maht0rz / pinata-sdk
  Unofficial SDK for Pinata IPFS pinning service
  ☆27Updated 6 years ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆82Updated 2 years ago
• ebfull / powersoftau
  Communal zk-SNARK MPC for Public Parameters
  ☆145Updated 4 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆37Updated 2 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• runtimeverification / casper-proofs
  Coq definitions and lemmas for verification of Casper
  ☆18Updated 5 years ago
• cosmos / research
  ☆22Updated 5 years ago
• vbmithr / ocaml-ledger-wallet
  ☆14Updated 10 months ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 8 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago