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_storage/Roots/index.html
Module Sapling_storage.Roots
Source
Bounded queue of roots. The full size is initialized with the default uncommitted root, that's why roots storage doesn't need to be carbonated. A maximum of one new root is added per protocol level. If multiple transactions for the same shielded pool are processed during the same contract call or several calls in the same block, only the last root will be stored. This property prevents transactions in the same block from depending on each other and guarantees that a transaction will be valid for a least two hours (hence the 120 size) after being forged.
Source
val get :
Raw_context.t ->
Lazy_storage_kind.Sapling_state.Id.t ->
(Storage.Sapling.Roots.value,
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.t
Source
val init :
Raw_context.t ->
Lazy_storage_kind.Sapling_state.Id.t ->
(Raw_context.t,
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.t
Source
val mem :
Raw_context.t ->
Lazy_storage_kind.Sapling_state.Id.t ->
Tezos_protocol_environment_013_PtJakart.Sapling.Hash.t ->
(bool,
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.t
Source
val add :
Raw_context.t ->
Lazy_storage_kind.Sapling_state.Id.t ->
Storage.Sapling.Roots.value ->
(Raw_context.t,
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.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>