Gadgets for covenants: Schnorr trick and txid reflection
☆16May 4, 2025Updated 10 months ago
Alternatives and similar repositories for covenants-gadgets
Users that are interested in covenants-gadgets are comparing it to the libraries listed below
Sorting:
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- Helper lib to write complex bitcoin scripts☆21Dec 2, 2025Updated 3 months ago
- Examples of covenants in Bitcoin script☆15Oct 2, 2024Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Dec 3, 2025Updated 3 months ago
- B'SST: Bitcoin-like Script Symbolic Tracer☆35Sep 9, 2024Updated last year
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Dec 4, 2024Updated last year
- Coins: Research on Bitcoin Scalability and Usability☆12Jul 21, 2023Updated 2 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆18Apr 19, 2016Updated 9 years ago
- BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol☆24Jul 19, 2025Updated 7 months ago
- ☆28Jan 12, 2026Updated last month
- Standard RGB schemata and schema compiler☆28Jun 2, 2025Updated 9 months ago
- Windowed big integer multiplication implementation on Bitcoin Script☆14Nov 27, 2024Updated last year
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 5 months ago
- Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.☆14Sep 18, 2024Updated last year
- ☆31Mar 31, 2025Updated 11 months ago
- Bitcoin ZK client written in Cairo.☆113Dec 1, 2025Updated 3 months ago
- vscode port of bitcoin-script-hints.nvim by t4t5☆13Dec 19, 2024Updated last year
- ☆18Sep 3, 2025Updated 6 months ago
- Modern & lightweight implementation of bitcoin standards without rust-bitcoin/miniscript dependencies☆18Jul 20, 2025Updated 7 months ago
- Scionic Merkle Trees contain small branches like Classic Merkle Trees, the folder storage support of Merkle DAGs, and numbered Merkle lea…☆17Jan 6, 2026Updated 2 months ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- Modern, lightweight & standard-compliant bitcoin wallet runtime & cli without rust-bitcoin dependencies☆17Jul 9, 2025Updated 8 months ago
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Sep 8, 2024Updated last year
- ☆44Sep 20, 2024Updated last year
- ☆17Feb 3, 2024Updated 2 years ago
- Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.☆72Feb 28, 2026Updated last week
- Experimental draft implementation of BitVM☆45Jul 28, 2025Updated 7 months ago
- Utility to launch a regtest bitcoind process in a rust test☆43Nov 27, 2024Updated last year
- LRC-20: Scalable and Fast Tokenization on Lightning☆17May 9, 2024Updated last year
- Learn how to develop bitvm apps by building tic tac toe☆16Jan 25, 2025Updated last year
- A Trust-minimized Bitcoin Bridge☆501Jan 26, 2026Updated last month
- What are the limits of Bitcoin Script?☆47Jan 14, 2026Updated last month
- ☆25Feb 21, 2025Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Jun 25, 2024Updated last year
- ☆25Jan 11, 2024Updated 2 years ago
- ☆20Nov 4, 2025Updated 4 months ago
- Protocols that use simple covenants to scale Lightning☆19Nov 20, 2023Updated 2 years ago
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 2 years ago
- ☆26Oct 9, 2025Updated 5 months ago