Questions tagged [bitml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
127 views

Can BitML encode Lightning?

I have been reading the BitML paper. The language compiles to another language (Balzac [which in turn compiles to Bitcoin Script]), which can do relative and absolute timelocks. Balzac can also do ...