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