Una richiesta da 3,3 miliardi di dollari: la blockchain di Cardano ha "risolto" il problema della proof-of-stake?

"Il problema della proof-of-stake è stato risolto."

Anche in un settore in cui non sono mancate grandi proclami, quelle parole, pronunciate dall'imprenditore Charles Hoskinsonad aprile, ha catturato l'attenzione.

Il CEO della società blockchain IOHK (ed ex CEO di Ethereum), Hoskinson, voleva inviare un messaggio su un nuovo documento di ricerca, ONE a suo avviso dimostrava che la nuova svolta dell'azienda sul modo in cui le blockchain raggiungono il consenso, chiamata Ouroboros, aveva affrontato preoccupazioni di lunga data sulla capacità del modello di garantire sufficientemente i fondi degli investitori.

Data la portata della richiesta (e il suo impatto), è un'affermazione che ha suscitato dubbi nei concorrenti più importanti di Cardano. Tuttavia, mesi dopo, il team di IOHK sostiene che Ouroboros potrebbe essere la risposta a ONE delle domande più divisive delle criptovalute: se i cosiddetti sistemi proof-of-stake offrano soluzioni ad alcuni dei problemi urgenti del settore.

Finora il mercato sembra interessato all'opportunità di supportare la tesi.

Presto alimenterà la blockchain pubblica Cardano, Ouroboros potrebbe ONE giorno supportare l'ottava Criptovaluta più grande al mondo, con i suoi 25 miliardi di token ADA del valore di 3,3 miliardi di dollari. E uno sguardo alla storia dei sistemi proof-of-stake forse mostra perché così tanti soldi sono in gioco.

Lanciato per la prima volta dagli sviluppatori Scott Nadal e Sunny King nel 2012, il proof-of-stake offre quella che viene definita un'alternativa più sostenibile al proof-of-work, il metodo di consenso alla base della più grande blockchain al mondo per capitalizzazione di mercato, Bitcoin.

Consentendo agli utenti di votare o "puntare" le proprie monete su una cronologia delle transazioni in cambio di ricompense (invece di bruciare energia computazionale), è relativamente poco testato, essendo stato finora adottato solo in formati ibridi, su piccola scala o delegati.

Quindi, mentre la sicurezza di Bitcoin è relativamente comprovata (la sua blockchain attualmente sostiene 114 miliardi di dollari e ha retto per anni), molti programmatori Cripto ritengono che la proof-of-stake sia necessaria per far passare il settore alla fase successiva, in cui gli utenti non dovranno più possedere hardware per poter richiedere le ricompense di una blockchain.

Il problema è che ONE riesce a mettersi d'accordo su come farlo.

"Diversi algoritmi di consenso funzionano bene in ambienti diversi", ha detto a CoinDesk Nate Rush, ricercatore proof-of-stake per Ethereum , "se i presupposti secondo cui un protocollo è 'risolto' si rivelano inefficaci o irrealistici, allora questo protocollo può fallire".

Tuttavia, il team dietro Cardano, IOHK, ha lavorato per garantire partnership accademiche e relazioni con ricercatori nel campo del calcolo distribuito, nel tentativo di dimostrare che il modello proof-of-stake può essere realizzato.

Prendendo come punto di partenza la sicurezza di Bitcoin , lo scienziato capo dietro al protocollo, Aggelos Kiayias, ha creato prove formali per ogni fase della progettazione del protocollo, utilizzate per dissipare i dubbi sulla capacità dell'algoritmo di proteggere le risorse.

Kiayias ha detto a CoinDesk:

"Contrariamente ad [altri protocolli proof-of-stake], abbiamo sviluppato Ouroboros insieme a una prova formale di sicurezza che dimostra che il protocollo cattura effettivamente le proprietà di sicurezza di un registro delle transazioni robusto come Bitcoin."

Protocollo sottoposto a revisione paritaria

Ma non sono solo i ricercatori sulla proof-of-stake a non essere d'accordo: nel più ampio panorama della progettazione consensuale, c'è chi ritiene che la proof-of-stake sia destinata al fallimento fin dall'inizio.

Ad esempio, Dahlia Malkhi, una ricercatrice di sistemi distribuiti, ha affermatoall'inizio di quest'anno che il modello proof-of-stake di Ethereum, Casper, è "fondamentalmente vulnerabile", il che porta a un sistema in cui il consenso è alimentato dai ricchi.

Tuttavia, in questo clima di scetticismo, Cardano ha accumulato un elevato grado di supporto accademico, costruendo relazioni universitarie strategiche attraverso IOHK, una società a scopo di lucro con sedi in diverse università, tra cui il Toyko Institute of Tecnologie in Giappone, l'Università di Atene e l'Università di Edimburgo.

"Fondamentalmente abbiamo una sorta di rapporto università-azienda, quindi quello che facciamo in genere è creare centri di ricerca, incastrare del personale IOHK in quei centri di ricerca, sovvenzionare il laboratorio e quindi avere una sorta di controllo o influenza sul programma di ricerca", ha affermato Hoskinson.

Responsabili di Ethereum Classic e Zencash, nonché di Cardano stesso, secondo Hoskinson, queste partnership accademiche si ripercuotono sulle soluzioni Criptovaluta dell'IOHK.

"In genere, il risultato di questa relazione sono articoli sottoposti a revisione paritaria e noi abbiamo un team all'interno di IOHK che prende quegli articoli, ne estrae le specifiche e poi li inserisce nella pipeline per l'implementazione nei prodotti", ha continuato Hoskinson.

Oltre ad altre collaborazioni con Lancaster, la Kent University, Oxford e l'Illinois, il vantaggio è che un gruppo relativamente piccolo di ricercatori specializzati in questo argomento ha puntato gli occhi su Ouroborus, che è stato portato in giro anche in diverse conferenze accademiche.

"Abbiamo coinvolto un gruppo completo di persone che stanno effettivamente cercando di infrangere e migliorare i nostri protocolli CORE e, come risultato, è stato svolto un duro lavoro", ha detto Hoskinson a CoinDesk.

Cardano si prepara a diventare una piattaforma completa per smart contract e Criptovaluta ; al momento, le funzionalità sono limitate, ma nel corso dell'anno introdurrà le funzionalità necessarie per passare alla proof-of-stake.

Attualmente, mentre sta perfezionando i dettagli finali sotto simulazioni, Hoskinson ha insistito sul fatto che Ouroborus presenta dei vantaggi rispetto ad altri protocolli. Ad esempio, afferma che il sistema è l' ONE che consentirà agli utenti di fare staking da cold storage e di utilizzare più indirizzi per gestire le proprie finanze.

Hoskinson ha detto a CoinDesk:

"L'obiettivo a lungo termine è provare a replicare completamente tutte le capacità di sicurezza e funzionali del sistema proof-of-work senza dover effettivamente impiegare l'elettricità o gli sforzi richiesti dal proof-of- LOOKS e, ora che abbiamo dedicato circa due anni e mezzo di ricerca a questo argomento, Ouroboros sembra stia convergendo verso quella fase."

Incognite teoriche

Tuttavia, al momento in cui scriviamo, non è ancora chiaro come si comporterà il protocollo in natura e ci sono modi in cui la più ampia comunità di ricerca sulla proof-of-stake T è stata del tutto ricettiva nei confronti delle affermazioni di Cardano.

Ad esempio, ONE è stato così critico come il creatore di EOS Dan Larimer, un ex collega di Hoskinson, chi ha scritto che non solo "Ouroboros è un giubbotto antiproiettile da 400 libbre che in realtà T ferma i veri proiettili", ma sosteneva che si trattava di una variante mal concepita di un algoritmo da lui stesso ideato nel 2014.

(EOS utilizza una forma di proof-of-stake che si basa su nodi delegati a cui è stato assegnato il compito di raggiungere il consenso.)

Anche Ethereum, di cui Hoskinson è stato co-fondatore, ha manifestato scetticismo.

Ad esempio, parlando diRedditIl fondatore Ethereum , Vitalik Buterin, ha avvertito che ONE presupposto di sicurezza della blockchain potrebbe consentire agli hacker di creare false cronologie sulla blockchain.

Ci sono anche diversi approcci alla progettazione. Mentre il protocollo in sé è in atto, IOHK sta ancora lavorando alla costruzione del sistema di incentivi sottostante, qualcosa che il ricercatore Casper Vlad Zamfir crededovrebbe essere progettato di pari passo con la tecnologia.

Anche i tentativi di CoinDesk di coinvolgere i ricercatori con lavori pubblicati sulla proof-of-stake hanno prodotto risultati contrastanti: molti non hanno rilasciato commenti o hanno lasciato intendere di T aver ancora esaminato la Tecnologie e le sue specifiche affermazioni.

La teoria incontra la realtà

Ma secondo Emin Gün Sirer, professore e ricercatore di protocolli di consenso alla Cornell University, questo è tipico del settore.

"Ouroboros ha il vantaggio di essere sottoposto a revisione paritaria e di essere sostenuto da un gruppo di ricerca altamente qualificato", ha detto Gün Sirer a CoinDesk, "ma soffre anche di uno svantaggio che affligge molti dei primi protocolli proof-of-stake, ovvero: i documenti sono lunghi, densi e pieni di prove sottili".

Di conseguenza, Gün Sirer ha affermato: "Non ci sono due ricercatori in quest'area che sembrano concordare su quali articoli abbiano dimostrazioni valide e quali abbiano ridefinito le proprietà in modo da rendere le dimostrazioni prive di significato. La comunità accademica esamina gli articoli per il rigore accademico, non per l'applicazione nel mondo reale".

Detto questo, Hoskinson ritiene che questa interazione con il mondo accademico sia essenziale per la migrazione delle criptovalute alla fase successiva. Ha avvertito che mentre molte blockchain fanno ampie affermazioni sulla scalabilità e la sicurezza del loro prodotto, non ci sono molti profani con le competenze per valutare correttamente tali affermazioni.

Hoskinson ha affermato di aspettarsi pertanto che in futuro emergano ulteriori ricerche su Ouroboros e Cardano .

"Parliamo tutti dei Tendermints, dei Decreds e dei Caspers perché sono i marchi più accettati dal settore e hanno un buon marketing", ha affermato Hoskinson.

Tuttavia, ha continuato:

"Se si guarda alla corrente, si nota una crescente professionalizzazione del settore Criptovaluta ... scienziati seri che hanno grandi credenziali e stanno utilizzando il processo di revisione paritaria, portando con sé decenni di conoscenza."

Cubo di Rubik tramiteImmagine