References

[1] Free TON. The Declaration of Decentralization. URL: https://freeton.org/dod.

[2] Everscale. Ever Operating System. URL: https://everos.dev.

[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: https://en.wikipedia.org/wiki/Nineteen_ Eighty-Four.

[6] Borg. URL: https://en.wikipedia.org/wiki/Borg.

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

[8] Pareto efficiency. URL: https://en.wikipedia.org/wiki/Pareto_efficiency.

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

[10] Nassim Nicholas Taleb. Antifragile, 2012. URL: https://en.wikipedia.org/wiki/ Antifragile.

[11] Mitja Goroshevsky. EVER and NEVER Binary system” paper. URL: https://docs. google.com/document/d/16Y3yEp4uMlXX6ZA8TkQJLpTcXgoY4ZeIW793b1Cw034/ 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: https://cointelegraph.com/news/ hive-hard-fork-is-successful-steem-crashes-back-to-earth.

[14] Nikolai Durov. URL: https://en.wikipedia.org/wiki/Nikolai_Durov.

[15] What is multithreading. URL: https://www.guru99.com/ cpu-core-multicore-thread.html#4.

[16] Byzantine fault tolerance. URL: http://en.wikipedia.org/wiki/Byzantine_ fault_tolerance.

[17] Vitalik Buterin. Proof of stake: How i learned to love weak subjectivity, 2014. URL: https://blog.ethereum.org/2014/11/25/ 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: https://www.cnbc.com/2021/01/28/ 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: https://forum.freeton.org/t/ practical-byzantine-dynamic-slashing-pbds/2519.

[20] Gregory Neven Dan Boneh, Manu Drijvers. BLS Multi-Signatures With PublicKey Aggregation. URL: https://crypto.stanford.edu/~dabo/pubs/papers/ BLSmultisig.html.

[21] What is GNU/Linux? URL: https://www.debian.org/releases/buster/amd64/ ch01s02.en.html.

[22] Boris Ivanovsky. Tonix. URL: https://github.com/tonlabs/tonix.

[23] Jehan-Francois Paris and Thomas J. E. Schwarz. Merkle Hash Grids Instead of Merkle Trees. URL: https://www.researchgate.net/publication/344603589.

[24] The LLVM Compiler Infrastructure. URL: https://llvm.org/.

[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: https://en.wikipedia.org/wiki/G%C3% B6del%27s_incompleteness_theorems.

[28] Halting problem. URL: https://en.wikipedia.org/wiki/Halting_problem.

[29] The Coq Proof Assistant. URL: https://coq.inria.fr/.

[30] Introduction to TON DNS. URL: https://test.ton.org/DNS-HOWTO.txt.

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