Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
☆33Oct 27, 2026Updated last week
Alternatives and similar repositories for btc-verified
Users that are interested in btc-verified are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31May 20, 2025Updated last year
- Rust bindings for the bitcoin kernel library☆67Oct 6, 2026Updated last month
- Bitcoin full node in Rust: map-free relational archive, pure-Rust consensus, multi-peer IBD, Electrum for wallet backends☆93Updated this week
- unofficially supported zebedee api rust sdk☆10Feb 19, 2025Updated last year
- The SHRINCS specification staging area. (WARNING: WIP)☆23Oct 30, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆46Sep 20, 2024Updated 2 years ago
- Unlimited power for your apps☆44Oct 22, 2026Updated 2 weeks ago
- Liquid network functionary code☆17Jun 11, 2024Updated 2 years ago
- Minimal Bitcoin wallet intended for teaching rust-bitcoin☆11May 30, 2023Updated 3 years ago
- BIP32 to Taproot zk proof demo on risc0☆14Apr 29, 2026Updated 6 months ago
- Prove your Bitcoin OG status in zero-knowledge☆17May 17, 2026Updated 5 months ago
- Emulate Bitcoin script by converting script-path spends to key-path spends☆13Oct 14, 2025Updated last year
- A rust implementation of BIP352: Silent Payments.☆40Feb 26, 2026Updated 8 months ago
- ☆31Mar 31, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Great Restored Script Interpreter☆12Dec 13, 2024Updated last year
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 7 months ago
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated 7 months ago
- Bitcoin Governance Research☆15Oct 31, 2026Updated last week
- ☆16Updated this week
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated last year
- Differential Fuzzing of Bitcoin protocol implementations and libraries☆94Updated this week
- Scripts, test vectors, and other things used by or across multiple repositories in the rust-bitcoin ecosystem.☆14Updated this week
- Independent bitcoin full node in Rust☆59Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Orb is a cross-platform (Mac / Windows / OSX / IOS / Android) application for managing an LND / CLN Lightning node. It features bulk paym…☆22Jul 31, 2023Updated 3 years ago
- A mutation testing tool for Bitcoin Core, written in Rust☆16Oct 23, 2026Updated 2 weeks ago
- A Bullish Shell for a Basic Bitcoin Lisp Language☆17Aug 3, 2026Updated 3 months ago
- The revolution will be merkleized☆11Mar 20, 2026Updated 7 months ago
- A Bip352 silent payment wallet which runs as daemon. Written in GO.☆18Aug 14, 2025Updated last year
- Bitcoin addresses where coin withdrawals cause nodes to execute two generations of an elementary cellular automata that is also a univers…☆24May 31, 2022Updated 4 years ago
- ☆18Oct 8, 2025Updated last year
- ☆36Jul 20, 2026Updated 3 months ago
- This small book offers a deep-dive introduction on cryptography.☆17Oct 16, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Sep 24, 2025Updated last year
- encoding data on bitcoin using valid compressed pubkeys☆12Nov 22, 2025Updated 11 months ago
- Read BIPs like a pro.☆34Updated this week
- ☆121Jan 30, 2026Updated 9 months ago
- SwiftSync node and underlying crates☆13Oct 12, 2026Updated 3 weeks ago
- Encode and decode Bitcoin wallet descriptors with a 30-40% size reduction☆12Jul 12, 2025Updated last year
- Supercharged batching to save you fees and preserve your privacy☆166Updated this week
Are these results useful?