Международный проект KIRIK.io с центром разработки в Новосибирском Академгородке задался целью создать открытую платформу, которая снимет несовместимость разных блокчейнов, а технологию смарт-контрактов сделает более применимой в реальных экономических отношениях как в секторе b2b, так и в секторе b2c. Подробнее о разработке, аналогов которой в мире пока не существует, журналу «Эксперт-Сибирь» рассказал сооснователь проекта KIRIK.io Виталий Гумиров.
— Виталий, буквально на днях вы вернулись из своеобразного «роуд-шоу»-тура, который ваш проект провел в ряде стран Юго-Восточной Азии. Чем обусловлен выбор направления для презентации вашей разработки?
— Если говорить объективно, то страны Юго-Восточной Азии, в частности Китай и Япония, — одни из наиболее продвинутых в части цифровых технологий с очень высоким уровнем понимания предмета и, главное, трендов, куда движутся технологии и направления их применимости. К тому же в ряде стран этого региона — в таких, как Сингапур и Филиппины, — уже используются технологические разработки нашей компании. Области их применения — это телеком и банковский сектор в части финтех-решений. А вообще порядка 200 миллионов людей пользуются ими ежедневно.
— В этой поездке вы представляли вашу новую разработку — универсальную платформу семантических смарт-контрактов KIRIK. В чем уникальность вашей технологии и отличие от существующих смарт-контрактов?
— Стоит начать с того что смарт-контракт — это способ автоматизации бизнес-процессов между разными субъектами экономической деятельности. И в этом взаимодействии важной составляющей является доверие. Необходим некий способ, который позволяет хранить историю транзакций и не позволяет ее изменить. Такой системой может быть блокчейн — распределенный реестр. И в то же время обстоятельство, что смарт-контракты привязаны к тому или иному блокчейну, является и сдерживающим фактором широкого использования в реальной экономической деятельности. Разновидностей блокчейна множество, и основной вопрос — как выбрать тот, в рамках которого строить взаимодействие, ведь все эти блокчейны между собой не соединены. Еще одним сдерживающим фактором (и, по моему мнению, решающим) является то, что в существующем виде смарт-контракты доступны для понимания только узким специалистам. Если необходимо автоматизировать бизнес-отношения между двумя компаниями, то процесс получится крайне трудоемким. На первом этапе юрист составит текст договора в самом привычном для всех виде, после этого договор предадут программисту, он его переведет в программный код, то есть уберет логику и переведет все в алгоритм — в то, что понятно только другому программисту. С этого момента и начинается вся неразбериха — никто не может поручиться, что исходный код соответствует первоначальному договору, составленному юристом. Уникальность нашей разработки как раз в том, что наше решение построено на логике, а не на алгоритмах. Смарт-контракт на платформе KIRIK является определенным набором логических терминов и правил, которые имеют вид «если — то».
Таким образом получается, что каждому абзацу в договоре будет соответствовать логическая формула, понятная специалисту предметной области. Именно поэтому технология называется «семантический смарт-контракт»: смысл понятен и юристам, и программистам, и обычным людям. С другой стороны, этот формат подходит, в том числе, и компьютерам. Эти формулы могут исполняться системой в автоматическом режиме как обычные смарт-контракты.
Проще говоря, в семантических смарт-контрактах описывается то, что мы хотим получить (так же, как и в обычном договоре), но не описывается, как мы это хотим получить. В то время как в обычных смарт-контрактах, в которых используют алгоритмические подходы, описываются пошаговые инструкции, как добиться желаемого результата, при этом теряется то магическое «что» — то есть цель, ради которой, собственно, весь сыр-бор.
Наша технология семантических контрактов позволяет сделать смарт-контракты юридически значимыми.
— Есть ли в мире разработки, аналогичные вашей?
— Подобных разработок нет, есть отдаленно напоминающие в части схожести первоначальной идеи. Рядом компаний сейчас предпринимаются попытки сделать некие порталы, где будут содержаться шаблоны юридически значимых смарт-контрактов, но дело в том, что подобные решения не учитывают фактор универсальности в полном объеме. Степень применимости этих платформ будет основываться на том, насколько разнообразен выбор базовых шаблонов. Ключевая проблема этих решений в том, чтобы определить, насколько выбранный шаблон соответствует выбранной предметной области — допустим, для какого-либо страхового случая, будь то страхование жизни или страхование какой-либо сделки — а вариантов только в этих направлениях существует не один и не два.
Из существующих решений, где наиболее удачно реализованы элементы автоматизации юридически значимых бизнес-отношений, можно назвать сервисы такси. Единожды поставив галочку в меню, пользователь, будь то водитель или пассажир, принимает условия взаимодействия как между собой, так и с системой. Но это централизованные платформы. Есть распределенные маркетплейсы, где бизнес-процессы также автоматизируются, например, с помощью платформы «эфир» или «нео». В этих случаях та же проблема — возможности ограничены только конкретными шаблонами под бизнес-процессы, которые автоматизированы внутри этих систем. Платформа KIRIK является универсальной платформой, на которой можно автоматизировать любые бизнес-отношения.
— Какова степень проработки и готовности технологии на сегодня?
— Наша технология в отличие от всех остальных имеет строгую математическую основу.
Сама теория семантического моделирования была разработана еще в 1980-х в Новосибирском Академгородке учеными института математики СО РАН. Более того, в нашей команде как раз работает один из тех ученых-математиков, который стоял у истоков разработки семантического моделирования, доктор физико-математических наук Дмитрий Свириденко. Так что у нашей команды высокая степень экспертизы по данному направлению. Правильней сказать, что отдельные решения и технологии, которые сейчас являются частью платформы, разработаны нашей компанией уже давно и в данное время находят применение в телеком-сфере, используются операторами мобильной связи для автоматизации некоторых процессов, эти же решения используются и в ряде российских банков. Сегодня мы решаем задачу, как сделать данную технологию открытой и доступной для всех, кто вступает в какие либо бизнес-отношения — как для юридических, так и физических лиц, и без привязки к конкретной налоговой и правовой юрисдикции.
— Одна из проблем существующих смарт-контрактов — то что они являются прерогативой программистов. Какие специалисты и какого уровня подготовки смогут работать с вашей технологией? Кто сможет составить и, главное, прочесть семантический смарт-контракт?
— В нашем проекте предлагается несколько интерфейсов для разных типов пользователей. Это будет выглядеть как визуальный конструктор, при помощи которого практически каждый человек сможет составить свой смарт-контракт. Будет интерфейс, рассчитанный на юристов, в этой части предусмотрен полуавтоматический режим, который позволит преобразовать текст договора в семантический смарт-контракт.
Будет и еще один интерфейс, рассчитанный на разработчиков, позволяющий им разрабатывать собственные шаблоны и интерфейсы семантических смарт-контрактов, характерные для той или иной предметной области — для бухгалтерии, страхования, логистики, платежных систем и всех остальных возможных видов экономических отношений, в которые могут вступать как компании, так и обычные люди.
— Одним из ключевых вопросов применительно ко всем процессам цифровизации является информационная (кибер) безопасность. Как в вашей технологии решен вопрос информационной безопасности?
— Классический подход, который используется сейчас в смарт-контрактах, привязанных к тому или иному блокчейну — будь то «эфир», «нео» или какой-либо иной, — соединены три разных технологии. Первая — это виртуальная машина для вычисления смарт-контрактов. Вторая — децентрализованный реестр «блокчейн» для хранения историй транзакций. И третья — децентрализованная база данных, над которыми эти вычисления проводятся. Это приводит к тому, что данные, над которыми проводятся вычисления, являются публичными, следовательно, кто угодно может получить к ним доступ и дешифровать. Конечно, это снижает применимость технологии смарт-контрактов в нынешнем виде для реального бизнеса. В разрабатываемой нами платформе KIRIK эти три элемента разделены. Сама технология — это, по сути, просто семантический движок, виртуальная машина, которая позволяет вычислять логику семантических контрактов. Данные, над которыми производятся вычисления, могут находиться в других внешних системах, в других блокчейнах или даже непубличных базах данных — то есть, исключен открытый доступ к данным.
Второй плюс — это децентрализованный реестр. Мы предусмотрели возможность подключения пользователями своих децентрализованных реестров, в которых реализуются те или иные семантические контракты и сохраняется история транзакций по контракту. Данная мера позволяет создавать в некотором смысле «приватные блокчейны» на базе семантических контрактов (в нашей терминологии это приватные семантические домены), и, конечно, это во многом решает вопросы защиты информации. Это технологическое решение, применяемое на нашей платформе KIRIK, позволяет возводить так называемые гетерогенные системы, в которых можно создавать и публичные, и приватные семантические смарт-контракты. И они могут между собой взаимодействовать. В конечном итоге это позволит пользователям реализовывать свою специфическую политику безопасности.
