|
О теоретико-автоматных моделях блокчейн-среды
В. С. Анашин Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
Аннотация:
Рассматриваются методы анализа и моделирования блокчейн-среды, основанные
на теоретико-автоматных моделях, в первую очередь на
так называемых «автоматах с метками
времени» (timed automata). Также предлагается новая версия автоматов с метками времени, позволяющая избежать некоторых неудобств моделирования с помощью классических автоматов с метками времени, а при моделировании блокчейн-среды
на основе последних приходится использовать
переменные разных типов, действительные и булевы, что вызывает ряд сложностей
как теоретического, так и практического характера. Предлагаемый подход основан
на применении 2-адического анализа, что дает возможность использовать переменные
одного и того же типа, а именно булева.
Ключевые слова:
блокчейн-среда, смарт-контракт, автомат с метками времени.
Поступила в редакцию: 09.02.2019
Образец цитирования:
В. С. Анашин, “О теоретико-автоматных моделях блокчейн-среды”, Информ. и её примен., 13:2 (2019), 29–36
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ia590 https://www.mathnet.ru/rus/ia/v13/i2/p29
|
Статистика просмотров: |
Страница аннотации: | 387 | PDF полного текста: | 330 | Список литературы: | 45 |
|