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

НОВОСТИ

10 января 2020

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

10 января 2020

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

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

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

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

Руководитель Центра исследования, разработки и внедрения систем распределенного реестра в цифровой экономике Университета Иннополис Рустам Давлетбаев: «На глобальном рынке блокчейн-технологий нет платформ с полной формальной верификацией. Написанное человеком ПО может и чаще всего содержит ошибки. Если в коде плеера есть ошибка, он не будет запускать музыку, но когда в умном контракте есть ошибка, стороны теряют деньги или останавливается производство. Кроме того, смарт-контракты после запуска нельзя так легко обновить, в отличие от ПО на компьютерах. Решая эту проблему с помощью формальной (то есть математической) автоматической проверки всего смарт-контакта и кода, мы снижаем подобные риски, поэтому использовать блокчейн-технологии в бизнесе и госусправлении становится всё интереснее. Формальная верификация — это отдельное направление в компьютерных науках, которое популярно с 90-х годов на Западе. Однако на рынке пока предложений по полной верификации нет, а математически проверяются лишь отдельное подмножество спецификаций смарт-контрактов».

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

Разрабатывать и интегрировать в цифровую экономику России верифицрованную систему распределённого реестра Университет Иннополис будет совместно с НИУ ВШЭ, МФТИ, МГУ, УрФУ и Институтом системного программирования РАН. Общая сумма финансирования проекта — 600 млн рублей, из которых 300 млн — грантовые средства нацпроекта «Цифровая экономика», 300 млн — частное софинансирование.


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

Университет Иннополис специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники. В 2019/2020 учебном году в вузе обучается 771 студент по 135 курсам бакалавриата, магистратуры и аспирантуры: компьютерные науки, теоретические основы компьютерных наук, управление разработкой ПО, разработка безопасных сетей и систем, управление большими данными, робототехника и компьютерное зрение. Средний балл ЕГЭ студентов, зачисленных на первый курс в 2019 году, — 92,7. По данным совместного мониторинга НИУ ВШЭ, Яндекса, Рособрнадзора и Министерства высшего образования и науки РФ, этот показатель стал самым высоким среди всех негосударственных вузов России. ИТ-вуз также разделил 5—6 место с петербургским университетом ИТМО в рейтинге по приему на бюджетные места и стал единственным учебным заведением Татарстана из топ-10 этого списка. В Университете Иннополис открыты 15 научно-исследовательских лабораторий и 6 центров разработки. В 2018 году на базе университета в рамках НТИ официально открылся Центр технологий компонентов робототехники и мехатроники. В мае 2019 года специалисты центра вместе с членами консорциума презентовали дорожную карту развития робототехники и сенсорики в России до 2024 года. На базе Лаборатории нейронауки и когнитивных технологий, входящей в состав центра, действует ведущая российская научная школа в области нейронаук.