Encodings in 馃崿 Script_typed_ir.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/script_typed_ir :
-
Script_chain_id.encoding
-
Script_timelock.chest_key_encoding
-
Script_timelock.chest_encoding
Edited by Natasha Klaus