Ethereum sta implementando KZG, uno schema di impegno polinomiale, che potrebbe aiutare a scalare Ethereum.
Rendere le prove a conoscenza zero (ZKP) “comprensibili e accessibili” alle persone è necessario per mantenere l’ecosistema Ethereum “aperto e accogliente” per chi non ha una laurea in matematica, ha twittato il 26 ottobre il cofondatore di Ethereum Vitalik Buterin.
Le ZKP sono spesso definite “matematica della luna” a causa della loro complessità.
Sono così felice che Ethereum abbia una cultura così forte nel cercare di rendere tutta la nostra matematica lunare il più possibile comprensibile e accessibile alle persone. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) 26 ottobre 2022
Buterin ha aggiunto che “la decentralizzazione NON richiede di arrendersi e di sventolare un dottorato di ricerca dicendo “è una scatola nera, siamo intelligenti, fidatevi di noi””.
Scroll, una soluzione per la scalabilità di Ethereum di livello 2 a conoscenza zero, ha spiegato in un blog come funzionano gli schemi di impegno polinomiale, una parte fondamentale di diversi ZKP, e come possono aiutare a scalare Ethereum.
I polinomi sono espressioni matematiche che rappresentano più di due termini algebrici. Secondo il blog Scroll, i polinomi possono aiutare a rappresentare in modo efficiente dati di grandi dimensioni.
Uno schema di impegno è un protocollo crittografico in cui una persona si impegna a inviare un messaggio e lo tiene nascosto, ma può rivelarlo in seguito. Tuttavia, chi si impegna non può cambiare il messaggio una volta che si è impegnato, il che rende gli schemi di impegno vincolanti.
In uno schema di impegno polinomiale, ci si impegna su un polinomio invece che su un messaggio. Lo schema di impegno polinomiale soddisfa tutte le proprietà dei normali schemi di impegno. Ma ha una caratteristica aggiuntiva che permette a chi si impegna di dimostrare che si è impegnato su un certo polinomio che soddisfa le proprietà richieste senza rivelare il polinomio stesso.
KZG in Scaling Ethereum
Mentre esistono diversi schemi di impegno polinomiale, Kate-Zaverucha-Goldberg (KZG) è popolare nello spazio blockchain ed è utilizzato dai sistemi di prova di Scroll. KZG dovrebbe essere integrato in Ethereum con Proto-Danksharding, da implementare tramite EIP-4844, proposto nel febbraio 2022.
Proto-Danksharding è una soluzione provvisoria in attesa dell’implementazione di Danksharding, che potrebbe rendere più economico l’uso dei rollup. Proto-Danksharding introduce un nuovo tipo di transazione chiamata “transazione con trasporto di blob”. Queste transazioni trasportano un blob di dati di 128kb, a cui non si può accedere dal livello di esecuzione di Ethereum. Invece, solo l’impegno per il blob di dati sarà accessibile da Ethereum.
Il blob di dati è rappresentato come un polinomio e lo schema di impegno polinomiale KZG viene utilizzato per creare un impegno sui dati. Ciò consente di verificare le proprietà del blob di dati senza rivelare l’intero blob di dati.
L’uso di KZG può quindi consentire il campionamento della disponibilità dei dati (DAS), che sarà implementato nel percorso verso il Danksharding completo. Il DAS consente essenzialmente ai validatori di assicurarsi che il blob di dati sia disponibile e corretto, senza dover leggere l’intero blob di dati.
Questo, a sua volta, può contribuire in modo significativo a migliorare la scalabilità di Ethereum, poiché i validatori devono occuparsi di meno dati.
