Examples: query, "exact match", wildcard*, wild?ard, wild*rd
Fuzzy search: cake~ (finds cakes, bake)
Term boost: "red velvet"^4, chocolate^2
Field grouping: tags:(+work -"fun-stuff")
Escape special characters +-&|!(){}[]^"~*?:\ - e.g. \+ \* \!
Range search: properties.timestamp:[1587729413488 TO *] (inclusive), properties.title:{A TO Z}(excluding A and Z)
Combinations: chocolate AND vanilla, chocolate OR vanilla, (chocolate OR vanilla) NOT "vanilla pudding"
Field search: properties.title:"The Title" AND text
How is logical time generated?

TON uses logical time (also known as Lamport time) in messages to track the order of events. But how exactly that time is generated?

This question was imported from Telegram Chat: https://t.me/tondev/112766

Posted one year ago
Votes Newest


Based on the Whitepaper found here, logical time is described as:

For this purpose, the creation of an outbound message is considered an atomic event, logically dependent on the previous message created by the same transaction, as well as on the previous transaction of the same account, on the inbound message processed by the same transaction, and on all events contained in the blocks referred to by hashes contained in the block with the same transaction.

As a consequence, outbound messages created by the same smart contract have strictly increasing logical creation times.

In essence, Logical Time is the method by which validators sort transactions and messages logically. Although the key concept is that a higher value of Logical Time will be executed later by the validator.

Posted 11 months ago
1 Answer
one year ago
11 months ago