hyunhum

3 ms·

1.
by hyunhum 10mo ago
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!
2.
by hyunhum 10mo ago
I've researched the previous works surely, and actually contributed miniscript(the most notable one in industry AFAIK) quite a lot( https://github.com/rust-bitcoin/rust-miniscript ). Contributions to the previous wo
3.
by hyunhum 10mo ago
Yes, simulator definitely would! Actually I'm planning to add input constructor or simulator to generate safe symbolic/static inputs for users, and simulate with symbolic script engine to validate even stricter. As it might requir
4.
by hyunhum 10mo ago
Bitcoin Script is non-turing-complete in nature(so no gas issue!), so does Bithoven. Bithoven doesn't extend Bitcoin Script Opcodes(which requires consensus upgrade on the protocol), but inherit and abstract for the expressiveness. Mor
5.
by hyunhum 11mo ago
Docs: https://bithoven-lang.github.io/bithoven/docs/
6.
Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract(github.com)
27 points by hyunhum 11mo ago|8 comments
7.
Show HN: Release v1.0.0 of Hippo Protocol(hippoprotocol.ai)
1 points by hyunhum 1y ago|0 comments
8.
Show HN: Hippo Protocol - Empower Healthcare Data Sovereignty Through Blockchain(github.com)
3 points by hyunhum 2y ago|0 comments
9.
Show HN: Release v1.0.0 of Bitcoin-SDK-JS(github.com)
3 points by hyunhum 2y ago|0 comments
10.
Show HN: Bitcoin Smart Contract SDK, So Easy to Use(github.com)
8 points by hyunhum 2y ago|0 comments