supertestnet / 8bit-cpu-for-bitvm
Write bitvm programs without learning circuit diagrams
☆32Updated last year
Alternatives and similar repositories for 8bit-cpu-for-bitvm:
Users that are interested in 8bit-cpu-for-bitvm are comparing it to the libraries listed below
- ☆32Updated 5 months ago
- ☆37Updated 6 months ago
- A todo list for making bitvm great☆26Updated last year
- What are the limits of Bitcoin Script?☆46Updated 11 months ago
- ☆28Updated last year
- proof of concept of the covenant-less Ark implementation written in Rust☆21Updated 7 months ago
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Updated 7 months ago
- Protocols that use simple covenants to scale Lightning☆20Updated last year
- Learn how FROST works by implementing it!☆12Updated last year
- Framework for sMATT contracts☆11Updated last month
- ☆20Updated last month
- ☆38Updated this week
- Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.☆29Updated 3 weeks ago
- ☆50Updated 4 months ago
- ☆19Updated 3 weeks ago
- Utreexo in rust☆49Updated last month
- Onchain security and performance analysis of Bitcoin's second-layer protocols☆43Updated 3 years ago
- ☆55Updated this week
- 🥕 Create a multisig with taproot and spend from it using BDK 🥕☆30Updated last year
- A workshop to learn how to write programs in bitcoin script☆20Updated last year
- ☆22Updated 2 years ago
- A Cashu wallet and mint written in Rust☆78Updated 3 months ago
- Parse Bitcoin objects without allocations☆16Updated 2 months ago
- ☆26Updated last month
- Fedimint module for signing Nostr events using ROAST☆18Updated last week
- Search the depths of bitcoin’s technical ecosystem☆19Updated 2 months ago
- ☆18Updated 6 months ago
- Ticketed Discreet Log Contracts (DLCs) to enable instant buy-in for wager-like contracts on Bitcoin.☆18Updated last month
- oracle implementation for numeric discreet log contracts☆11Updated 3 months ago
- A STARK proof of Bitcoin's header chain☆43Updated 10 months ago