

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