Программное обеспечение протокола консенсуса Hotstuff с верификацией кода методом Model Checking
системы распределённого реестра (СРР), формальная верификация, лидирующий исследовательский центр (ЛИЦ), сквозные цифровые технологии
Программа реализует протокол консенсуса HotStuff, представляющий собой набор правил обмена сообщениями между узлами системы распределённого реестра (СРР), и предназначена для согласования списка транзакций для исполнения и перехода СРР в новое состояние с верификацией кода методом Model Checking. Программа состоит из двух модулей: первый реализует алгоритм консенсуса для СРР, принимая на вход состояние сети, а на выход определяя достижение консенсуса всеми участниками сети; второй модуль обеспечивает формальную спецификацию, реализованную на языке TLA+. Программа создана по Договору о предоставлении гранта от 20.03.2020 №004/20 на реализацию программы лидирующего исследовательского центра (ЛИЦ), «сквозная» цифровая технология ЛИЦ – «Системы распределенного реестра», мероприятие программы ЛИЦ – «Анализ протоколов консенсуса в СРР и методов формальной верификации данных протоколов». Тип ЭВМ: IBM PC-совмест. ПК; ОС: Linux.
Согласование списка транзакций для исполнения и перехода СРР в новое состояние с верификацией кода
Дудниченко А.В.
Руководитель центра
Семенихин К.В.
Директор
27.03.55
Теория доказательств
20.15.09
Отраслевые и ведомственные органы информации
28.25.19
Абстрактные машины
28.23.17
Логика в искусственном интеллекте
28.01.45
Преподавание
01.01.PO
MATHEMATICS, INTERDISCIPLINARY APPLICATIONS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Руслан
Резин
Маратович
Разработка алгоритмов, проектирование архитектуры
Владимир
Кухаренко
Александрович
Написание основного кода программы
Кирилл
Зиборов
Викторович
Написание кода программы
Рафаэль
Садыков
Фаритович
Разработка алгоритмов, проектирование архитектуры
Александр
Наумчев
Владимирович
Разработка алгоритмов, проектирование архитектуры
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации