В Иннополисе создадут первую в России верифицированную блокчейн-платформу

(Казань, 12 января, «Татар-информ»). Университет Иннополис займется созданием первой в России верифицированной блокчейн-платформы. IT-вуз получил такую возможность благодаря тому, что выиграл в конкурсе Минсвязи РФ и получил статус лидирующего исследовательского центра цифровой экономики в области блокчейна, сообщает пресс-служба университета.

Верифицированная система распределенного реестра должна быть разработана в 2020-2021 годах. Она будет включать специализированный язык программирования, верифицированный компилятор, криптографические методы и протоколы, а также методы верификации свойств программ.

Планируется, что сначала новая технология начнет работать в шести отраслях цифровой экономики России, а к 2022 году – еще в восьми. По словам директора Университета Иннополис Кирилла Семенихина, новый способ верификации данных будет востребован для хранения сведений о пациентах в здравоохранении, подтверждения дипломов и удостоверений в образовании, учета и маркировки продукции в промышленности и сельском хозяйстве, а также в финтехе.

Впрочем, главным преимуществом системы Семенихин назвал ускоренную интеграцию в бизнес-процессы компаний, государственные и муниципальные услуги. «По нашим оценкам, среднее время внедрения составит всего десять часов, тогда как сейчас этот процесс занимает пять дней», – подчеркнул он.

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

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

Ранее ИА «Татар-информ» сообщало, что команда исследователей из Университета Иннополис по заказу китайской корпорации Huawei займется разработкой контейнерной технологии защиты данных.