Whitepaper comments

Descriptions in the original whitepapers are not aligned with actual blockchain sources. This page provides clarifications and status updates for the whitepapers, highlighting features that have not been implemented and correcting descriptions of those that have been.

TON Virtual Machine, `tvm.pdf`

1.3.2. List of control registers

The zero element of the c7 tuple is an environment information (which itself is also a tuple). The remaining 255 slots are used for global variables. [i] SETGLOB modifies c7, inserting an element with index i, [i] GETGLOB reads i-th element from c7.

See the TVM registers page for details.

4.4. Continuations as objects

Tolk implements this via callable types — first-class function values of the form fun(...) -> ..., including lambda expressions that capture outer-scope variables.

4.5.7. List of predefined exceptions

Exit code 11 is thrown by standard function selector if there is no function with given ID. Also it is thrown by SENDMSG in case of invalid message.

5.1. Codepages and interoperability of different TVM versions

Only codepage 0 is implemented.

A. Instructions and opcodes

Basic gas price is 10 + b, not 10 + b + 5r. The TVM gas documentation explains these details.

Provided instruction list is obsolete: use TVM instructions instead.

B.2. Step function of TVM

"Reference implementation of TVM" and codepages -1 and -2 are not implemented yet.

Fift, `fiftbase.pdf`

The dictionary is supposed to be split into several vocabularies, or namespaces; however, namespaces are not implemented yet, so all words are currently defined in the same global namespace.

Namespaces and context switching are now implemented — Fift words are defined in the default dictionary and accessible through the global namespace called Fift.

It is now possible to add new namespaces with the namespace word or switch dictionary contexts on the fly. It is also possible to define words or named constants directly under those namespaces and reference words from different namespaces:

namespace My

"a" constant a
"b" constant b
"c" constant c

a b c .s { drop } 3 times // "a" "b" "c"

My definitions
"b-my" constant b
"c-my" constant c
"d-my" constant d

a b c d .s { drop } 4 times // "a" "b-my" "c-my" "d-my"

Fift definitions
a b c .s { drop } 3 times // "a" "b-my" "c-my" "d-my"

My b My c My d .s { drop } 3 times // "b-my" "c-my" "d-my"
a b c .s { drop } 3 times // "a" "b" "c" "d"

My definitions
a b c d .s { drop } 4 times // "a" "b-my" "c-my" "d-my"
Fift a Fift b Fift c d .s { drop } 4 times // "a" "b" "c" "d-my"

Fift definitions
cr
My-wordlist @
{ drop type -1 } hmapforeach drop cr // "b " "d " "c "