Axoni, Clearmatics Claim Milestone for Blockchain Interoperability

Два найвідоміших стартапи корпоративного блокчейну об’єдналися, щоб вирішити складну, але тепер, здавалося б, неминучу проблему сумісності.

На Consensus 2018 цього тижня Clearmatics і Axoni продемонстрували, як можна випустити похідний фінансовий інструмент через смарт-контракт, ініціювати платіж, а потім ініціювати міжланцюговий атомарний переказ вартості між двома окремими мережами. Це стало першим випадком, коли контракт на деривативи було створено на ONE корпоративному блокчейні, а розраховано на іншому.

Ця віха є важливою, оскільки взаємодію стає ключовою метою розробки Технології розподіленої книги (DLT).

У той час як фінансовий світ, можливо, переходить від стану багатьох бухгалтерських книг до меншої кількості, архітектори блокчейну прийшли до висновку, що торги, угоди та транзакції, ймовірно, ніколи не будуть створені, оброблені та розраховані єдиною монолітною системою.

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

«Щоб полегшити наскрізну обробку від точки торгівлі до розрахунку, нам потрібно зробити припущення, що цей процес проходитиме через кілька систем, а не єдину монолітну систему розрахунків, розподілену чи іншу».

Співпраця важлива також через вплив залучених гравців.

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

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

Axoni також багато працював у сфері деривативів та інших сферах постторгових процесів, тоді як Clearmatics зосереджена на стороні розрахунків, тому поєднання було очевидним підходом (обидва будують Технології на основі архітектури, отриманої від Ethereum).

«Якщо ми зможемо належним чином співпрацювати та полегшити зв’язок між цими мережами, ви отримаєте високоавтоматизований і високопрозорий процес на всьому шляху від торгової угоди до остаточного розрахунку», — сказав Грег Шві, генеральний директор Axoni.

Уроки Крипто

Відступаючи назад, можна сказати, що сумісність блокчейнів знаходиться на стадії досліджень і розробок.

Щоб розібратися в проблемі, необхідно виконати багато вимог, заснованих на варіантах використання та доменних програмах, які слід розглядати разом. Самс підкреслив, що демонстрація сумісності була лише доказом концепції, але ONE, оскільки вона керує духом співпраці з відкритим кодом.

«Взаємодію потрібно вирішувати відкритим і спільним способом і будувати на основі відкритих стандартів і реалізацій з відкритим кодом», — сказав він, додавши:

«Ймовірно, буде кілька типів рішень для взаємодії – не багато, але більше ONE».

Той самий дух поширюється на публічну спільноту блокчейнів, де багато передової роботи виконується над самими технічними аспектами теми.

«Існує багато збігів між міжланцюжковими атомарними свопами в Криптовалюта просторі та тим, що ми робимо», — сказав Семс. «Незважаючи на те, що доменна програма зовсім інша, базові технологічні примітиви дуже схожі».

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

Внеском Clearmatics у демонстрацію став Ion, протокол сумісності з відкритим кодом, розроблений для виконання атомарних міжланцюжкових транзакцій.

Лінгва франка

Інтелектуальна мова програмування AxLang, яка використовується тут, була розроблена Axoni, щоб зробити роботу зі смарт-контрактами в корпоративних умовах, так би мовити, безпечною.

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

Однак розробники часто запитують, навіщо інша мова програмування?

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

Зокрема, Solidity не має формальної перевірки, тобто можливості мати математичні докази того, що написаний код скомпільований належним чином, сказав Швей.

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

Дійсно, підтвердження концепції поєднує дві важкі технічні проблеми: взаємодію та формальну перевірку. І між ними є важливий зв’язок, зазначив Семс.

«Уявіть кінцевий стан розподіленої ринкової інфраструктури, де у вас є наскрізний FLOW процесів, що відбувається через кілька систем», — сказав він.

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

Зображення двох доріг через Shutterstock