Проект

Университет Иннополис, «Аэрофлот» и BitFury создадут первую в России полностью верифицированную блокчейн-платформу

Заказчики: Аэрофлот

Москва; Транспорт

Продукт: Проекты на базе блокчейн-технологии

Дата проекта: 2020/01
СМ. ТАКЖЕ (1)

2020: Планы по созданию верифицированной системы распределённого реестра

10 января 2020 года Университет Иннополис сообщил, что совместно с «Аэрофлотом» и BitFury создадут первую в России полностью верифицированную блокчейн-платформу стоимостью 600 млн рублей.

Разработку применят в здравоохранении, транспорте, финансовых услугах, промышленности, энергетике, образовании, сельском и городском хозяйствах.

Российский ИТ-вуз получил статус лидирующего исследовательского центра цифровой экономики в области блокчейна, выиграв в конкурсе Министерства цифрового развития, связи и массовых коммуникаций РФ. Индустриальные партнёры в программе — ПАО «Аэрофлот». Интегрировать технологию Университету Иннополис поможет компания, предоставляющая полный цикл услуг в сфере блокчейн-технологий, Bitfury Group.

Верифицированная система распределённого реестра, которую разработают специалисты центра в 2020—2021 годах, будет отвечать отечественным требованиям безопасности. Технология включит специализированный язык программирования, который разрабатывается в Университете Иннополис, верифицированный компилятор, криптографические методы и протоколы, методы верификации свойств программ. До 2021 года технология заработает в 6 отраслях цифровой экономики России, а к 2022 году — в 8. В рамках проекта планируется обучить 40 человек по программам высшего образования в области блокчейна, зарегистрировать 6 патентов и разработать 12 математических моделей изделий и процессов.

«
Данный способ верификации на основе системы распределённого реестра обезопасит данные и повысит их достоверность — медицинская информация о пациентах в здравоохранении, дипломы и удостоверения в сфере образования, учёт и маркировка произведённой продукции в промышленности и сельском хозяйстве. В финтехе появятся иные форматы инвестирования и финансовые организации смогут предлагать клиентам различные услуги, основанные на блокчейне. Ещё одно крупное направление — автоматический аудит смарт-контрактов, который ещё не применяют нигде в мире. Такой аудит займёт всего 3 минуты, это глобальная инновация. Консалтинговые компании проверяет умные контракты вручную. Но главное преимущество будущего стандарта — ускоренная интеграция в бизнес-процессы компаний, государственные и муниципальные услуги. По нашим оценкам, среднее время внедрения составит всего 10 часов, тогда как на начало января 2020 года этот процесс занимает 5 дней. Всё это позволит значительно ускорить темпы развития цифровой экономики,
сказал директор Университета Иннополис Кирилл Семенихин
»

Для «Аэрофлота» специалисты Университета Иннополис разработают блокчейн-решение с полной формальной верификацией смарт-контрактов и интегрируют его с пилотным проектом авиакомпании — заправки воздушных судов. Разработка запланирована в рамках работы по соглашению Республики Татарстан с «Аэрофлотом» о стратегическом партнёрстве на базе Центра гражданской авиации Университета Иннополис. В Татарстане блокчейн-платформу планирует использовать Министерство здравоохранения для хранения медицинских данных. Компании нефтегазовой отрасли заинтересованы в проекте для контроля и учёта производимой продукции и добычи. Одну из машиностроительных компаний привлекла возможность маркировки и лицензирования автомобилей и запчастей на основе блокчейна.

Разрабатывать и интегрировать в цифровую экономику России верифицрованную систему распределённого реестра Университет Иннополис будет совместно с НИУ ВШЭ, МФТИ, МГУ, УрФУ и Институтом системного программирования РАН.

Общая сумма финансирования проекта — 600 млн рублей, из которых 300 млн — грантовые средства нацпроекта «Цифровая экономика», 300 млн — частное софинансирование.