Encodings in 🕶 ️ Blinded_public_key_hash.v
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/blinded_public_key_hash :
-
Index.encoding
(very short task)
Edited by Natasha Klaus