Skip to content

Sapling: add memo-size to types

Mehdi Bouaziz requested to merge mehdi@memo_size into sapling-integration

sapling_state will become sapling_state 8 for a memo-size of 8. Similarly sapling_transaction will become sapling_transaction 8 if it is compatible with a memo-size of 8. These constraints ensures by typing that the memo-size of a transaction is compatible with that of a state, making sure SAPLING_VERIFY_UPDATE can't fail for this reason.

Pros:

  • detect memo-size mismatches earlier
  • simplified Micheline syntax for empty state

Cons:

  • heavier syntax for types
  • fixed memo-size
Edited by Mehdi Bouaziz

Merge request reports