Система распределенного реестра «InnoСhain»
безопасная обработка данных сквозные цифровые технологии информационные технологии лидирующий исследовательский центр (ЛИЦ) смарт-контракты системы распределённого реестра (СРР)
Программа предназначена для хранения и обработки общих пользовательских данных разными контрагентами без необходимости доверия между ними, а также для минимизации рисков искажения или полной потери данных. Разработана на специальном языке программирования с поддержкой формальной верификации, что увеличивает ее надежность. Функции системы: создание аккаунта; изменение сертификатов аккаунта; блокировка/разблокировка аккаунта; сохранение пользовательских данных, ассоциированных с аккаунтом; поддержка децентрализованных приложений, реализующих некоторый заданный бизнес-процесс. Тип ЭВМ: IBM РС-совмест. ПК. ОС: Ubuntu 18.04 и выше.

Язык программирования: CakeML

Объем программы для ЭВМ: 149 МБ
хранение и обработка общих пользовательских данных
Алексей
Дудниченко
Викторович
Руководитель центра
Отсутствует
Отсутствует
-
-
РОССИЯ
Кирилл
Семенихин
Владимирович
Директор
РОССИЯ
49.37.29
Сети передачи данных
28.21.27
Структуры систем передачи данных
20.53.17
Средства хранения информации
28.27.15
Оптимизация надежности
28.27.27
Методы оценки надежности
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Леонид
Меркин
Альбертович
Формализация задачи по разработки модуля сетевого взаимодействия
РОССИЯ
Владимир
Семиков
Сергеевич
Разработка логики хранения транзакций и интеграции смарт-контрактов
РОССИЯ
Ринат
Нурмиев
Сайдашевич
Формализация задачи
РОССИЯ
Руслан
Резин
Маратович
Формализация задач и разработка модулей хранения блоков, исполнения транзакций и интеграции с базой данных
РОССИЯ
Владимир
Кухаренко
Александрович
Разработка модуля обработки пользовательских транзакций и кодирования данных
РОССИЯ
Рим
Рахимов
Ренатович
Разработка модуля сетевого взаимодействия, протокола консенсуса и жизненного цикла узла
РОССИЯ
Константин
Бритиков
Иванович
Разработка модуля протокола консенсуса и кодирования данных
РОССИЯ
Илья
Герасимов
Юрьевич
Разработка криптографических алгоритмов и модуля сетевого взаимодействия
РОССИЯ
Ксения
Кужамуратова
Валерьевна
Разработка логики синхронизации данных
РОССИЯ
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации