У DSX Technologies есть свой алгоритм голосования с применением Blockchain, запатентованный совместно с компанией Accenture.
Задача состоит в том, чтобы построить формальную модель алгоритма и выполнить его формальную верификацию/моделирование, например с использованием TLA+. Данный подход набирает популярность и используется в AWS для валидации архитектурных решений.
Количество студентов в проект — 1 человек