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 6 months ago
- ☆20Updated 6 months ago
- dlc.wiki - discreete log contracts directory☆24Updated 7 months ago
- Learn how FROST works by implementing it!☆11Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Updated last year
- A todo list for making bitvm great☆23Updated last year
- Generic Signet Dockerfiles☆21Updated last month
- Write bitvm programs without learning circuit diagrams☆30Updated last year
- What are the limits of Bitcoin Script?☆47Updated 2 months ago
- BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol☆23Updated 2 months ago
- Unsafe 3-round MuSig in Python for experimentation☆11Updated 2 years ago
- ☆10Updated last year
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 2 years ago
- ☆22Updated 7 months ago
- ☆11Updated last year
- Naive implementation of ROAST protocol for robust threshold signatures☆33Updated last year
- Onchain security and performance analysis of Bitcoin's second-layer protocols☆41Updated 3 years ago
- Fun with MuSig2 and Ledger devices 🎵☆11Updated 3 months ago
- ☆41Updated last year
- Examples of covenants in Bitcoin script☆15Updated last year
- ☆28Updated 4 months ago
- ☆11Updated last year
- A BIP draft for BIP340-compatible FROST threshold signing protocol☆20Updated 3 months ago
- Anonymous usage tokens from curve trees☆23Updated 6 months ago
- Learn how to develop bitvm apps by building tic tac toe☆15Updated 8 months ago
- Protocols that use simple covenants to scale Lightning☆19Updated last year
- A tool for increasing the off-by-one bug in ordinal explorers☆65Updated 2 years ago
- A community R&D process about covenants, transaction introspections and new class of Bitcoin contracting applications☆37Updated 2 years ago
- Contractum: RGB contract definition language☆29Updated 2 years ago
- Utilities for HTLCs☆15Updated 9 months ago