← 최신 프로덕트

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).

오픈소스

43 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Bitcoin Smart Contract SDK

    github.com

    So Easy to Use

    Hacker News8점

  2. CyScout

    github.com

    Solidity Vulnerability Detection Powered by GitHub CodeQL

    Hacker News13점

  3. Translate Smart Contracts to English

    cognitrust.io

    Hacker News28점

  4. Open-source code for a private

    github.com

    infinitely scalable, PQ-secure L1 layer

    Hacker News7점

  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점