Formal semantics and analysis of tokenomics properties
Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governi...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2022 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2022
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/188637 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Formal semantics and analysis of tokenomics properties / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Проблеми програмування. — 2022. — № 3-4. — С. 128-138. — Бібліогр.: 14 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-188637 |
|---|---|
| record_format |
dspace |
| spelling |
Letychevskyi, O.O. Peschanenko, V.S. Poltorackiy, M.Yu. Tarasich, Yu.H. Vinnyk, M.O. 2023-03-10T18:45:50Z 2023-03-10T18:45:50Z 2022 Formal semantics and analysis of tokenomics properties / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Проблеми програмування. — 2022. — № 3-4. — С. 128-138. — Бібліогр.: 14 назв. — англ. 1727-4907 DOI: https://doi.org/10.15407/pp2022.03-04.128 https://nasplib.isofts.kiev.ua/handle/123456789/188637 519.85 Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governing token economy. The violation of properties, such as equilibrium and decentralization, can result in the failure of a project and financial losses. Using the math and formal methods is a simple and efficient way to create self-sustainable token economies right at the stage of MVP development. Despite the rapid development of tokenomics, its popularity, and the rapid pace of implementing blockchain technology in various business areas, only a small number of works have examined formal models of tokenomics. In this study, we present an algebraic approach to analyzing the properties of tokenomics. The algebraic modeling approach is implemented within the framework of the Insertion Modeling System (IMS) that was developed at the Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine under the guidance of an Academician of the National Academy of Sciences of Ukraine, Professor A.A. Letichevsky. The algebraic modeling methods prove the properties of safety and liveness. Insertion modeling is an approach for modeling complex distributed systems, which is based on the theory of interaction between agents and environments. The modeling algorithm is based on the historical data of exchange trading and the liquidity of tokens - which allows us to make accurate predictions and show possible outcomes. The interaction of tokenomics agents and their behavior, represented by the equations of behavioral algebra, is considered. The use of the algebraic approach to tokenomics development for the Internet of Things is considered, and the formal representations and methods of property analysis are presented. The obtained results allow us to discuss the possibility of using formal methods in the study of tokenomics. Сьогодні ми спостерігаємо швидкий розвиток продуктів і послуг, в основі яких лежить технологія блокчейн. Криптовалюти та токени стають невід’ємною частиною повсякденного життя людини. Одним із головних і, водночас, найскладніших задач для кожного проєкту є створення самокеруючої економіки токенів. Порушення таких властивостей, як рівновага та децентралізація, може призвести до провалу проєкту та фінансових втрат. Використання математичних і формальних методів є простим і ефективним способом створення самокеруючої економіки токенів на етапі розробки MVP. Незважаючи на швидкий розвиток токеноміки, її популярність і швидкі темпи впровадження технології блокчейн в різних сферах бізнесу, побудові формальних моделей токеноміки присвячено мало наукових та технічних робіт. У цьому дослідженні ми представляємо алгебраїчний підхід до аналізу властивостей токеноміки. Підхід до алгебраїчного моделювання реалізовано в рамках системи інсерційного моделювання (IMS), розробленої в Інституті кібернетики ім. Глушкова НАН України під керівництвом академіка НАН України, проф. О.А. Летичевського. Методи алгебраїчного моделювання доводять властивості безпеки та живучості. Інсерційне моделювання — це підхід до моделювання складних розподілених систем, який базується на теорії взаємодії агентів та середовищ. Алгоритм моделювання базується на історичних даних біржової торгівлі та ліквідності токенів, що дозволяє нам робити точні прогнози та показувати можливі результати. Розглянуто взаємодію агентів токеноміки та їх поведінку, представлену рівняннями поведінкової алгебри. Розглянуто використання алгебраїчного підходу до розробки токеноміки для Інтернету речей, представлено формальні представлення та методи аналізу властивостей. Отримані результати дозволяють обговорювати можливість використання формальних методів у дослідженні токеноміки. en Інститут програмних систем НАН України Проблеми програмування Формальні методи програмування Formal semantics and analysis of tokenomics properties Формальна семантика та аналіз властивостей токоекономіки Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Formal semantics and analysis of tokenomics properties |
| spellingShingle |
Formal semantics and analysis of tokenomics properties Letychevskyi, O.O. Peschanenko, V.S. Poltorackiy, M.Yu. Tarasich, Yu.H. Vinnyk, M.O. Формальні методи програмування |
| title_short |
Formal semantics and analysis of tokenomics properties |
| title_full |
Formal semantics and analysis of tokenomics properties |
| title_fullStr |
Formal semantics and analysis of tokenomics properties |
| title_full_unstemmed |
Formal semantics and analysis of tokenomics properties |
| title_sort |
formal semantics and analysis of tokenomics properties |
| author |
Letychevskyi, O.O. Peschanenko, V.S. Poltorackiy, M.Yu. Tarasich, Yu.H. Vinnyk, M.O. |
| author_facet |
Letychevskyi, O.O. Peschanenko, V.S. Poltorackiy, M.Yu. Tarasich, Yu.H. Vinnyk, M.O. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2022 |
| language |
English |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Формальна семантика та аналіз властивостей токоекономіки |
| description |
Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governing token economy. The violation of properties, such as equilibrium and decentralization, can result in the failure of a project and financial losses. Using the math and formal methods is a simple and efficient way to create self-sustainable token economies right at the stage of MVP development. Despite the rapid development of tokenomics, its popularity, and the rapid pace of implementing blockchain technology in various business areas, only a small number of works have examined formal models of tokenomics. In this study, we present an algebraic approach to analyzing the properties of tokenomics. The algebraic modeling approach is implemented within the framework of the Insertion Modeling System (IMS) that was developed at the Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine under the guidance of an Academician of the National Academy of Sciences of Ukraine, Professor A.A. Letichevsky. The algebraic modeling methods prove the properties of safety and liveness. Insertion modeling is an approach for modeling complex distributed systems, which is based on the theory of interaction between agents and environments. The modeling algorithm is based on the historical data of exchange trading and the liquidity of tokens - which allows us to make accurate predictions and show possible outcomes. The interaction of tokenomics agents and their behavior, represented by the equations of behavioral algebra, is considered. The use of the algebraic approach to tokenomics development for the Internet of Things is considered, and the formal representations and methods of property analysis are presented. The obtained results allow us to discuss the possibility of using formal methods in the study of tokenomics.
Сьогодні ми спостерігаємо швидкий розвиток продуктів і послуг, в основі яких лежить технологія блокчейн. Криптовалюти та токени стають невід’ємною частиною повсякденного життя людини. Одним із головних і, водночас, найскладніших задач для кожного проєкту є створення самокеруючої економіки токенів. Порушення таких властивостей, як рівновага та децентралізація, може призвести до провалу проєкту та фінансових втрат. Використання математичних і формальних методів є простим і ефективним способом створення самокеруючої економіки токенів на етапі розробки MVP. Незважаючи на швидкий розвиток токеноміки, її популярність і швидкі темпи впровадження технології блокчейн в різних сферах бізнесу, побудові формальних моделей токеноміки присвячено мало наукових та технічних робіт. У цьому дослідженні ми представляємо алгебраїчний підхід до аналізу властивостей токеноміки. Підхід до алгебраїчного моделювання реалізовано в рамках системи інсерційного моделювання (IMS), розробленої в Інституті кібернетики ім. Глушкова НАН України під керівництвом академіка НАН України, проф. О.А. Летичевського. Методи алгебраїчного моделювання доводять властивості безпеки та живучості. Інсерційне моделювання — це підхід до моделювання складних розподілених систем, який базується на теорії взаємодії агентів та середовищ. Алгоритм моделювання базується на історичних даних біржової торгівлі та ліквідності токенів, що дозволяє нам робити точні прогнози та показувати можливі результати. Розглянуто взаємодію агентів токеноміки та їх поведінку, представлену рівняннями поведінкової алгебри. Розглянуто використання алгебраїчного підходу до розробки токеноміки для Інтернету речей, представлено формальні представлення та методи аналізу властивостей. Отримані результати дозволяють обговорювати можливість використання формальних методів у дослідженні токеноміки.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/188637 |
| citation_txt |
Formal semantics and analysis of tokenomics properties / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Проблеми програмування. — 2022. — № 3-4. — С. 128-138. — Бібліогр.: 14 назв. — англ. |
| work_keys_str_mv |
AT letychevskyioo formalsemanticsandanalysisoftokenomicsproperties AT peschanenkovs formalsemanticsandanalysisoftokenomicsproperties AT poltorackiymyu formalsemanticsandanalysisoftokenomicsproperties AT tarasichyuh formalsemanticsandanalysisoftokenomicsproperties AT vinnykmo formalsemanticsandanalysisoftokenomicsproperties AT letychevskyioo formalʹnasemantikataanalízvlastivosteitokoekonomíki AT peschanenkovs formalʹnasemantikataanalízvlastivosteitokoekonomíki AT poltorackiymyu formalʹnasemantikataanalízvlastivosteitokoekonomíki AT tarasichyuh formalʹnasemantikataanalízvlastivosteitokoekonomíki AT vinnykmo formalʹnasemantikataanalízvlastivosteitokoekonomíki |
| first_indexed |
2025-11-30T15:38:45Z |
| last_indexed |
2025-11-30T15:38:45Z |
| _version_ |
1850858035432390657 |