DOI: 10.17587/prin.13.200-208

УДК: 004.052.42

Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра

И. А. Федотов¹, аспирант, ivan.fedotov@phystech.edu, А. С. Хританков², канд. физ.-мат. наук, доц., akhritankov@hse.ru, М. Д. Обидаре¹, студент, obidarefolu1@gmail.com
¹ Московский физико-технический институт,
² Национальный исследовательский университет "Высшая школа экономики", Москва

Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе предложен метод статистической проверки моделей для определения вероятности того, что консенсус будет достигнут. Отправка запросов на подтверждение может требовать дополнительных затрат. Кроме отмеченной вероятности вычислено математическое ожидание числа сообщений, которые прошли в сети до достижения консенсуса. Приведена модель или несколько моделей консенсуса в виде марковской цепи с различными стратегиями отправки сообщений. На основе алгоритмов построения модели и спецификации разработано инструментальное средство анализа консенсуса и отправки сообщений на подтверждение.

Ключевые слова: консенсус, блокчейн, верификация, статистическая проверка моделей, марковская цепь

Стр. 200—208