2020: Plans for creation of the verified system of the distributed register
On January 10, 2020 Innopolis university reported that in Russia in 2020 — 2021 will create completely verified blockchain- the platform worth 600 million rubles. The technology will include a specialized programming language which is developed at the University Innopolis, the verified compiler, cryptographic methods and protocols, methods of verification of properties of programs. Till 2021 the technology will earn in 6 industries digital economy of Russia, and by 2022 — in 8. In more detail here.
| The site content is translated by machine translation software powered by PROMT. The machine-translated articles are not always perfect and may contain errors in vocabulary, syntax or grammar. Read original article If you find inaccuracies or errors in the results of machine translation, please write to editor@tadviser.ru. We will make every effort to correct them as soon as possible. |