Rendere le prove a conoscenza zero (ZKP) "comprensibili e accessibili" alle persone è necessario per mantenere l'ecosistema Ethereum "aperto e accogliente" per le persone senza una laurea in matematica, ha twittato il co-fondatore di Ethereum Vitalik Buterin il 26 ottobre.
Le ZKP sono spesso chiamate "matematica lunare" a causa della loro complessità.
Sono così felice che Ethereum abbia una cultura così forte nel sforzarsi di rendere tutta la nostra matematica lunare il più comprensibile e accessibile possibile alle persone. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Ottobre 26, 2022
Buterin ha aggiunto che "Il decentramento non richiede arrendersi e sventolare un dottorato di ricerca in giro dicendo "è una scatola nera, siamo intelligenti, fidati di noi"."
Scroll, una soluzione di ridimensionamento di Ethereum di livello 2 a conoscenza zero, spiegata in a 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 dati di grandi dimensioni in modo efficiente.
Uno schema di impegno è un protocollo crittografico in cui ci si impegna a un messaggio e lo tiene nascosto, ma può rivelare il messaggio in un secondo momento. Tuttavia, il committente non può modificare il messaggio una volta che si è impegnato in esso, il che rende vincolanti gli schemi di impegno.
In uno schema di impegno polinomiale, ci si impegna a un polinomio invece che a un messaggio. Lo schema di impegno polinomiale soddisfa tutte le proprietà dei normali schemi di impegno. Ma ha una caratteristica aggiuntiva che consente al committente di dimostrare di essersi impegnato in un certo polinomio che soddisfa le proprietà richieste senza rivelare il polinomio stesso.
KZG nel ridimensionamento di Ethereum
Sebbene esistano diversi schemi di impegno polinomiale, Kate-Zaverucha-Goldberg (KZG) è popolare nello spazio blockchain ed è utilizzato dai sistemi di prova di Scroll. KZG dovrebbe anche essere integrato in Ethereum con Proto-Danksharding, da implementare tramite EIP-4844, proposto nel febbraio 2022.
Proto-Danksharding è una soluzione tampone fino a quando Danksharding, che potrebbe rendere più economico l'uso dei rollup, non può essere implementato. Proto-Danksharding introduce un nuovo tipo di transazione chiamato "transazione che trasporta blob". Queste transazioni trasportano un blob di dati di 128kb, a cui non è possibile 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 del polinomio KZG viene utilizzato per creare un impegno per i dati. Ciò consente di verificare le proprietà del BLOB di dati senza rivelare l'intero BLOB.
L'uso di KZG può, quindi, abilitare il campionamento della disponibilità dei dati (DAS), che sarà implementato nel percorso verso il Danksharding completo. DAS consente essenzialmente ai validatori di garantire che il BLOB di dati sia disponibile e corretto, senza dover leggere l'intero BLOB di dati.
Questo, a sua volta, può aiutare in modo significativo a migliorare la scalabilità di Ethereum poiché i validatori devono gestire meno dati.
Fonte: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/