Spieghiamo ZK: 📚 ZK sta per Zero Knowledge e sblocca 2 super-poteri: Privacy e Scalabilità. ZK è vicino al mio cuore, sia come co-inventore degli ZK-STARKs che come co-fondatore di 2 progetti ZK: @Zcash (focalizzato sulla privacy) e @StarkWareLtd (focalizzato sulla scalabilità e ora sulla privacy)

@Zcash @StarkWareLtd Come funziona ZK? Ci sono due tipi di entità: un Prover e un Verifier Il Prover fa il lavoro pesante : - Registrare i dati di tutte le tx - Elaborare i dati - Aggiornare lo stato del sistema (significa il saldo dopo tutte le tx) - Generare un aggiornamento dello stato e una prova

@Zcash @StarkWareLtd Una dichiarazione tipica del Prover dice "Io, il Prover, ho iniziato con lo stato A, ho elaborato 1.000.000 tx e, basandomi su questi, ho raggiunto lo stato B". La prova è una sequenza di numeri e hash che possono essere verificati per dimostrare l'integrità dell'intera dichiarazione.

@Zcash @StarkWareLtd Il Verificatore (che di solito si trova onchain) controlla la prova, utilizzando matematica e crittografia per verificare se l'affermazione è vera prima di essere accettata. I teoremi che abbiamo dimostrato nel corso degli anni affermano che il Verificatore accetta sempre affermazioni vere e non accetta mai affermazioni false.

@Zcash @StarkWareLtd Un Prover malevolo che potrebbe cercare di convincere un Verifier ad accettare una dichiarazione falsa deve fare una quantità di lavoro simile a quella necessaria per trovare una collisione in una funzione hash crittografica, cosa che non può essere fatta prima che il nostro Sole si raffreddi.

@Zcash @StarkWareLtd Perché ZK è buono per la privacy? Il Verificatore non controlla la correttezza dell'affermazione elaborando i dati per cui attesta. Ecco perché i dati possono essere verificati come validi pur rimanendo nascosti al Verificatore.

@Zcash @StarkWareLtd Perché ZK è buono per la scalabilità? Il Verificatore non deve ripetere il calcolo che ha fatto il Prover. Il prover può elaborare 1 milione di tx, ma il Verificatore non dovrà ripeterlo per verificare la correttezza di tutti questi tx. Controllare la prova sarà sufficiente per garantirne la validità.