sapling
let empty_state: <sap_t>sapling_state<sap_t>
The evaluation of the constant `empty_state` is an empty sapling state, that is, no one can spend tokens from it.let verify_update: <sap_a>(_: sapling_transaction<sap_a>) => (_: sapling_state<sap_a>) => option<[bytes, [int, sapling_state<sap_a>]]>
The call verify_update(trans, state)
, where the
transaction trans
can be applied to the state state
, returns
Some ([data, [delta, new_state]])
, where data
is the bound data
(as bytes), delta
is the difference between the outputs and the
inputs of the transaction, and new_state
is the updated
state.