СИСТЕМА РАСПРЕДЕЛЕННОГО РЕЕСТРА
безопасная обработка данных сквозные цифровые технологии информационные технологии лидирующий исследовательский центр (ЛИЦ) смарт-контракты системы распределённого реестра (СРР)
Изобретение относится к информационным технологиям, а именно к созданию надежных систем распределенных реестров и может быть использовано для применения в критически важных отраслях промышленности с высокими требованиями к безопасности и среде работы с данными. 
Система распределенного реестра (СРР) содержит блок преобразования смарт-контрактов с предметно-ориентированного языка на язык системы компьютерной логики HOL4, блок формальной верификации смарт-контрактов на основе библиотеки теорем и тактик в системе HOL4, блок трансляции смарт-контрактов в абстрактное синтаксическое дерево языка функционального языка программирования CakeML, блок формально-верифицированного компилятора CakeML в машинный код, узлы СРР, каждый из которых содержит верифицированную операционную систему, подсистему исполнения смарт-контрактов, подсистему сетевых взаимодействий, при этом узлы СРР связаны между собой  посредством верифицированного протокола консенсуса.
Задачей и техническим результатом заявляемого решения является создание полностью формально-верифицированной системы распределенного реестра, обеспечивающей надежность исполнения смарт-контрактов и безопасность обработки данных за счет обеспечения доказательства корректности работы смарт-контрактов на всех этапах в среде исполнения, включая операционное окружение. Доказательства корректности функционирования системы верифицируются автоматически в системах компьютерной логики и, таким образом, не допускаются ошибки в работе СРР.
создание надежных систем распределенных реестров, безопасная обработка данных, промышленность
Алексей
Дудниченко
Викторович
Руководитель центра
Отсутствует
Отсутствует
-
-
РОССИЯ
Кирилл
Семенихин
Владимирович
Директор
РОССИЯ
49.27.31
Системы и аппаратура цифровой передачи
20.53.23
Средства передачи информации
28.27.15
Оптимизация надежности
28.27.27
Методы оценки надежности
28.21.19
Теория кодирования
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Леонид
Меркин
Альбертович
Разработка технического решения
РОССИЯ
Николай
Васильев
Константинович
Разработка технического решения
РОССИЯ
Руслан
Резин
Маратович
Разработка технического решения
РОССИЯ
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации