search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

What is this address in use before setting lqt address? https://github.com/runtimeverification/michelson-semantics/blob/master/tests/proofs/dexter/dexter-spec.md#set-lqt-address #228

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Answer from Tom Jack:

if you base58-decode it, it is 20 zero bytes

so it's just a "null" key hash / address

very slightly more efficient than using option address there (which we should've done instead)