maitrebitcoin / bitcoin-bitvm-compilerLinks
Generate a logical circuit for BitVM Bitcoin from a C like source code
☆13Updated last year
Alternatives and similar repositories for bitcoin-bitvm-compiler
Users that are interested in bitcoin-bitvm-compiler are comparing it to the libraries listed below
Sorting:
- ☆30Updated 7 months ago
- ☆20Updated 7 months ago
- What are the limits of Bitcoin Script?☆47Updated 3 months ago
- A todo list for making bitvm great☆23Updated 2 years ago
- Learn how FROST works by implementing it!☆11Updated last year
- Generic Signet Dockerfiles☆21Updated 2 months ago
- dlc.wiki - discreete log contracts directory☆24Updated 8 months ago
- ☆11Updated last year
- BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol☆23Updated 3 months ago
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 2 years ago
- Write bitvm programs without learning circuit diagrams☆30Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Updated last year
- ☆29Updated 5 months ago
- Open/close channel on Lightning Network using Nostr and DLCs☆11Updated this week
- Unsafe 3-round MuSig in Python for experimentation☆11Updated 2 years ago
- Anonymous usage tokens from curve trees☆23Updated 7 months ago
- Onchain security and performance analysis of Bitcoin's second-layer protocols☆41Updated 3 years ago
- ☆11Updated last year
- Utilities for HTLCs☆15Updated 10 months ago
- bitcoin-dev and lightning-dev mailing list summaries☆32Updated this week
- ☆22Updated 8 months ago
- Protocols that use simple covenants to scale Lightning☆19Updated last year
- Naive implementation of ROAST protocol for robust threshold signatures☆33Updated last year
- Contractum: RGB contract definition language☆29Updated 2 years ago
- Complete LNP/BP protocol daemons suite☆17Updated 2 years ago
- A community R&D process about covenants, transaction introspections and new class of Bitcoin contracting applications☆37Updated 2 years ago
- ☆47Updated last year
- ☆41Updated last year
- Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.☆56Updated last week
- utxos.org site☆25Updated 11 months ago