Axoni и Clearmatics заявляют о достижении важной вехи в обеспечении совместимости блокчейнов

Два самых известных стартапа в сфере корпоративного блокчейна объединяются для решения сложной, но теперь, казалось бы, неизбежных проблем взаимодействия.

На конференции Consensus 2018 на этой неделе Clearmatics и Axoni продемонстрировали, как финансовый дериватив может быть выпущен через смарт-контракт, инициировать платеж, а затем инициировать кросс-чейн атомарный перевод стоимости между двумя различными сетями. Это был первый случай, когда контракт на дериватив был создан на ONE корпоративном блокчейне и урегулирован на другом.

Это важное достижение, поскольку совместимость в настоящее время становится ключевой целью разработки Технологии распределенного реестра (DLT).

В то время как финансовый мир, возможно, переходит от состояния множества реестров к меньшему их количеству, архитекторы блокчейнов пришли к выводу, что сделки, транзакции и транзакции, вероятно, никогда не будут инициироваться, обрабатываться и урегулироваться единой монолитной системой.

Роберт Сэмс, генеральный директор Clearmatics, рассказал CoinDesk:

«Для упрощения сквозной обработки от точки торговли до расчета нам необходимо исходить из предположения, что этот процесс проходит через несколько систем, а не через единую монолитную систему расчетов, распределенную или иную».

Сотрудничество также имеет большое значение из-за влияния участвующих в нем игроков.

Компания Axoni, базирующаяся в Нью-Йорке, сотрудничает с широким кругом ведущих финансовых учреждений и поставщиков инфраструктуры с целью перевода триллионов условных сумм в долларах США на технологию блокчейн в различных классах активов.

Тем временем ее партнер по демонстрации, лондонская компания Clearmatics, работает с консорциумом банков и финансовых учреждений над созданием цифрового фиата, который полностью обеспечен наличными деньгами в соответствующем центральном банке и может передаваться в распределенном реестре.

Axoni также много работала в сфере деривативов и других областях постторговой обработки, в то время как Clearmatics сосредоточена на расчетной стороне вопроса, поэтому их объединение было очевидным (обе компании создают Технологии на основе архитектуры, производной от Ethereum).

«Если мы сможем сотрудничать надлежащим образом и способствовать взаимодействию между этими сетями, то в конечном итоге мы получим высокоавтоматизированный, высокопрозрачный процесс на всем пути от торгового соглашения до окончательного урегулирования», — сказал Грег Швей, генеральный директор Axoni.

Уроки Криптo

Оглядываясь назад, можно смело сказать, что взаимодействие блокчейнов находится на стадии исследований и разработок.

Чтобы понять проблему, необходимо множество требований, основанных на вариантах использования и доменных приложениях, которые все должны рассматриваться вместе. Сэмс подчеркнул, что демонстрация взаимодействия была всего лишь доказательством концепции, но ONE, поскольку она движет духом сотрудничества с открытым исходным кодом.

«Взаимодействие необходимо решать открыто и сообща, основываясь на открытых стандартах и реализациях с открытым исходным кодом», — сказал он, добавив:

«Вероятно, будет существовать несколько типов решений по обеспечению совместимости — не много, но больше ONE».

Тот же дух распространяется и на сообщество публичного блокчейна, где ведется большая передовая работа по техническим аспектам этой темы.

«Есть много общего между атомарными кросс-чейн свопами в Криптовалюта пространстве и тем, что делаем мы», — сказал Сэмс. «Хотя доменное приложение совершенно разное, базовые технологические примитивы очень похожи».

Контракт, о котором идет речь, был смоделирован с использованием доменно-ориентированного языка Axoni, AxLang, а затем окончательность расчетов по полученным денежным платежам была достигнута с помощью различных разрешенных, совместимых с Ethereum реестров.

Вкладом Clearmatics в демонстрацию стал Ion — протокол взаимодействия с открытым исходным кодом, предназначенный для выполнения атомарных кросс-чейн транзакций.

лингва франка

Используемый здесь интеллектуальный язык программирования AxLang был разработан компанией Axoni, чтобы сделать работу со смарт-контрактами в корпоративной среде, так сказать, надежной.

Axlang основан на Scala и позволяет проводить формальную проверку смарт-контрактов, строгий математический метод, используемый для доказательства корректности компьютерных программ. Он также может компилироваться как в виртуальные машины Java, так и в виртуальные машины Ethereum .

Однако разработчиков часто спрашивают: зачем нужен еще один язык программирования?

Швей отметил, что выполнение большого объема работы по проектированию крупномасштабных приложений на основе блокчейнов выявило, что Solidity, первый шаг к программированию смарт-контрактов в сообществе Ethereum , не соответствует определенным требованиям.

В частности, по словам Швея, в Solidity отсутствует формальная верификация, то есть возможность иметь математические доказательства того, что написанный код был скомпилирован правильно.

«Возможность проверки определенных векторов ошибок — очень мощная концепция, особенно если вы развертываете крупномасштабную многостороннюю инфраструктуру, через которую проходит много ценностей», — сказал он.

Действительно, доказательство концепции объединяет две сложные технические проблемы: совместимость и формальную проверку. И между ними есть важная связь, указал Сэмс.

«Представьте себе конечное состояние распределенной рыночной инфраструктуры, где у вас есть сквозной FLOW процессов, проходящий через несколько систем», - сказал он.

«Очевидно, что на семантическом уровне будет очень важно, чтобы система, перенимающая процесс у другой системы и наоборот, понимала и могла точно продемонстрировать, какую именно бизнес-логику она потребляет или производит для потребления другой системой».

Изображение двух дорогчерез Shutterstock