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