Alternatives and similar repositories for Bitcoin

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

• blyssprivacy / clients
  ☆23Updated 2 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆36Updated 4 years ago
• GuildOfWeavers / galois
  Arithmetic and polynomial operations in finite fields.
  ☆39Updated 2 years ago
• Magicking / solidity-evm
  Solidity EVM is a restricted Ethereum Virtual Machine interpreter
  ☆13Updated 6 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 3 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated last year
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• axic / yevm
  "Why EVM?" is an EVM compiler infrastructure.
  ☆11Updated 6 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• runtimeverification / beacon-chain-verification
  ☆18Updated 2 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• ZcashFoundation / ristretto255-dh
  Diffie-Hellman key exchange using the Ristretto255 group, in Rust.
  ☆21Updated 2 years ago
• pandoraboxchain / pyrrha-consensus
  Core set of Ethereum contracts for Pandora Boxchain functioning
  ☆26Updated 5 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆37Updated 2 years ago
• Zondax / zemu
  Ledger Nano Emulation/testing framework
  ☆39Updated last week
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• sigp / presentations
  Collection of presentations given by Sigma Prime
  ☆19Updated 3 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 5 years ago
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆54Updated 9 months ago
• Consensys / web3studio-soy
  Static Websites on the Distributed Web
  ☆33Updated 2 years ago
• ZcashFoundation / powersoftau-attestations
  ☆25Updated 2 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆12Updated 4 years ago
• gnosis / dex-open-solver
  Open source solver to the batch auction problem.
  ☆13Updated 4 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• dedis / doc
  Public working documents (e.g., Internet drafts)
  ☆23Updated 7 years ago