Компания Garuda.ai представила на своем сайте Live demo модели токеномики протокола Skillonomy. Модель представляет собой описание движения токенов по периодам и распределение токенов по агентам.
Она состоит из неформального описания типов агентов и соответствующих им атрибутов, формальных действия и модели общего поведения.
Формальные части модели описаны языком поведенческой алгебры.
Как указывают разработчики, с помощью этого описания можно моделировать движение токенов и исследовать свойства всего проекта.
Для делающих подробнее ознакомиться с принципом построения и работы модели на сайте доступен отчет в PDF-формате. Также по отдельной ссылке можно посмотреть работу модели, указав предоставленные логин и пароль.