Axoni e Clearmatics rivendicano un traguardo per l'interoperabilità blockchain

Due delle più importanti startup nel campo della blockchain aziendale stanno unendo le forze per affrontare il difficile, ma ormai apparentemente inevitabile problema dell'interoperabilità.

Al Consensus 2018 di questa settimana, Clearmatics e Axoni hanno dimostrato come un derivato finanziario può essere emesso tramite uno smart contract, innescare un pagamento e quindi avviare un trasferimento atomico di valore cross-chain tra due reti distinte. Questa è stata la prima volta che un contratto derivato è stato originato su ONE blockchain aziendale e regolato su un'altra.

Si tratta di un traguardo importante perché l'interoperabilità sta emergendo come un obiettivo di progettazione fondamentale della Tecnologie di registro distribuito (DLT).

Mentre il mondo finanziario potrebbe passare da uno stato con molti registri a uno stato con meno registri, gli architetti della blockchain hanno capito che le negoziazioni, gli accordi e le transazioni probabilmente non saranno mai avviati, elaborati e regolati da un unico sistema monolitico.

Robert Sams, CEO di Clearmatics, ha dichiarato a CoinDesk:

"Per agevolare l'elaborazione end-to-end dal punto di negoziazione alla liquidazione, dobbiamo partire dal presupposto che tale processo attraversi più sistemi, piuttosto che un singolo sistema di liquidazione monolitico, distribuito o meno".

La collaborazione è significativa anche per il peso degli attori coinvolti.

Axoni, con sede a New York, collabora con un'ampia gamma di importanti istituti finanziari e fornitori di infrastrutture per trasferire migliaia di miliardi di valore nozionale in dollari USA sulla tecnologia blockchain in una varietà di classi di attività.

Nel frattempo, il suo partner nella demo, Clearmatics di Londra, sta lavorando con un consorzio di banche e istituzioni finanziarie per creare una valuta fiat digitale completamente garantita da denaro contante presso la banca centrale corrispondente e trasferibile su un registro distribuito.

Axoni ha lavorato molto anche nel settore dei derivati ​​e in altre aree dei processi post-trading, mentre Clearmatics si concentra sul lato del regolamento, quindi l'abbinamento è stato ovvio (entrambi stanno sviluppando Tecnologie basata su un'architettura derivata da Ethereum).

"Se riusciamo a collaborare in modo appropriato e a facilitare il collegamento tra queste reti, il risultato sarà un processo altamente automatizzato e trasparente, dall'accordo commerciale fino alla conclusione della transazione", ha affermato Greg Schvey, CEO di Axoni.

Lezioni dalle Cripto

Facendo un passo indietro, è giusto dire che l'interoperabilità della blockchain è ancora in fase di ricerca e sviluppo.

Per dare un senso al problema sono necessari molti requisiti basati sui casi d'uso e sulle applicazioni di dominio, che devono essere tutti considerati insieme. Sams ha sottolineato che la demo di interoperabilità era solo una prova di concetto, ma ONE, perché guida lo spirito della collaborazione open source.

“L’interoperabilità deve essere affrontata in modo aperto e collaborativo e costruita attorno a standard aperti e implementazioni open source”, ha affermato, aggiungendo:

“Probabilmente ci saranno molteplici tipi di soluzioni di interoperabilità: non molte, ma più di ONE.”

Lo stesso spirito si estende alla comunità della blockchain pubblica, dove si sta svolgendo molto lavoro all'avanguardia sugli aspetti più tecnici dell'argomento.

"C'è molta sovrapposizione tra gli atomic swap cross-chain nello spazio delle Criptovaluta e le cose che stiamo facendo", ha detto Sams. "Anche se l'applicazione del dominio è completamente diversa, le primitive tecnologiche sottostanti sono molto simili".

Il contratto in questione è stato modellato utilizzando il linguaggio specifico di dominio di Axoni, AxLang, e quindi la definitività della liquidazione dei pagamenti in contanti risultanti è stata raggiunta attraverso diversi registri autorizzati e compatibili con Ethereum.

Il contributo di Clearmatics alla demo è stato Ion, un protocollo di interoperabilità open source, progettato per eseguire transazioni atomiche cross-chain.

Lingua franca

Il linguaggio di programmazione intelligente AxLang qui utilizzato è stato sviluppato da Axoni per rendere, per così dire, sicuro l'utilizzo di contratti intelligenti in un contesto aziendale.

Axlang si basa su Scala e consente la verifica formale degli smart contract, un metodo matematico rigoroso utilizzato per dimostrare la correttezza dei programmi per computer. Può anche compilare sia per le macchine virtuali Java che per quelle Ethereum .

Tuttavia, spesso agli sviluppatori viene chiesto: perché un altro linguaggio di programmazione?

Schvey ha affermato che l'intenso lavoro di progettazione di applicazioni su larga scala su blockchain ha evidenziato che alcuni requisiti non vengono soddisfatti da Solidity, il primo passo verso la programmazione di contratti intelligenti nella comunità Ethereum .

In particolare, a Solidity manca la verifica formale, ovvero la capacità di avere prove matematiche che il codice scritto sia stato compilato correttamente, ha affermato Schvey.

"Essere in grado di controllare determinati vettori di errore è un concetto molto potente, soprattutto se si sta distribuendo un'infrastruttura multi-parte su larga scala con un grande valore che la attraversa", ha affermato.

In effetti, la proof of concept coniuga due difficili sfide tecniche: interoperabilità e verifica formale. E c'è un'importante connessione tra le due, ha sottolineato Sams.

"Immaginate uno stato finale di un'infrastruttura di mercato distribuita in cui si ha un FLOW di processo end-to-end, che si verifica attraverso più sistemi", ha affermato.

"Ovviamente sarà molto importante che a livello semantico, un sistema che rileva un processo da un altro sistema, e viceversa, capisca e possa dimostrare esattamente qual è la logica aziendale che sta consumando o producendo affinché un altro sistema la consumi".

Immagine di due stradetramite Shutterstock