Vedere fantasmi: Vitalik sta finalmente formalizzando l'aggiornamento Casper di Ethereum

Casper sta iniziando a somigliare sempre meno a un fantasma.

Anche se potrebbe sembrare troppo bello per essere vero per i fedeli sostenitori Ethereum , CoinDesk ha confermato che il creatore della rete, Vitalik Buterin, è ora impegnato nella stesura di tre white paper che spiegano Casper, l'attesissima versione del protocollo basata sul consenso proof-of-stake.

In quanto tali, i documenti potrebbero rappresentare una pietra miliare per Ethereum , in quanto, sebbene Casper sia stato a lungo proposto come un modo migliore e più ecologico per KEEP la rete globale in linea con la cronologia delle transazioni della blockchain, il settore attendeva che i dettagli fossero messi su carta.

Piuttosto, l'idea è rimasta intrappolata nel cervello di alcuni sviluppatori Ethereum , con innovazioni e sviluppi sparsi ovunque gruppi di chat onlinee post del blog degli ultimi anni.

Poiché la proof-of-stake è presentata come un elemento cruciale di Ethereum, gli utenti hanno dovuto confidare nel fatto che questi sviluppatori avessero effettivamente un buon piano.

Pertanto, i white paper formali di Buterin saranno ora sottoposti a revisione paritaria da parte degli sviluppatori Ethereum , il che potrebbe segnare un grande passo avanti per il progetto, che si sta attualmente preparando a passare a Metropolis prima di convertire il sistema in proof-of-stake.

"In breve, i progetti Casper migliorano a ogni iterazione", ha detto a CoinDesk Virgil Griffith, noto hacker e sviluppatore Ethereum Ethereum sta attualmente esaminando i white paper di Buterin.

Nelle ultime due settimane, i documenti sono rimasti nascosti nei documenti di ricerca Ethereum su GitHub, con Buterin e Griffith che di tanto in tanto apportavano aggiornamenti.

Tuttavia, vale la pena notare la natura iniziale del lavoro. I documenti, che hanno punti interrogativi e alcune bolle "in arrivo!" sparse qua e là, T saranno pronti per almeno un mese, ha detto Griffith, aggiungendo:

"Ci sto lavorando mentre scrivo."

Lento e costante

IL primo articolo"Casper the Friendly Finality Gadget" – un gioco di parole sul film degli anni '90 "Casper the Friendly Ghost" – spiega come funziona il sistema di consenso ad alto livello.

In particolare, il documento ribadisce un recente cambio di direzione per Ethereum. Invece di passare subito da proof-of-work a proof-of-stake, il piano è iniziare lentamente intrecciando prima i due.

Il documento spiega:

"Il meccanismo di proposta sarà inizialmente l'attuale catena proof-of-work di Ethereum , rendendo la prima versione di Casper un algoritmo ibrido PoW/PoS che si basa sulla proof-of-work per la vitalità ma non per la sicurezza, ma nelle versioni future il meccanismo di proposta potrà essere sostituito con qualcos'altro."

Espandendo ulteriormente, la proof-of-work verrà utilizzata per convalidare la maggior parte dei blocchi Ethereum , ma la proof-of-stake verrà utilizzata come "punto di controllo" per ogni 100° blocco, fornendo maggiore "definitività" al sistema o una garanzia che le transazioni non possano essere spese più di una volta.

Il documento prosegue esaminando i possibili attacchi, come gli "attacchi a lungo raggio", che i validatori potrebbero provare a utilizzare e il modo in cui Casper intende superarli.

Il diavolo nei dettagli

Gli altri due documenti approfondiscono i dettagli del sistema.

Intitolato "Incentivi in ​​Casper il gadget amichevole della finalità", ilsecondo documentoesplora gli incentivi che servono a far funzionare il sistema e ad assicurarsi che T venga compromesso.

Per Casper, ci sono due tipi di cose che possono andare male: "guasti di sicurezza" si verificano quando le regole vengono infrante, ad esempio quando due validatori presentano stati incompatibili. "Guasti di vitalità" si verificano quando il sistema si arresta o non riesce a inviare le transazioni.

Poiché gli utenti devono depositare una parte del loro denaro per partecipare come validatori, il documento sottolinea che se i validatori tentano di violare le regole, il sistema ruberà il loro deposito.

Il terzo documento <a href="https://github.com/ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf">https://github.com/ Ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf</a> , "Automated Censorship Attack Rejection", si concentra sugli attacchi del 51 percento, quelli in cui un miner o un mining pool accumula la maggior parte della potenza di calcolo della rete e può quindi alterare le regole del sistema a proprio vantaggio, ad esempio per raddoppiare la spesa o bloccare le transazioni.

Gli sviluppatori hanno riflettuto a lungo su questo problema, poiché se dovesse verificarsi, potrebbe ridurre la fiducia nella blockchain come unica fonte di transazioni legittime.

Nel documento, Buterin sostiene che Casper attenua questo problema, poiché il protocollo punisce gli aggressori sottraendo loro i depositi se commettono un errore.

Un altro approccio

Vale la pena notare, tuttavia, che l'approccio di Buterin alla proof-of-stake, così come delineato in questi white paper, T è l'unico.

Vlad Zamfir della Ethereum Foundation, che guida l'effettivo sviluppo di Casper, ha affermato che intende pubblicare maggiori dettagli sulla sua versione di Casper prima di Devcon, la grande conferenza per gli sviluppatori di Ethereum in autunno.

Ha detto a CoinDesk:

"Vitalik è più motivato a implementare qualcosa al più presto, mentre io sono più motivato a cercare soluzioni teoricamente ottimali, anche se ciò comporta qualche ritardo."

E ancora, poiché la versione di Buterin sta appena prendendo forma sulla carta, si potrebbe supporre che durante il processo di revisione paritaria, alcune cose dovranno essere ulteriormente sviluppate.

Tuttavia, gli sviluppatori hanno già iniziato a implementare il primo passaggio dell'approccio Casper di Buterin, che dovrebbe essere lanciato qualche tempo dopo il prossimo grande aggiornamento di Ethereum,Metropoliverrà lanciato questo autunno.

E con questo, non è chiaro se la teoria su Casper sarà completamente chiarita prima che la gente veda il fantasma nella vita reale.

Fantasmaimmagine tramite Shutterstock