Module Tezos_protocol_environment_016_PtMumbai.TimelockSource

type chest = Tezos_crypto.Timelock.chest
val chest_encoding : chest Data_encoding.t
type chest_key = Tezos_crypto.Timelock.chest_key
val chest_key_encoding : chest_key Data_encoding.t
type opening_result = Tezos_crypto.Timelock.opening_result =
  1. | Correct of Bytes.t
  2. | Bogus_cipher
  3. | Bogus_opening
val open_chest : chest -> chest_key -> time:int -> opening_result
val get_plaintext_size : chest -> int