Sapling: add memo-size to types
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