omelkonian/formal-utxo

Bisimulation: Transfer properties

Closed this issue · 1 comments

omelkonian commented

Ideally, we would like to prove things about a state machine, and then transferring this property
to the corresponding EUTXO ledger.

omelkonian commented

Done