Alternatives and similar repositories for Bitcoin

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

• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• blyssprivacy / clients
  ☆23Updated 3 years ago
• GuildOfWeavers / galois
  Arithmetic and polynomial operations in finite fields.
  ☆42Updated 2 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 3 years ago
• decrypto-org / TrustIsRisk
  Decentralized monetary trust network
  ☆32Updated 8 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 7 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• libp2p / research-dht
  Moved discussion notes to https://github.com/libp2p/notes
  ☆21Updated 5 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆33Updated 5 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• sdaveas / nipopow-verifier
  Verify your NIPoPoWs efficiently, here
  ☆11Updated 2 years ago
• codex-storage / codex-research
  Codex durability engine research
  ☆36Updated last month
• Crypt0-Bear / xmr-eth-swap-playground
  Cross-chain atomic swap protocol between Monero and Ethereum
  ☆14Updated 4 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• kilic / evmbls
  ☆21Updated 5 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 3 years ago
• crate-crypto / MLSAG
  Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific
  ☆25Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last week
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 5 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• tls-n / tlsnutils
  Solidity Library for parsing and verifying TLS-N proofs.
  ☆18Updated 8 years ago
• amiller / instant-poker
  Off-chain poker in Ethereum
  ☆23Updated 8 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 3 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• ZcashFoundation / powersoftau-attestations
  ☆25Updated 2 years ago