timelock

create: (_: bytes, _: nat) => [chest, chest_key]

create_key: (_: chest, _: nat) => chest_key

verify: (_: chest, _: chest_key, _: nat) => bool

The call verify(chest, chest_key, n) verifies a matching between chest and chest_key (taking into account n).