Encodings in 馃 Sc_rollup_repr.v
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/sc_rollup_repr :
-
Commitment.encoding
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/sc_rollup_repr :
Commitment.encoding