FRESH

Hacker News

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract

25 points by hyunhum

by OsrsNeedsf2P

1 subcomments

Looks pretty neat. As someone who hasn't followed Bitcoin for the last 5 years, what are some things people have built with smart contracts? Also, are Bitcoin smart contracts Turing Complete and suffer the same gas issue as ETH where you don't know how much gas you need?

by vessenes

1 subcomments

I love this! Thanks for making it.
Quick suggestion - adding simulators for checking all spend paths would add comfort. A lot of comfort. I understand you're doing static analysis on construction, which is great; more safety would be awesome too.
If I missed that you have these, then, I doubly love this! :)

by hyunhum

0 subcomment

I omitted one detail in the original post: Bithoven uses an LALR parser generator (Lalrpop) to strictly define the formal grammar and avoid ambiguities when parsing to the AST!

by hyunhum

0 subcomment

Docs: https://bithoven-lang.github.io/bithoven/docs/

by wslh

1 subcomments

I don't think it makes any sense except for fun, Bitcoin scripts are pretty limited and there are a lot of previous work [1][2][3][4][5].
[1] https://bitcoin.sipa.be/miniscript/
[2] https://min.sc/
[3] https://docs.scrypt.io/
[4] https://github.com/sapio-lang/sapio
[5] https://github.com/ivy-lang/ivy-bitcoin