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

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

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

Российский ИТ-вуз получил статус лидирующего исследовательского центра цифровой экономики в области блокчейна, выиграв в конкурсе Министерства цифрового развития, связи и массовых коммуникаций РФ. Индустриальны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 года. На базе Лаборатории нейронауки и когнитивных технологий, входящей в состав центра, действует ведущая российская научная школа в области нейронаук.

В центре внимания

Блог на habrahabr

20 Ноября 2019
Выпускница Университета Иннополис об учёбе в Гренобльском университете, ИИ, английском у французов и сыре с клопами

Алиса Газизуллина, победительница хакатона Лаборатории Касперского Secur’IT Cup 2018, закончила программу бака...

10 Июня 2019
Серия лекций по робототехнике профессора Грегора Шёнера, директора Института нейроинформатики (INI) Бохум, Германия

Открытые лекции спикера пройдут в рамках Международной объединённой летней школы «Роботы: сознание, очувствление...

6 Марта 2019
[recovery mode] Опрос: Облачные технологии в ГИС и сервисах на основе геоданных

Время прохождения: 7—10 минут Google Форма с опросом Читать дальше →...

20 Февраля 2019
Университет Иннополис проведёт первую в России международную проектную школу по автономным транспортным средствам

Мероприятие рассчитано на бакалавров, магистров, аспирантов и молодых исследователей. Авторы лучших заявок пол...

Новости по теме

Популярные новости

Сайт находится в технической разработке