La nuova tecnologia Ethereum invoca gli dei slavi per la sicurezza

Il dio slavo del fulmine, Perun, sta entrando nell'ecosistema Ethereum (almeno spiritualmente).

Ispirato da Bitcoinrete di fulmini, un gruppo di ricercatori guidato dal professore associato dell'Università di Varsavia Stefan Dziembowski e dal professore dell'Università tecnica di Darmstadt Sebastian Faust hanno svelatoun nuovo white paperintitolato "Fondamenti delle reti di canali statali", che delinea un protocollo progettato per aiutare Ethereum a scalare per supportare volumi più elevati di più complessicontratti intelligenti.

Ma mentre diversi progetti Ethereum stanno sviluppando soluzioni a questo problema, l'approccio di Perun al suo protocollo è unico, in particolare per la sua attenzione alla sicurezza, in quanto fornisce definizioni di sicurezza formali e prove di sicurezza per il suo protocollo.

In sostanza, Perun funziona come altri "canali di stato" che mirano a spostare le transazioni fuori dalla blockchain. Tuttavia, la differenza qui è che le parti coinvolte possono registrare lo stato attuale del contratto in qualsiasi momento sulla blockchain, consentendo ai contratti intelligenti di riavvolgere i canali all'ultimo stato in cui le parti hanno concordato i termini.

"Nel caso in cui due parti (probabilmente malevole) inviino stati contrastanti al contratto di canale, la logica del contratto selezionerà l'ultimo stato concordato da entrambi gli utenti", si legge nel documento.

Forse si tratta di un'innovazione incrementale, ma Dziembowski, coautore del documento, sostiene che T può essere sottovalutata, data la natura dei trasferimenti di valore.

Ha detto a CoinDesk:

"Siamo convinti che nel contesto delle criptovalute un'analisi di sicurezza approfondita sia di particolare importanza, perché le falle di sicurezza hanno un valore monetario diretto e quindi, a differenza di molti altri contesti, sono destinate a essere sfruttate".

A quanto pare, questo è un obiettivo così ambito che i ricercatori stanno già collaborando con il gigante della tecnologia Bosch per mettere insieme un prototipo. Non solo, ma il progetto è stato elogiato dal creatore Ethereum Vitalik Buterin.

In realtà, Buterin fu il primo alodare l'idea, sostenendo che le prove di sicurezza implementate dal team rappresentavano un passo nella giusta direzione per l'ecosistema nel suo complesso e avrebbero dovuto essere studiate, se non adottate, da progetti di scala di ogni genere.

"Penso fermamente che abbiamo bisogno di un qualche tipo di meccanismo multiuso per verificare formalmente le proprietà dei sistemi di livello due in generale", ha affermato Buterin.

Viaggio verso lo stato

Facendo un passo indietro, però, il percorso della squadra verso Perun è stato un BIT' tortuoso.

Dziembowski ha detto a CoinDesk che lui e il suo team volevano originariamente creare un'app di condivisione file "equa" basata su Ethereum , ma sono stati bloccati da problemi critici subito durante lo sviluppo dell'app.

"Durante il lavoro su questo progetto, abbiamo notato che un ostacolo fondamentale al funzionamento della nostra applicazione erano gli elevati costi delle transazioni on-chain e i tempi relativamente lenti di elaborazione degli smart contract in esecuzione sulla blockchain", ha affermato Dziembowski.

Questo è esattamente ciò che hanno sperimentato altri sviluppatori, il più famoso dei quali è stato l'app per collezionare gatti digitaliSono emersi i CryptoKitties come preferito dagli utenti, causando questi tempi di transazione lenti e commissioni elevate. Da allora, sono state FORTH alla comunità Ethereum alcune soluzioni di ridimensionamento, ma il team di Perun ha effettivamente trovato ispirazione in una rete completamente diversa.

È stata la rete Lightning di Bitcoin, un'altra "soluzione layer-two" per la blockchain Bitcoin , a catturare il loro interesse. È stato allora che il team, che include anche le ricercatrici Kristina Hostakova e Lisa Eckey, ha iniziato a lavorare su una Tecnologie che avrebbe funzionato sulla piattaforma più ambiziosa di Ethereum.

Fortunatamente altri avevano già iniziato a sviluppare quell'idea tramite una Tecnologie nota come "canali di stato", in cui lightning viene esteso ai complessi contratti intelligenti di ethereum. In quanto tale, il documento di Perun continua semplicemente questa ricerca formulando una specifica che delinea una serie di requisiti di cui ogni effettiva implementazione di canali di stato ha bisogno per proteggersi da "potenti avversari".

Verso la realtà?

Detto questo, il team di Perun e perfino Buterin sanno che c'è ancora molta strada da fare.

Dziembowski ha detto che il prototipo del suo team T è ancora pronto per l'uso live, ma ora è "principalmente per scopi di ricerca". E Buterin ha detto di essere preoccupato per il futuro "rischio di errore" mentre la teoria viene messa in pratica con un vero codice di smart contract.

Parlando di questi rischi, Dziembowskidenominato The DAO, un'organizzazione basata su ethereum che avrebbe dovuto basarsi solo sul codice ma che ha chiuso i battenti dopo che alcuni suoi utenti sono stati hackerati e hanno rubato più di 50 milioni di dollari in ether, come esempio di cosa e quanto può andare storto.

Ciononostante, molti sono entusiasti di questo sforzo.

Buterin ha persino detto che ha in programma di elaborare un quadro di sicurezza simile perPlasma, un attesissimo progetto di espansione di cui è coautore l'anno scorso e che startup come OmiseGo stanno ora mettendo in pratica.

Parlando del lavoro di Perun, Buterin ha continuato:

"Personalmente sono convinto che sia fondamentalmente possibile realizzare tutte le cose che affermi nel modo in cui le stai facendo."

Il team di ricerca gli ha risposto dicendo che stanno lavorando a un'implementazione semplice.

BLUR del movimentoimmagine tramite Shutterstock