[1] Free TON. The Declaration of Decentralization. URL:

[2] Everscale. Ever Operating System. URL:

[3] Emanuel Lasker, 2008. Lasker’s Manual of Chess. Russell Enterprises, Inc, Milford, CT.

[4] Letter from John Adams to Abigail Adams. 7 July 1775.

[5] George Orwell. 1984, 1948. URL: Eighty-Four.

[6] Borg. URL:

[7] Eugen von B¨ohm-Bawerk, 2007. Capital and Interest.1st edition, p. 362.

[8] Pareto efficiency. URL:

[9] Mitja Goroshevsky. Practical BFT Governance. URL: com/document/d/15z2nObtk3YdvQREHnJ1m1MxcUoKeNmcJ1RYay6jX1Ag/edit?usp= sharing.

[10] Nassim Nicholas Taleb. Antifragile, 2012. URL: Antifragile.

[11] Mitja Goroshevsky. EVER and NEVER Binary system” paper. URL: https://docs. edit?usp=sharing.

[12] N. Gregory Mankiw, 2007. ”2”. Macroeconomics (6th ed.). New York: Worth Publishers. pp. 22–32. ISBN 978-0-7167-6213-3.

[13] Cointelegraph, 2020. Hive Hard Fork is Successful, STEEM Crashes Back to Earth. URL: hive-hard-fork-is-successful-steem-crashes-back-to-earth.

[14] Nikolai Durov. URL:

[15] What is multithreading. URL: cpu-core-multicore-thread.html#4.

[16] Byzantine fault tolerance. URL: fault_tolerance.

[17] Vitalik Buterin. Proof of stake: How i learned to love weak subjectivity, 2014. URL: proof-stake-learned-love-weak-subjectivity/.

[18] Megan Leonhardt. GameStop is being called a ‘pump and dump’ scheme—here’s what you need to know. URL: gamestop-now-called-a-pump-and-dump-scheme-what-you-need-to-know.html.

[19] Mitja Goroshevsky and Leonid Kholodov. Practical Byzantine Dynamic Slashing (PBDS). URL: practical-byzantine-dynamic-slashing-pbds/2519.

[20] Gregory Neven Dan Boneh, Manu Drijvers. BLS Multi-Signatures With PublicKey Aggregation. URL: BLSmultisig.html.

[21] What is GNU/Linux? URL: ch01s02.en.html.

[22] Boris Ivanovsky. Tonix. URL:

[23] Jehan-Francois Paris and Thomas J. E. Schwarz. Merkle Hash Grids Instead of Merkle Trees. URL:

[24] The LLVM Compiler Infrastructure. URL:

[25] Leonid Kholodov and Dmitry Borisenkov. Towards better code generator design and unification for a stack machine.

[26] Jacques Hadamard. Essai sur la psychologie de l’invention dans le domaine mathematique, 1959. Paris.

[27] G¨odel’s incompleteness theorems. URL: B6del%27s_incompleteness_theorems.

[28] Halting problem. URL:

[29] The Coq Proof Assistant. URL:

[30] Introduction to TON DNS. URL:

[31] DeBot Interface Specifications (IS) Consortium. URL: tonlabs/DeBot-IS-consortium.

Last updated