Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
Home Page:https://omelkonian.github.io/formal-utxo
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool