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

Созданный в Иннополисе блокчейн — индустриальный. Это значит, что он контролируется организациями-участниками и добавление нового участника происходит с согласия остальных. Разработку можно использовать для согласования договоров, контроля цепочек поставок, планирования объемов продаж товаров, создания цифрового профиля и других целей.

Реконструкция перрона в Казанском аэропорту завершится к 1 октября. Пресс-служба минфина Татарстана сообщила, что на эти цели предусмотрено выделение 3,75 млрд рублей из федерального и регионального бюджетов.

Напомним, что в октябре в Казани пройдет саммит БРИКС. В рамках подготовки к этому мероприятию в воздушной гавани города будет построен новый перрон, способный вместить 33 широкофюзеляжных самолета.