Университет Иннополис разработал индустриальный блокчейн
10 нояб 2021 10:40 #106197
от ICT
ICT создал тему: Университет Иннополис разработал индустриальный блокчейн
В России разработали первый в мире индустриальный блокчейн с применением методов формальной верификации. Универсальная система поддерживает операции по нескольким процессам — от заправки воздушных судов до оплаты ЖКУ. Индустриальный блокчейн разработан специалистами Университета Иннополис, которые уже используют его в работе над проектами для ПАО "Аэрофлот" и ПАО "Газпром нефть". Блокчейн российского ИТ-вуза можно использовать для согласования договоров, контроля цепочек поставок, планирования объемов продаж товаров с учетом поставщиков и групп покупателей в методологических структурах программ лояльности, в своп-сделках, голосовании, создании цифрового профиля, цифровом факторинге, для оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников. В отличие от традиционных открытых блокчейнов, к которым может подключиться каждый желающий в любое время, индустриальный блокчейн контролируется организациями-участниками и добавление нового участника происходит с согласия остальных. Разработка Университета Иннополис обеспечивает прозрачность бизнес-процессов, так как все участники видят каждый шаг операций, что исключает незаконное внесение изменений в документы. "Смарт-контракты — это подпрограммы, которые работают в нашем блокчейне и управляют бизнес-процессами. Смарт-контракты разрабатываются на специальном языке программирования и для них мы применяем формальную верификацию, то есть математически доказываем, что бизнес-процесс реализован без ошибок", — объясняет главный эксперт формальных методов верификации Университета Иннополис Руслан Резин. "Цифровизация процесса заправок воздушных судов на основе систем распределённого реестра входит в стратегию инновационного развития нашей компании. Мы рады, что партнёры из Университета Иннополис понимают отраслевую ценность и предлагают решения, которые влияют на финансовый результат. Сегодня у нас в проработке ряд проектов на платформе InnoChain и мы видим серьезные перспективы в дальнейшей совместной деятельности", — комментирует Андрей Полозов-Яблонский, советник генерального директора по инновационному развитию ПАО "Аэрофлот". InnoChain — первый полностью российский блокчейн с открытым кодом, криптографией, сертифицированной в соответствии с ГОСТ, и поддержкой смарт-контрактов создан специалистами Университета Иннополис. В ядре InnoChain методы формальной верификации работают на 5 уровнях: язык смарт-контрактов: высокий уровень надежности исходного кода исключает трудозатраты на аудит и устранение ошибок; компиляция смарт-контрактов: минимизируется риск возникновения ошибок в машинном коде, повышается надежность исполнения смарт-контрактов; алгоритмы узлов системы распределенного реестра: минимизируется риск возникновения ошибок в логике передачи, обработки и хранения транзакций; операционная система seL4: минимизируется риск возникновения уязвимости на уровне операционной системы; протокол консенсуса: минимизируется риск успешных кибератак на протокол консенсуса.
Ссылка на источник
Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.
Похожие статьи
Тема | Релевантность | Дата |
---|---|---|
"Базальт СПО" и Тюменский индустриальный университет подписали соглашение о сотрудничестве | 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.1 | Четверг, 09 июня 2016 |
Maykor и университет «Иннополис» займутся подготовкой кадров для ИТ-отрасли | 14.1 | Четверг, 09 июня 2016 |
"Татнефть" и Университет Иннополис цифровизируют мониторинг разработки месторождений | 14.1 | Вторник, 01 февраля 2022 |