package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Sapling_validator/index.html
Module Tezos_raw_protocol_alpha.Sapling_validatorSource
Source
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.tSource
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