Danksharding
Il Danksharding è il modo in cui Ethereum diventa una blockchain veramente scalabile, ma sono necessari diversi aggiornamenti del protocollo per arrivarci. Il Proto-Danksharding è un passaggio intermedio lungo il percorso. Entrambi mirano a rendere le transazioni sul livello 2 il più economiche possibile per gli utenti e dovrebbero portare la scalabilità di Ethereum a >100.000 transazioni al secondo.
Cos'è il Proto-Danksharding?
Il Proto-Danksharding, noto anche come EIP-4844 (opens in a new tab), è un modo per i rollup di aggiungere dati più economici ai blocchi. Il nome deriva dai due ricercatori che hanno proposto l'idea: Protolambda e Dankrad Feist. Storicamente, i rollup sono stati limitati nel rendere economiche le transazioni degli utenti dal fatto che pubblicano le loro transazioni in CALLDATA.
Questo è costoso perché viene elaborato da tutti i nodi di Ethereum e risiede on-chain per sempre, anche se i rollup necessitano dei dati solo per un breve periodo. Il Proto-Danksharding introduce blob di dati che possono essere inviati e allegati ai blocchi. I dati in questi blob non sono accessibili alla macchina virtuale di Ethereum (EVM) e vengono eliminati automaticamente dopo un periodo di tempo fisso (impostato a 4096 epoche al momento della stesura, o circa 18 giorni). Ciò significa che i rollup possono inviare i propri dati in modo molto più economico e trasferire i risparmi agli utenti finali sotto forma di transazioni più economiche.
Come vengono verificati i dati dei blob?
I rollup pubblicano le transazioni che eseguono nei blob di dati. Pubblicano anche un "impegno" (commitment) per i dati. Lo fanno adattando una funzione polinomiale ai dati. Questa funzione può quindi essere valutata in vari punti. Ad esempio, se definiamo una funzione estremamente semplice f(x) = 2x-1, possiamo valutare questa funzione per x = 1, x = 2, x = 3 ottenendo i risultati 1, 3, 5. Un prover applica la stessa funzione ai dati e la valuta negli stessi punti. Se i dati originali vengono modificati, la funzione non sarà identica e, di conseguenza, non lo saranno nemmeno i valori valutati in ciascun punto. In realtà, l'impegno e la prova sono più complicati perché sono avvolti in funzioni crittografiche.
Cos'è KZG?
KZG sta per Kate-Zaverucha-Goldberg, i nomi dei tre autori originali (opens in a new tab) di uno schema che riduce un blob di dati a un piccolo "impegno" crittografico (opens in a new tab). Il blob di dati inviato da un rollup deve essere verificato per garantire che il rollup non si stia comportando in modo scorretto. Ciò comporta che un prover riesegua le transazioni nel blob per verificare che l'impegno fosse valido. Questo è concettualmente lo stesso modo in cui i client di esecuzione verificano la validità delle transazioni di Ethereum sul livello 1 utilizzando le prove di Merkle. KZG è una prova alternativa che adatta un'equazione polinomiale ai dati. L'impegno valuta il polinomio in alcuni punti dati segreti. Un prover adatterebbe lo stesso polinomio sui dati e lo valuterebbe agli stessi valori, verificando che il risultato sia lo stesso. Questo è un modo per verificare i dati che è compatibile con le tecniche a conoscenza-zero utilizzate da alcuni rollup e, in futuro, da altre parti del protocollo di Ethereum.
Cos'è stata la Cerimonia KZG?
La cerimonia KZG è stata un modo per molte persone della community di Ethereum di generare collettivamente una stringa casuale segreta di numeri che può essere utilizzata per verificare alcuni dati. È molto importante che questa stringa di numeri non sia nota e non possa essere ricreata da nessuno. Per garantire ciò, ogni persona che ha partecipato alla cerimonia ha ricevuto una stringa dal partecipante precedente. Ha quindi creato dei nuovi valori casuali (ad esempio, consentendo al proprio browser di misurare il movimento del mouse) e li ha mescolati con il valore precedente. Ha poi inviato il valore al partecipante successivo e lo ha distrutto dalla propria macchina locale. Finché almeno una persona nella cerimonia ha agito onestamente, il valore finale sarà inconoscibile per un utente malintenzionato.
La cerimonia KZG dell'EIP-4844 era aperta al pubblico e decine di migliaia di persone hanno partecipato per aggiungere la propria entropia (casualità). In totale ci sono stati oltre 140.000 contributi, rendendola la più grande cerimonia del suo genere al mondo. Affinché la cerimonia venisse compromessa, il 100% di quei partecipanti avrebbe dovuto essere attivamente disonesto. Dal punto di vista dei partecipanti, se sanno di essere stati onesti, non c'è bisogno di fidarsi di nessun altro perché sanno di aver protetto la cerimonia (hanno soddisfatto individualmente il requisito di 1 partecipante onesto su N).
Cos'è il Danksharding?
Il Danksharding è la piena realizzazione della scalabilità dei rollup iniziata con il Proto-Danksharding. Il Danksharding porterà enormi quantità di spazio su Ethereum affinché i rollup possano scaricare i dati compressi delle loro transazioni. Ciò significa che Ethereum sarà in grado di supportare facilmente centinaia di rollup individuali e rendere realtà milioni di transazioni al secondo.
Il modo in cui funziona è espandendo i blob allegati ai blocchi da sei (6) nel Proto-Danksharding, a 64 nel Danksharding completo. Il resto delle modifiche richieste sono tutti aggiornamenti al modo in cui operano i client di consenso per consentire loro di gestire i nuovi grandi blob. Molte di queste modifiche sono già nel piano d'azione per altri scopi indipendenti dal Danksharding. Ad esempio, il Danksharding richiede che sia stata implementata la separazione tra proponente e costruttore (proposer-builder separation). Questo è un aggiornamento che separa i compiti di costruzione dei blocchi e di proposta dei blocchi tra diversi validatori. Allo stesso modo, il campionamento della disponibilità dei dati è richiesto per il Danksharding, ma è anche richiesto per lo sviluppo di client molto leggeri che non memorizzano molti dati storici ("client senza stato").
Progressi attuali
Il Danksharding completo è lontano diversi anni. Nel frattempo, la cerimonia KZG si è conclusa con oltre 140.000 contributi e la EIP (opens in a new tab) per il Proto-Danksharding è maturata. Questa proposta è stata completamente implementata in tutte le reti di test ed è andata live sulla rete principale con l'aggiornamento della rete Cancun-Deneb ("Dencun") a marzo 2024.
Letture consigliate
- Note sul Proto-Danksharding (opens in a new tab) - Vitalik Buterin
- Note di Dankrad sul Danksharding (opens in a new tab)
- Dankrad, Proto e Vitalik discutono del Danksharding (opens in a new tab)
- La cerimonia KZG (opens in a new tab)
- Intervento di Carl Beekhuizen al Devcon sulle configurazioni attendibili (opens in a new tab)
- Maggiori informazioni sul campionamento della disponibilità dei dati per i blob (opens in a new tab)
- Dankrad Feist sugli impegni e le prove KZG (opens in a new tab)
- Impegni polinomiali KZG (opens in a new tab)
Ultimo aggiornamento della pagina: 16 febbraio 2026
