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