Questo è il numero 1943 di Vernacular Blockchain Autore originale | Compilato dal collaboratore | Prodotto da Huohuo | Vernacular Blockchain (ID: hellobtc)

Per molto tempo è stato possibile ottenere solo due dei tre triangoli impossibili della blockchain (ovvero scalabilità, decentralizzazione e sicurezza), pertanto, dopo che Ethereum ha raggiunto un livello più elevato di sicurezza e privacy, l'espansione è diventata la massima priorità. Pertanto è nato il Layer 2. Nell'attuale piano di espansione del Layer 2, Vitalik Buterin (V God), cofondatore di Ethereum, considera la tecnologia ZK la soluzione definitiva al problema dell'espansione.

Il 21 maggio, alla conferenza EDCON 2023, una conferenza annuale globale senza scopo di lucro su Ethereum tenutasi in Montenegro, Buterin ha affermato che nei prossimi 10 anni, zk-SNARK con ZK come tecnologia sottostante sarà importante quanto la blockchain.

Allora quali sono gli zk-SNARK recentemente promossi da V God? Quali problemi intrattabili può risolvere la blockchain? Diamo un’occhiata all’introduzione di oggi. Quello che segue è il testo:

 

01 Cosa sono gli zk-SNARK?

1. Chi ha creato zk-SNARKs?

Il termine "zk-SNARKs" è stato coniato da un gruppo di crittografi, tra cui Nir Bitansky, Alessandro Chiesa ed Eran Tromer, che originariamente pubblicarono i principi di base di zk-SNARKs in un articolo. Da allora, zk-SNARK è stato gradualmente sviluppato e migliorato da molti progetti e team diversi.

2. Cosa significa zk-SNARK?

- ZK: conoscenza zero conoscenza zero

Conoscenza zero significa che la persona che sta verificando il reclamo non può ottenere alcuna nuova informazione dal processo di verifica. In altre parole, in un processo di prova a conoscenza zero, il verificatore sa solo se l’affermazione è vera o falsa e nient’altro.

- S: semplicità

Le dimostrazioni concise zk-SNARKs sono dimostrazioni brevi e facilmente verificabili. Ciò è in contrasto con le normali dimostrazioni a conoscenza zero, che possono essere molto lunghe e complesse. In genere, le prove zk-SNARK possono essere verificate in millisecondi.

- N: non interattivo non interattivo

Le prove zk-SNARKs non interattive non richiedono alcuna interazione tra dimostratore e verificatore. Ciò significa che un solo messaggio risultante viene inviato dal dimostratore al verificatore. Ciò è in contrasto con le dimostrazioni interattive, in cui il dimostratore e il verificatore devono interagire avanti e indietro tra loro per completare la dimostrazione.

- AR: argomento argomento

Un argomento è una ragione o un insieme di ragioni che supportano un punto di vista. Nel contesto di zk-SNARKs, un argomento è una sequenza di operazioni matematiche utilizzate per dimostrare che un argomento dichiarato è corretto.

- K: conoscenza conoscenza

La conoscenza è l'idea che il dimostratore conosca alcune informazioni necessarie per completare la dimostrazione. Ad esempio, potrebbe trattarsi della chiave privata dell'account.

Per riassumere, zk-SNARKs è un sistema ZK (sistema di prova a conoscenza zero) che consente agli utenti ("certificatori") di dimostrare qualcosa a un'altra parte ("verificatore"), come la loro identità, la proprietà dei fondi, ecc., senza rivelare alcuna informazione su tali beni. Per esempio:

- L'utente dovrebbe essere in grado di dimostrare che esiste un saldo sufficiente nel suo conto per acquistare il prodotto o servizio senza dover condividere l'importo esatto che possiede - L'utente dovrebbe essere in grado di verificare la propria identità prima di accedere all'applicazione senza dover condividere i suoi dati personali.

Come esempio di come "spiegare zk-SNARK a un bambino di 5 anni", ecco un gioco per spiegare cosa sono zk-SNARK:

"Immagina di giocare con tre amici. "Dov'è l'insegnante cinese? ", il premio è una scommessa di $ 1.000 divisa equamente tra i vincitori. Tu e i tuoi amici vi sedete attorno a un tavolo e a ciascuno viene data la foto di un insegnante cinese.

Devi trovare l'insegnante cinese nella foto. Una volta trovata l'insegnante cinese, devi dimostrare di averla trovata, ma non puoi rivelare la sua posizione o altre informazioni. In altre parole, vuoi dimostrare di conoscere i fatti senza rivelare alcuna informazione che vada oltre la fondatezza delle tue affermazioni.

Usando zkSNARK, puoi prendere un pezzo di carta della stessa dimensione e segnare un punto sulla posizione dell'insegnante cinese nella foto. Il foglio può quindi essere nascosto in una scatola e, una volta che i tuoi amici risolvono il puzzle, potranno vedere da soli la posizione dell'insegnante cinese che hai contrassegnato. "

In altre parole, zk-SNARK ti consente di dimostrare le informazioni di verifica di cui hai bisogno senza rivelare il valore specifico di tali informazioni. Nell'attuale ecosistema cross-chain, l'uso della tecnologia zk-SNARKs può mantenere la privacy delle blockchain e delle DApp costruite sulla sua piattaforma. In questo caso, l'idea chiave è che è impossibile per il verificatore ottenere alcuna informazione sulla dimostrazione (da qui il nome di prova a "conoscenza zero").

02 Come funziona zk-SNARKs

Gli zk-SNARK sono particolarmente importanti nello spazio crittografico, dove la privacy è particolarmente importante perché molte blockchain sono di natura pubblica. L’esempio più famoso è Zcash, un criptoasset per la privacy. Quando Zcash viene scambiato su catene pubbliche come Bitcoin ed Ethereum, per la verifica vengono utilizzati dettagli come gli indirizzi del mittente e del destinatario, nonché i valori di input e output (ovvero quanto è stato speso e quanto non è stato speso). Ma con zk-SNARKs, Zcash può dimostrare che una transazione è valida senza rivelare informazioni come indirizzo e valore.

Come Zcash utilizza zkSNARKS per fornire un livello di privacy agli utenti crittografici Fonte: Blockchainhub.net

Come funzionano gli zk-SNARK? Le firme digitali determinano il funzionamento di zk-SNARK. Le firme digitali utilizzano algoritmi di crittografia per proteggere le informazioni sensibili, nascondendole all'altra parte e fornendole al tempo stesso le prove necessarie richieste. Quindi, come si fa esattamente? I passaggi sono i seguenti: 1. Il prover genera prima una coppia di chiavi, una chiave pubblica e una chiave privata. Firma la transazione utilizzando la sua chiave privata. 2. Il prover codifica quindi questa transazione in zk-SNARKs, che è una prova matematica che la transazione è valida. 3. La prova viene inviata al verificatore insieme alla chiave pubblica. Il verificatore utilizza quindi la chiave pubblica per verificare che la formula sia corretta senza conoscere altre informazioni sulla transazione. Poiché viene verificata solo una piccola quantità di informazioni, questo controllo può essere completato molto rapidamente per confermare che la transazione è valida.

03 Casi d'uso specifici di zk-SNARK

1. Quali token utilizzano zk-SNARKs?

Il token crittografico SNARK è una risorsa crittografica che utilizza zk-SNARK per migliorare la privacy, noto anche come token della privacy. Esempi di tali privacy token sono: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) La sfida principale di zk-SNARKs è Se la chiave privata viene compromessa, possono essere create prove false. Ciò potrebbe consentire ai creatori di prove false di commettere frodi, ad esempio creando e utilizzando false privacy coin.

2. Altre applicazioni di zk-SNARKS

Filecoin è un fornitore di storage decentralizzato che opera su più fronti.

In primo luogo, i fornitori di storage sulla rete Filecoin (che forniscono spazio di archiviazione in cambio di premi in blocchi) e i “certificatori” devono dimostrare di archiviare correttamente i dati sulla catena. D’altra parte, abbiamo i “validatori”, ovvero i nodi, che devono verificare che il fornitore di storage stia archiviando e proteggendo correttamente i dati. Tali validatori devono accontentarsi della prova fornita dal gestore dello stoccaggio. Ciò richiede che i fornitori di storage e i nodi comunichino quando i dati cambiano di mano. Come puoi immaginare, questo processo richiederà molte risorse. Il post sul blog ufficiale di Filecoin spiega: "La quantità di dati che deve essere dimostrata oggi da un singolo fornitore di servizi di archiviazione per verificarne l'archiviazione è enorme e non farà altro che crescere nel tempo. La rete Filecoin ha un tempo di blocco di 30 secondi "per rimanere invariante nel tempo e che consenta metodi scalabili, Filecoin aveva bisogno di una soluzione che consentisse una verifica rapida, efficiente e solida."

Con zk-SNARKs, la rete Filecoin può aumentare la propria scalabilità ed efficienza riducendo il tempo necessario a ciascuna parte per verificare lo stoccaggio. Per i fornitori di storage, zk-SNARK riduce la quantità di dati necessari da trasmettere per dimostrare la propria archiviazione, riducendo così i costi operativi.

3. zk-SNARK può essere utilizzato anche per altre cose come:

- Autenticazione: verifica le credenziali dell'utente senza password, eliminando la necessità di documentazione come passaporti e certificati di nascita per proteggere informazioni sensibili come luogo e data di nascita.

- Sistema di voto: l'identità dell'elettore può essere verificata senza identificazione e l'identità dell'elettore non può essere identificata anche se la scheda elettorale è trapelata, proteggendo così la privacy dell'elettore.

- Compressione dei dati: questo è un uso interessante di zk-SNARKS e merita una sezione a parte.

04 Riepilogo

Nel complesso, zk-SNARKS ha tre punti chiave: 1. zkSNARKS è un sistema di prova a conoscenza zero che consente a una parte di dimostrare a un'altra parte di conoscere un valore x senza fornire altre informazioni su x. 2. L'idea chiave è che il verificatore non può dedurre nulla su x semplicemente dal fatto che il dimostratore può dimostrare di conoscere x. Ciò protegge la privacy dei dati del prover. 3. I sistemi a prova di conoscenza zero vengono utilizzati in una varietà di applicazioni, tra cui comunicazioni sicure, crittografia e analisi dei dati che preservano la privacy. Sebbene i sistemi di prova a conoscenza zero siano attualmente un’area di ricerca relativamente nuova, ci sono ancora molte domande aperte sulla loro fattibilità e praticità. Tuttavia, sono stati utilizzati per creare alcuni prodotti impressionanti.

Cosa ne pensi di zk-SNARKs Per favore lascia un messaggio nell'area commenti per la discussione.

Link originale: https://phemex.com/academy/what-is-zksnark Titolo originale: What Is zkSNARK: A Beginner-Friendly Explainer Autore originale: Collaboratore Compilatore: Huohuo

FINE