12:46

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

КАЗАНЬ, 9 ноября. /ТАСС/. Специалисты Университета Иннополис разработали первый в мире индустриальный блокчейн с применением методов формальной верификации, которые уже используют в проектах ПАО "Аэрофлот" и ПАО "Газпром нефть". Об этом ТАСС сообщили в пресс-службе Университета Иннополис во вторник. "Универсальная система поддерживает операции по нескольким процессам - от заправки воздушных судов до оплаты ЖКУ. Индустриальный блокчейн разработан специалистами Университета Иннополис, которые уже используют его в работе над проектами для ПАО "Аэрофлот" и ПАО "Газпром нефть", - сообщили в пресс-службе. Разработка носит название InnoChain. Это первый полностью российский блокчейн с открытым кодом, криптографией, сертифицированной в соответствии с ГОСТ, и поддержкой смарт-контрактов создан специалистами Университета Иннополис. В университете объяснили, что в отличие от традиционных открытых блокчейнов, к которым может подключиться каждый желающий в любое время, индустриальный блокчейн контролируется организациями-участниками и добавление нового участника происходит с согласия остальных. Функционал InnoChain Блокчейн российского IT-вуза можно использовать для согласования договоров, контроля цепочек поставок, планирования объемов продаж товаров, в своп-сделках, голосовании, создании цифрового профиля, для оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников. Разработка Университета Иннополис обеспечивает прозрачность бизнес-процессов, так как все участники видят каждый шаг операций, что исключает незаконное внесение изменений в документы. "Мы рады, что партнеры из Университета Иннополис понимают отраслевую ценность и предлагают решения, которые влияют на финансовый результат. Сегодня у нас в проработке ряд проектов на платформе InnoChain, и мы видим серьезные перспективы в дальнейшей совместной деятельности", - передает пресс-служба слова советника генерального директора по инновационному развитию ПАО "Аэрофлот" Андрея Полозов-Яблонского. В ядре InnoChain методы формальной верификации работают на пяти уровнях. Об университете Университет Иннополис специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники. Российский IT-вуз сотрудничает с 52 академическим партнерами из 26 стран и со 194 индустриальными партнерами.

• 14:46 Держать или продавать: до решения по Ethereum-ETF осталось несколько часов
• 14:46 Биткоин-биржа Kuna провела переговоры о продаже бизнеса в Украине
• 14:08 Нацбанк Украины ограничит физлицам количество P2P-операций
• 13:47 Открытый интерес к фьючерсам на Ethereum впервые превысил $15,6 млрд
• 13:31 Ethereum уже почти $4000. Почему?
• 13:26 Как далекий от криптовалют документалист при помощи мамы и $2500 снял фильм о крахе FTX
• 12:33 Дело о взятке в 2718 BTC поступило в подмосковный суд
• 11:59 Биржа Gate.io приостановила деятельность в Гонконге

И еще 25