☆31Mar 31, 2025Updated last year
Alternatives and similar repositories for elftrace
Users that are interested in elftrace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Sep 8, 2024Updated 2 years ago
- ☆50Mar 28, 2025Updated last year
- Gadgets for covenants: Schnorr trick and txid reflection☆17May 4, 2025Updated last year
- B'SST: Bitcoin-like Script Symbolic Tracer☆35Sep 9, 2024Updated 2 years ago
- ☆46Sep 20, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.☆92Oct 16, 2026Updated 2 weeks ago
- A Bullish Shell for a Basic Bitcoin Lisp Language☆17Aug 3, 2026Updated 2 months ago
- What are the limits of Bitcoin Script?☆50Jan 14, 2026Updated 9 months ago
- dlc.wiki - discreete log contracts directory☆26Oct 16, 2026Updated 2 weeks ago
- Prove your Bitcoin OG status in zero-knowledge☆17May 17, 2026Updated 5 months ago
- ☆31May 20, 2025Updated last year
- ⚠️ The interface is not finalized 🚧 and currently specific to our needs with Liana☆39Oct 22, 2026Updated last week
- Bitcoin Script interpreter implemented in Rust☆54Dec 11, 2025Updated 10 months ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆69Jul 30, 2026Updated 3 months ago
- Ticketed Discreet Log Contracts (DLCs) to enable instant buy-in for wager-like contracts on Bitcoin.☆19Oct 26, 2026Updated last week
- A magical neovim plugin for Bitcoin Script 🪄☆26Dec 1, 2024Updated last year
- encrypted messages over the Bitcoin P2P Protocol☆32Updated this week
- Differential Fuzzing of Bitcoin protocol implementations and libraries☆93Updated this week
- Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.☆29Updated this week
- ☆17Aug 19, 2024Updated 2 years ago
- A pure-rust secp256k1 library optimised for fun☆113Oct 19, 2026Updated 2 weeks ago
- Simple utility to read ENRs☆11Mar 17, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The revolution will be merkleized☆11Mar 20, 2026Updated 7 months ago
- Liquid network functionary code☆17Jun 11, 2024Updated 2 years ago
- Rust bindings for the bitcoin kernel library☆68Oct 6, 2026Updated 3 weeks ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated last year
- A comprehensive rust-based tooling for Simplicity program construction and analysis.☆84Updated this week
- A simple and easy-to-use musig2 library, written in typescript.☆18Aug 15, 2024Updated 2 years ago
- Explore the world of DNS TXT records for payments, identities and beyond.☆11Sep 11, 2024Updated 2 years ago
- Inline Bitcoin scripts in Rust☆89Mar 9, 2023Updated 3 years ago
- ☆28Feb 21, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆41Oct 26, 2026Updated last week
- The Bitcoin Dev Kit for Browsers and Node☆13Updated this week
- Rust-like high-level language that compiles down to Simplicity bytecode.☆85Oct 26, 2026Updated last week
- Flexible Rust implementation of the MuSig2 multisignature protocol, compatible with Bitcoin.☆47May 28, 2026Updated 5 months ago
- Write bitvm programs without learning circuit diagrams☆30Dec 19, 2023Updated 2 years ago
- BIPs for utreexo☆34Jul 16, 2026Updated 3 months ago
- Great Restored Script Interpreter☆12Dec 13, 2024Updated last year