← Latest products

Bithoven

A high-level, imperative language for Bitcoin Smart Contract. Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436. I’m a researcher working on Bitcoin smart contracts, and today I’m releasing Bithoven—a high-level imperative language that compiles to native Bitcoin Script (Legacy, SegWit, and Taproot).

Open source

43 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Bitcoin Smart Contract SDK

    github.com

    So Easy to Use

    Hacker News8 pts

  2. CyScout

    github.com

    Solidity Vulnerability Detection Powered by GitHub CodeQL

    Hacker News13 pts

  3. Translate Smart Contracts to English

    cognitrust.io

    Hacker News28 pts

  4. Open-source code for a private

    github.com

    infinitely scalable, PQ-secure L1 layer

    Hacker News7 pts

  5. I just released Awning. A fully dockerized Bitcoin+LND (+BTCPay) node

    github.com

    A portable, Docker-only Bitcoin + Lightning node. Lighter than Umbrel, easier than RaspiBolt.

    Hacker News5 pts