Университет Иннополис разработал индустриальный блокчейн

В России разработали первый в мире индустриальный блокчейн с применением методов формальной верификации. Универсальная система поддерживает операции по нескольким процессам — от заправки воздушных судов до оплаты ЖКУ. Индустриальный блокчейн разработан специалистами Университета Иннополис, которые уже используют его в работе над проектами для ПАО "Аэрофлот" и ПАО "Газпром нефть". Блокчейн российского ИТ-вуза можно использовать для согласования договоров, контроля цепочек поставок, планирования объемов продаж товаров с учетом поставщиков и групп покупателей в методологических структурах программ лояльности, в своп-сделках, голосовании, создании цифрового профиля, цифровом факторинге, для оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников. В отличие от традиционных открытых блокчейнов, к которым может подключиться каждый желающий в любое время, индустриальный блокчейн контролируется организациями-участниками и добавление нового участника происходит с согласия остальных. Разработка Университета Иннополис обеспечивает прозрачность бизнес-процессов, так как все участники видят каждый шаг операций, что исключает незаконное внесение изменений в документы. "Смарт-контракты — это подпрограммы, которые работают в нашем блокчейне и управляют бизнес-процессами. Смарт-контракты разрабатываются на специальном языке программирования и для них мы применяем формальную верификацию, то есть математически доказываем, что бизнес-процесс реализован без ошибок", — объясняет главный эксперт формальных методов верификации Университета Иннополис Руслан Резин. "Цифровизация процесса заправок воздушных судов на основе систем распределённого реестра входит в стратегию инновационного развития нашей компании. Мы рады, что партнёры из Университета Иннополис понимают отраслевую ценность и предлагают решения, которые влияют на финансовый результат. Сегодня у нас в проработке ряд проектов на платформе InnoChain и мы видим серьезные перспективы в дальнейшей совместной деятельности", — комментирует Андрей Полозов-Яблонский, советник генерального директора по инновационному развитию ПАО "Аэрофлот". InnoChain — первый полностью российский блокчейн с открытым кодом, криптографией, сертифицированной в соответствии с ГОСТ, и поддержкой смарт-контрактов создан специалистами Университета Иннополис. В ядре InnoChain методы формальной верификации работают на 5 уровнях: язык смарт-контрактов: высокий уровень надежности исходного кода исключает трудозатраты на аудит и устранение ошибок; компиляция смарт-контрактов: минимизируется риск возникновения ошибок в машинном коде, повышается надежность исполнения смарт-контрактов; алгоритмы узлов системы распределенного реестра: минимизируется риск возникновения ошибок в логике передачи, обработки и хранения транзакций; операционная система seL4: минимизируется риск возникновения уязвимости на уровне операционной системы; протокол консенсуса: минимизируется риск успешных кибератак на протокол консенсуса. Ссылка на источник