summa-tx / bitcoin-spvView external linksLinks
utilities for Bitcoin SPV proof verification on (many!) other chains
☆172Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for bitcoin-spv
Users that are interested in bitcoin-spv are comparing it to the libraries listed below
Sorting:
- Cross-chain relays :)☆55Dec 12, 2022Updated 3 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Dec 8, 2022Updated 3 years ago
- BTCRelay re-implementation in Solidity☆26Oct 2, 2019Updated 6 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Bitcoin Light Client on Ethereum☆42Jun 21, 2024Updated last year
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Jan 24, 2023Updated 3 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆22Mar 25, 2024Updated last year
- rapid prototyping transaction toolbox for Bitcoin-style chains 🎈 🎈☆115Nov 15, 2021Updated 4 years ago
- Memory access with runtime typechecking in Solidity☆76Apr 19, 2023Updated 2 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Dec 21, 2018Updated 7 years ago
- Trustlessly tokenized Bitcoin on Ethereum ;)☆211Mar 28, 2023Updated 2 years ago
- ☆23Aug 1, 2021Updated 4 years ago
- Cosmos SDK (Tendermint consensus) side-chain implementation for plasma☆111Mar 7, 2023Updated 2 years ago
- An implementation of ZEXE on Ethereum☆37Apr 11, 2019Updated 6 years ago
- Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)☆72May 9, 2021Updated 4 years ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Rust implementations of BIP32/39 and Ledger device comms☆100Jul 29, 2025Updated 6 months ago
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- The smart contracts and client behind the Keep ECDSA client☆59May 22, 2023Updated 2 years ago
- bitcoin lightning to ethereum trustless swap☆17Jan 29, 2020Updated 6 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37May 16, 2023Updated 2 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Mar 14, 2018Updated 7 years ago
- An Introduction to CBC Casper Consensus Protocols☆138Feb 26, 2019Updated 6 years ago
- A flashloan module for Gnosis Safe.☆45Sep 15, 2021Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆26Feb 3, 2024Updated 2 years ago
- Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4☆632Jul 3, 2023Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20May 30, 2023Updated 2 years ago
- Smart contract to forward 'loose change' to Tornado.cash☆20Feb 3, 2022Updated 4 years ago
- Fast additive accumulators☆14Nov 16, 2020Updated 5 years ago
- Sonic implementation in Rust☆18Jun 4, 2019Updated 6 years ago
- CKB local development network for your first try.☆14Feb 4, 2026Updated last week
- Trust-minimized tokenized Bitcoin everywhere, version 2☆81Jan 29, 2026Updated 2 weeks ago
- Syntax highlighting for Solidity in Vim☆51Jan 14, 2026Updated last month
- Home for all packages related to the Counterfactual project☆185Dec 12, 2019Updated 6 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- A toolbox for zkSNARKs on Ethereum☆1,880Aug 1, 2024Updated last year
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52May 22, 2019Updated 6 years ago