Tezos_raw_protocol_alpha.Sapling_validator
val check_and_update_nullifiers :
Raw_context.t ->
Sapling_storage.state ->
Tezos_protocol_environment_alpha.Sapling.UTXO.input list ->
(Raw_context.t * Sapling_storage.state option,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.t
val verify_update :
Raw_context.t ->
Sapling_storage.state ->
Sapling_repr.transaction ->
string ->
(Raw_context.t
* (Tezos_protocol_environment_alpha.Int64.t * Sapling_storage.state) option)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.t