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

Специалисты Университета Иннополис разработали первый в мире индустриальный блокчейн с применением методов формальной верификации, которые уже используют в проектах ПАО «Аэрофлот» и ПАО «Газпром нефть», сообщила пресс-служба Университета Иннополис.

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

Разработка носит название InnoChain. Это первый полностью российский блокчейн с открытым кодом, криптографией, сертифицированной в соответствии с ГОСТ, и поддержкой смарт-контрактов создан специалистами Университета Иннополис.

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

Разработка Университета Иннополис обеспечивает прозрачность бизнес-процессов, так как все участники видят каждый шаг операций, что исключает незаконное внесение изменений в документы.

В ядре InnoChain методы формальной верификации работают на пяти уровнях.

Источник: https://rt-online.ru/v-universitete-innopolis-razrabotali-pervyj-v-mire-industrialnyj-blokchejn-s-formalnoj-verifikatsiej/

Поделиться ссылкой: