ВИКОРИСТАННЯ МЕТОДІВ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ ДЛЯ АНАЛІЗУ МОДЕЛЕЙ ТОКЕНIЗАЦЇ ОСВIТИ

Abstract

Використання блокчейну в освіті все ще знаходиться в зародковому стані, і лише невелика кількість установ впроваджують цю технологію. Але блокчейн в освітніх закладах відкриває величезні можливості для ефективного використання та може допомогти у вирішенні багатьох проблем. Саме технологія блокчейн дозволяє ефективно реалізувати нову освітню парадигму шляхом створення активів чи токенів, які стануть основою нової системи стимулів для студентів та викладачів. Токенізація у сфері освіти — це революційна альтернатива традиційним неефективним підходам до навчання. Але для того, щоб модель токеноміки була ефективною важливо вміти правильно аналізувати, перевіряти та тестувати її за допомогою спеціальних інструментів. Це дасть змогу перевірити життєздатність моделі, знайти вразливості, які можуть представляти небезпеку для системи та її користувачів у майбутньому. У даній роботі ми дослідити використання методів алгебраїчного програмування для аналізу та верифікації моделей токенізації освіти. Зробили формалізацію моделі та дослідити її основні властивості. Основною метою формалізації є пошук помилок моделювання, недоліків або можливих протиріч; пошук ефективних сценаріїв роботи системи. / The use of blockchain in education is still in its infancy, and only a small number of institutions are implementing this technology. But the blockchain in educational institutions offers great opportunities for effective use and can help solve a lot of problems. It is blockchain technology that allows users to effectively implement a new educational paradigm by creating assets or tokens that will form the basis of a new system of rewarding students and teachers. Tokenization in education is a revolutionary alternative to traditional ineffective approaches to learning. But in order for the tokenomics model to be effective, it is important to be able to properly analyze, verify and test it with special tools. This will allow to test the viability of the model, to find vulnerabilities that could pose a threat to the system and its users in the future. In this paper, we investigate the use of algebraic programming methods for the analysis and verification of models of education tokenization. We formalized the model and investigated its basic properties. The main purpose of formalization is to search for modeling errors, shortcomings or possible contradictions; search for effective system scenarios.