Техническое решение для безопасной работы с базами данных применят в государственных услугах, здравоохранении, сельском хозяйстве и промышленности. Платформу InnoChain разработали специалисты Лидирующего исследовательского центра в области систем распределенного реестра Университета Иннополис, её уже начал использовать в своих проектах «Аэрофлот».
InnoChain — первый полностью российский блокчейн с открытым кодом, криптографией и поддержкой смарт-контрактов. Разработка российского ИТ-вуза обеспечивает прозрачность бизнес-процессов и исключает незаконное внесение изменений в документы.
InnoChain в том работает со смарт-контрактами, написанными на специальном языке программирования с технологией формальной верификации, математически доказывая, что бизнес-процесс реализован без ошибок. Формальная верификация выдаёт «математический сертификат» для доказанных свойств программы, что позволяет снизить количество сбоев систем, надёжность которых критически важна.
Искандер Бариев, первый проректор — заместитель директора Университета Иннополис: «Существуют отечественные и зарубежные платформы, но наш анализ показал, что полная формальная верификация, критически необходимая для крупных ответственных производств, — преимущество платформы Университета Иннополис даже на мировом уровне. По нашей оценке, экономия трудозатрат за счёт высокой надёжности компонентов InnoChain может достигать 1,5-3,5 раз по сравнению с традиционными блокчейн-фреймворками, ориентированными на промышленное применение».
Блокчейн-платформу российского ИТ-вуза можно использовать для согласования договоров, контроля цепочек поставок, оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников.
Андрей Полозов-Яблонский, советник генерального директора по инновационному развитию ПАО «Аэрофлот»: «В стратегию инновационного развития нашей компании входит и система заправки воздушных судов на базе блокчейн-платформы. Она обеспечит высоконадёжную среду между всеми участниками бизнес-процесса: авиакомпанией, топливозаправочными компаниями и коммерческими банками. Перспективными нам кажутся и другие проекты с применением смарт-контрактов, например, отслеживание цикла жизни запчастей для самолёта, цифровая биржа миль или продажа авиабилетов через блокчейн-платформу, разработанную Университетом Иннополис».
Проект реализован при содействии Межотраслевого центра трансфера технологий Университета Иннополис.
