bithoven

Bithoven 🎼 Formal Safety for Expressive Bitcoin Smart Contracts Bithoven is a high-level, imperative language for Bitcoin smart contracts. It compiles to native Bitcoin Script for legacy P2SH, segwit P2WSH and taproot P2TR outputs. You write readable contracts with if/else, named and typed witnes...