package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Sapling_validator/index.html
Module Tezos_raw_protocol_013_PtJakart.Sapling_validatorSource
Source
val check_and_update_nullifiers :
Raw_context.t ->
Sapling_storage.state ->
Tezos_protocol_environment_013_PtJakart.Sapling.UTXO.input list ->
(Raw_context.t * Sapling_storage.state option,
Tezos_protocol_environment_013_PtJakart.Error_monad.error
Tezos_protocol_environment_013_PtJakart.Error_monad.trace)
Tezos_protocol_environment_013_PtJakart.Pervasives.result
Tezos_protocol_environment_013_PtJakart.Lwt.tSource
val verify_update :
Raw_context.t ->
Sapling_storage.state ->
Sapling_repr.transaction ->
string ->
(Raw_context.t
* (Tezos_protocol_environment_013_PtJakart.Int64.t * Sapling_storage.state)
option)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.t