clarity-bitcoin
Transaction Verifier
A Clarity library that verifies Bitcoin transactions and Merkle proofs.
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
18 stars
4 watching
9 forks
Language: Clarity
last commit: 12 months ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| friedger/clarity-stacking-pools | Smart contract wrappers for managing stacking rights and rewards distribution on the Stacks blockchain. | 2 |
| friedger/clarity-marketplace | A smart contract platform for facilitating the trading of digital assets with defined prices and ownership. | 16 |
| friedger/clarity-dao | A smart contract implementation of a decentralized grant-making internet community with voting and token management capabilities | 23 |
 ethers/bitcoin-proof | A Merkle proof library for Bitcoin transactions | 32 |
 bitpay/bitcore-message | A package that allows developers to verify and sign bitcoin messages in Node.js and web browsers. | 88 |
 ethereum/btcrelay | An Ethereum contract that enables the verification and relaying of Bitcoin transactions to other smart contracts. | 614 |
| ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
 paulmillr/scure-btc-signer | An audited library for creating, signing and decoding Bitcoin transactions. | 166 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 beam-community/stripity-stripe | A library that provides a simple and reliable interface to the Stripe payment processing API | 993 |
 tsileo/txwatcher | A tool to monitor Bitcoin transactions and perform custom actions based on received data | 49 |
 frederikvigen/concert | A framework for verifying smart contracts in Coq to ensure their correctness and security | 0 |
 sec-bit/tokenlibs-with-proofs | Verifies the correctness of Ethereum token contracts using formal methods and proof assistants. | 97 |
 verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |