| Название базовой системы (платформы): | Bitfury Exonum CIS |
| Разработчики: | Университет Иннополис, МИЭМ НИУ ВШЭ Московский институт электроники и математики, Московский физико-технический институт (МФТИ) |
| Отрасли: | Образование и наука, Сельское хозяйство и рыболовство, Транспорт, Фармацевтика, медицина, здравоохранение, Финансовые услуги, инвестиции и аудит, Энергетика |
2020: Планы по созданию верифицированной системы распределённого реестра
10 января 2020 года Университет Иннополис сообщил, что в России в 2020—2021 годах создадут полностью верифицированную блокчейн-платформу стоимостью 600 млн рублей. Технология включит специализированный язык программирования, который разрабатывается в Университете Иннополис, верифицированный компилятор, криптографические методы и протоколы, методы верификации свойств программ. До 2021 года технология заработает в 6 отраслях цифровой экономики России, а к 2022 году — в 8. Подробнее здесь.
