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

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


  • Сообщений: 103416

  • Пол: Не указан
  • Дата рождения: Неизвестно
  • Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

    Похожие статьи

    ТемаРелевантностьДата
    "Базальт СПО" и Тюменский индустриальный университет подписали соглашение о сотрудничестве15.03Вторник, 24 октября 2023
    "Университет Иннополис" обновил наблюдательный совет14.41Вторник, 28 мая 2019
    ЦЕРН и университет "Иннополис" заключили соглашение о сотрудничестве14.26Среда, 13 мая 2015
    ИТ-университет "Иннополис" поможет студентам избежать армии14.26Пятница, 29 мая 2015
    ИТ-университет "Иннополис" избавит своих студентов от армии14.26Пятница, 29 мая 2015
    ИТ-университет "Иннополис" спасет своих студентов от армии14.26Пятница, 29 мая 2015
    ОМК и Университет Иннополис займутся разработкой роботизированных комплексов14.26Среда, 21 сентября 2022
    «Новые облачные технологии» и университет «Иннополис» договорились о сотрудничестве14.11Четверг, 09 июня 2016
    Maykor и университет «Иннополис» займутся подготовкой кадров для ИТ-отрасли14.11Четверг, 09 июня 2016
    "Татнефть" и Университет Иннополис цифровизируют мониторинг разработки месторождений14.11Вторник, 01 февраля 2022

    Мы в соц. сетях