Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract
2 months ago
- #Smart Contracts
- #Programming Language
- #Bitcoin
- Bithoven 是一种类型安全、高层次的比特币智能合约编程语言。
- 它可编译为原生比特币脚本，支持隔离见证（SegWit）和Taproot。
- 特性包括命令式语法、类型安全性和多支出路径支持。
- 内置比特币原语如时间锁、加密算法和验证功能。
- 通过编译指令支持传统脚本、隔离见证和Taproot三种目标输出。
- 为开发者提供网页集成开发环境和完整文档支持。
- 支持命令行、Rust和JS用户，提供对应安装命令。
- 演示了哈希时间锁定合约（HTLC）的条件路径实现案例。
- 自动将高级逻辑编译为优化后的比特币脚本操作码。
- 基于MIT许可证开放源代码贡献。