Axoni e Clearmatics reivindicam marco para interoperabilidade de blockchain

Duas das startups mais importantes em blockchain empresarial estão se unindo para enfrentar o difícil, mas agora aparentemente inevitável, problema da interoperabilidade.

No Consensus 2018 desta semana, a Clearmatics e a Axoni demonstraram como um derivativo financeiro pode ser emitido por meio de um contrato inteligente, acionar um pagamento e então instigar uma transferência atômica de valor entre duas redes distintas. Isso marcou a primeira vez que um contrato de derivativos foi originado em um blockchain empresarial e liquidado em outro.

O marco é importante porque a interoperabilidade está emergindo como uma meta de design fundamental da Tecnologia de contabilidade distribuída (DLT).

Embora o mundo financeiro possa estar migrando de um estado de muitos livros-razão para menos, os arquitetos de blockchain perceberam que negociações, acordos e transações provavelmente nunca serão originados, processados e liquidados por um único sistema monolítico.

Robert Sams, CEO da Clearmatics, disse ao CoinDesk:

“Para facilitar o processamento de ponta a ponta, do ponto de negociação até a liquidação, precisamos assumir que esse processo passará por vários sistemas, em vez de um único sistema de liquidação monolítico, distribuído ou não.”

A colaboração é significativa também pela influência dos atores envolvidos.

A Axoni, sediada em Nova York, está trabalhando com uma ampla gama de instituições financeiras líderes e provedores de infraestrutura para movimentar trilhões de valor nocional em dólares americanos para a tecnologia blockchain em uma variedade de classes de ativos.

Enquanto isso, seu parceiro na demonstração, a Clearmatics de Londres, está trabalhando com um consórcio de bancos e instituições financeiras para criar uma moeda fiduciária digital totalmente garantida por dinheiro no banco central correspondente e transferível em um livro-razão distribuído.

A Axoni também tem feito muito trabalho no espaço de derivativos e outras áreas de processos pós-negociação, enquanto a Clearmatics está focada no lado de liquidação das coisas, então a parceria foi uma combinação óbvia (ambas estão desenvolvendo Tecnologia baseada na arquitetura derivada do ethereum).

"Se pudermos colaborar adequadamente e facilitar a ligação entre essas redes, o que teremos é um processo altamente automatizado e transparente desde o acordo comercial até a finalização da liquidação", disse Greg Schvey, CEO da Axoni.

Lições da Cripto

Dando um passo atrás, é justo dizer que a interoperabilidade do blockchain está na fase de P&D.

Para dar sentido ao problema, são necessários muitos requisitos baseados em casos de uso e aplicativos de domínio, que devem ser considerados juntos. Sams enfatizou que a demonstração de interoperabilidade era apenas uma prova de conceito – mas ONE, porque impulsiona o espírito de colaboração de código aberto.

“A interoperabilidade precisa ser abordada de forma aberta e colaborativa e construída em torno de padrões abertos e implementações de código aberto”, disse ele, acrescentando:

“Provavelmente haverá vários tipos de soluções de interoperabilidade – não muitas, mas mais de uma.”

O mesmo espírito se estende à comunidade pública de blockchain, onde muito trabalho de ponta está sendo feito nos aspectos mais técnicos do tópico.

“Há muita sobreposição entre trocas atômicas entre cadeias no espaço de Criptomoeda e as coisas que estamos fazendo”, disse Sams. “Embora a aplicação do domínio seja totalmente diferente, as primitivas tecnológicas subjacentes são muito semelhantes.”

O contrato em questão foi modelado usando a linguagem específica de domínio da Axoni, AxLang, e então a finalidade de liquidação dos pagamentos em dinheiro resultantes foi alcançada em diferentes livros-razão permitidos e compatíveis com ethereum.

A contribuição da Clearmatics para a demonstração foi o Ion, um protocolo de interoperabilidade de código aberto, projetado para executar transações atômicas entre cadeias.

Língua franca

A linguagem de programação inteligente AxLang usada aqui foi desenvolvida pela Axoni para tornar o trabalho com contratos inteligentes em um ambiente empresarial algo seguro, por assim dizer.

Axlang é baseado em Scala e permite a verificação formal de contratos inteligentes, um método matemático rigoroso usado para provar a correção de programas de computador. Ele também pode compilar para máquinas virtuais Java e Ethereum .

No entanto, os desenvolvedores costumam ser questionados: por que outra linguagem de programação?

Schvey disse que trabalhar muito com design de aplicativos em larga escala em blockchains revelou que certos requisitos não estavam sendo atendidos pelo Solidity, o primeiro passo para programar contratos inteligentes na comunidade Ethereum .

Em particular, o Solidity carece de verificação formal, que é a capacidade de ter provas matemáticas de que o código escrito foi compilado corretamente, disse Schvey.

“Ser capaz de verificar certos vetores de erro é um conceito muito poderoso, especialmente se você estiver implantando uma infraestrutura multipartidária de larga escala com muito valor passando por ela”, disse ele.

De fato, a prova de conceito une dois desafios técnicos difíceis: interoperabilidade e verificação formal. E há uma conexão importante entre os dois, Sams apontou.

“Imagine um estado final de infraestrutura de mercado distribuída, onde você tem um FLOW de processo de ponta a ponta, ocorrendo por meio de vários sistemas”, disse ele.

“Obviamente será muito importante que na camada semântica, um sistema que assume um processo de outro sistema, e vice-versa, entenda e possa demonstrar exatamente qual é a lógica de negócios que eles estão consumindo ou produzindo para outro sistema consumir.”

Imagem de duas estradasvia Shutterstock