maitrebitcoin / bitcoin-bitvm-compiler
Generate a logical circuit for BitVM Bitcoin from a C like source code
☆13Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for bitcoin-bitvm-compiler
- Learn how FROST works by implementing it!☆12Updated last year
- ☆32Updated 2 months ago
- Generic Signet Dockerfiles☆18Updated 5 months ago
- Examples of covenants in Bitcoin script☆13Updated last month
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆19Updated 3 months ago
- ☆11Updated 4 months ago
- A todo list for making bitvm great☆26Updated last year
- Open/close channel on Lightning Network using Nostr and DLCs☆12Updated this week
- What are the limits of Bitcoin Script?☆41Updated 7 months ago
- ☆15Updated 2 weeks ago
- ☆30Updated 2 months ago
- Utilities for HTLCs☆15Updated last month
- ☆19Updated 3 months ago
- ☆9Updated last year
- Anonymous usage tokens from curve trees☆20Updated last week
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 2 years ago
- ☆11Updated 4 months ago
- Framework for sMATT contracts☆9Updated last week
- Fun with MuSig2 and Ledger devices 🎵☆14Updated 3 weeks ago
- Protocols that use simple covenants to scale Lightning☆19Updated last year
- PathCoin (transfer bitcoin without network interaction) - proof of concept demonstration☆11Updated last year
- Write bitvm programs without learning circuit diagrams☆32Updated 11 months ago
- dlc.wiki - discreete log contracts directory☆24Updated this week
- BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol☆23Updated last week
- proof of concept of the covenant-less Ark implementation written in Rust☆21Updated 3 months ago
- ☆20Updated 7 months ago
- ☆21Updated last year
- ☆13Updated 8 months ago
- A compatibility guide for Bitcoin wallets☆11Updated last year
- bitcoin-dev and lightning-dev mailing list summaries☆20Updated this week