Axoni y Clearmatics alcanzan un hito en la interoperabilidad de blockchain

Dos de las empresas emergentes más destacadas en el ámbito de la cadena de bloques empresarial se están uniendo para abordar el difícil, pero ahora aparentemente ineludible, problema de la interoperabilidad.

En Consensus 2018, Clearmatics y Axoni demostraron esta semana cómo se puede emitir un derivado financiero mediante un contrato inteligente, activar un pago y, posteriormente, iniciar una transferencia atómica de valor entre dos redes distintas. Esta fue la primera vez que un contrato de derivados se originó en una blockchain empresarial y se liquidó en otra.

Este hito es importante porque la interoperabilidad está surgiendo ahora como un objetivo de diseño clave de la Tecnología de contabilidad distribuida (DLT).

Si bien el mundo financiero puede estar pasando de un estado de muchos libros contables a menos, los arquitectos de blockchain se han dado cuenta de que los intercambios, acuerdos y transacciones probablemente nunca serán originados, procesados y liquidados por un sistema único y monolítico.

Robert Sams, director ejecutivo de Clearmatics, le dijo a CoinDesk:

“Para facilitar el procesamiento de extremo a extremo, desde el punto de comercio hasta la liquidación, debemos asumir que ese proceso se realizará a través de múltiples sistemas, en lugar de un único sistema de liquidación monolítico, distribuido o no”.

La colaboración es importante también por la influencia de los actores implicados.

Axoni, con sede en Nueva York, está trabajando con una amplia gama de instituciones financieras y proveedores de infraestructura líderes para trasladar billones de valor nocional en dólares estadounidenses a tecnología blockchain en una variedad de clases de activos.

Mientras tanto, su socio en la demostración, Clearmatics de Londres, está trabajando con un consorcio de bancos e instituciones financieras para crear una moneda fiduciaria digital que esté totalmente garantizada por efectivo en el banco central correspondiente y sea transferible en un libro de contabilidad distribuido.

Axoni también ha estado haciendo mucho trabajo en el espacio de derivados y otras áreas de procesos post-negociación, mientras que Clearmatics se centra en el lado de liquidación de las cosas, por lo que la asociación fue obvia (ambos están desarrollando Tecnología basada en la arquitectura derivada de Ethereum).

"Si podemos colaborar adecuadamente y facilitar la vinculación entre esas redes, lo que obtendremos será un proceso altamente automatizado y altamente transparente desde el acuerdo comercial hasta la finalización de la solución", dijo Greg Schvey, director ejecutivo de Axoni.

Lecciones de las Cripto

Dando un paso atrás, es justo decir que la interoperabilidad de blockchain está en la etapa de investigación y desarrollo.

Para comprender el problema se requieren numerosos requisitos basados ​​en casos de uso y aplicaciones de dominio, que deben considerarse en conjunto. Sams enfatizó que la demostración de interoperabilidad fue solo una prueba de concepto, pero ONE, ya que impulsa el espíritu de colaboración de código abierto.

“La interoperabilidad debe abordarse de forma abierta y colaborativa, y construirse en torno a estándares abiertos e implementaciones de código abierto”, afirmó, y añadió:

“Probablemente habrá múltiples tipos de soluciones de interoperabilidad: no muchas, pero más de una”.

El mismo espíritu se extiende a la comunidad pública de blockchain, donde se está realizando mucho trabajo de vanguardia en los aspectos muy técnicos del tema.

“Existe una gran superposición entre los intercambios atómicos entre cadenas en el ámbito de las Criptomonedas y lo que estamos haciendo”, dijo Sams. “Aunque la aplicación del dominio es completamente diferente, las primitivas tecnológicas subyacentes son muy similares”.

El contrato en cuestión se modeló utilizando el lenguaje específico del dominio de Axoni, AxLang, y luego se logró la firmeza de la liquidación de los pagos en efectivo resultantes en diferentes libros contables compatibles con Ethereum y con permisos.

La contribución de Clearmatics a la demostración fue Ion, un protocolo de interoperabilidad de código abierto, diseñado para realizar transacciones atómicas entre cadenas.

Lengua franca

El lenguaje de programación inteligente AxLang utilizado aquí fue desarrollado por Axoni para que trabajar con contratos inteligentes en un entorno empresarial sea algo seguro, por así decirlo.

Axlang se basa en Scala y permite la verificación formal de contratos inteligentes, un riguroso método matemático utilizado para demostrar la exactitud de los programas informáticos. También puede compilarse en las máquinas virtuales de Java y Ethereum .

Sin embargo, a menudo se pregunta a los desarrolladores: ¿por qué otro lenguaje de programación?

Schvey dijo que el trabajo realizado con el diseño de aplicaciones a gran escala en cadenas de bloques reveló ciertos requisitos que Solidity, el primer paso hacia la programación de contratos inteligentes entre la comunidad Ethereum , no cumple.

En particular, Solidity carece de verificación formal, que es la capacidad de tener pruebas matemáticas de que el código escrito se ha compilado correctamente, dijo Schvey.

“Poder verificar ciertos vectores de error es un concepto muy poderoso, especialmente si se está implementando una infraestructura multipartita a gran escala con mucho valor en juego”, afirmó.

De hecho, la prueba de concepto combina dos desafíos técnicos complejos: la interoperabilidad y la verificación formal. Y existe una conexión importante entre ambos, señaló Sams.

“Imaginemos un estado final de infraestructura de mercado distribuida donde exista un FLOW de procesos de extremo a extremo, que ocurra a través de múltiples sistemas”, afirmó.

“Obviamente, será muy importante que en la capa semántica, un sistema que asume un proceso de otro sistema, y viceversa, comprenda y pueda demostrar exactamente cuál es la lógica de negocios que está consumiendo o produciendo para que otro sistema la consuma”.

Imagen de dos caminosvía Shutterstock