Version: 0.28.0

Timestamps, Addresses

Timestamps#

LIGO features timestamps, as Michelson does, while bakers baking the block (including the transaction in a block) are responsible for providing the given current timestamp for the contract.

Starting time of the current block#

You can obtain the starting time of the current block using the built-in Tezos.now. This timestamp does not change during the execution of the contract. Please be aware that it is up to the baker to set the current timestamp value.

let today: timestamp = Tezos.now;

When running code, the LIGO CLI option --now allows you to control what Tezos.now returns.

Timestamp Arithmetics#

In LIGO, timestamps can be added to integers, allowing you to set time constraints on your smart contracts. Consider the following scenarios.

In 24 hours#

let today: timestamp = Tezos.now;
let one_day: int = 86_400;
let in_24_hrs: timestamp = today + one_day;
let some_date: timestamp = "2000-01-01t10:10:10Z" as timestamp;
let one_day_later: timestamp = some_date + one_day;

24 hours Ago#

let today: timestamp = Tezos.now;
let one_day: int = 86400;
let in_24_hrs: timestamp = today - one_day;

Comparing Timestamps#

You can compare timestamps using the same comparison operators applying to numbers.

let not_tomorrow: bool = (Tezos.now == in_24_hrs);

Addresses#

The address type in LIGO denotes Tezos addresses (tz1, tz2, tz3, KT1, ...). Currently, addresses are created by casting a string to the address type. Beware of failures if the address is invalid. Consider the following examples.

let my_account: address =
"tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" as address;

Signatures#

The signature type in LIGO datatype is used for Tezos signatures (edsig, spsig). Signatures are created by casting a string. Beware of failure if the signature is invalid.

Here is how you can define a signature:

let my_sig: signature =
"edsigthTzJ8X7MPmNeEwybRAvdxS1pupqcM5Mk4uCuyZAe7uEk68YpuGDeViW8wSXMrCi5CwoNgqs8V2w8ayB5dMJzrYCHhD8C7" as
signature;

Keys#

The key type in LIGO is used for Tezos public keys. Do not confuse them with map keys. Keys are made by casting strings. Beware of failure if the key is invalid.

Here is how you can define a key.

let my_key : key =
"edpkuBknW28nW72KG6RoHtYW7p12T6GKc7nAbwYX5m8Wd9sDVC9yav" as key;