package tezos-protocol-017-PtNairob
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-017-PtNairob.environment/Tezos_protocol_environment_017_PtNairob/Timelock/index.html
Module Tezos_protocol_environment_017_PtNairob.TimelockSource
val chest_encoding : chest Data_encoding.tval chest_key_encoding : chest_key Data_encoding.ttype opening_result = Tezos_crypto.Timelock.opening_result = | Correct of Bytes.t| Bogus_cipher| Bogus_opening
val open_chest : chest -> chest_key -> time:int -> opening_resultval get_plaintext_size : chest -> int