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

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

Мэрия Казани сообщает о возобновлении подачи тепла в социальные объекты: детские сады, школы и больницы. Как передает пресс-служба, это связано с прогнозом Гидрометцентра РТ об ухудшении погодных условий и похолодании до 0 градусов в ближайшие дни.

Напомним, отопительный сезон в Казани завершился 20 апреля.