Prove a conoscenza zero (zk-SNARK) nelle criptovalute: una guida completa

Se avete mai desiderato poter dimostrare la veridicità di qualcosa senza rivelarne i dettagli, siete già entrati nell'era resa possibile dagli zk-SNARK. 

Immaginate di dover dimostrare a un amico di avere più di 18 anni senza rivelare la vostra età esatta, o di dover dimostrare di avere fondi sufficienti per un acquisto senza mostrare l'intero saldo del vostro conto bancario. Nella vita di tutti i giorni, questo tipo di privacy sembra naturale, ma sulle blockchain tutto è visibile per impostazione predefinita.

Negli ultimi anni, gli zk-SNARK sono diventati una delle tecnologie più importanti nel settore blockchain. Dal supportare criptovalute incentrate sulla privacy come Zcash al consentire transazioni Ethereum più veloci ed economiche tramite gli zk-rollup, si sono trasformati da semplice idea di ricerca in un vero e proprio strumento utilizzato da milioni di persone, il tutto senza richiedere agli utenti di comprendere la complessa crittografia che ne sta alla base.

In parole semplici, gli zk-SNARK consentono a una parte di dimostrare la veridicità di un'affermazione senza rivelare le informazioni sottostanti, e lo fanno in modo rapido, sicuro e senza richiedere uno scambio continuo di comunicazioni.

Key Takeaway 

• Gli zk-SNARK consentono a una parte di dimostrare la veridicità di un'affermazione senza rivelare le informazioni sottostanti.
• Nella sua essenza, uno zk-SNARK risolve uno dei problemi più antichi dell'informatica e della comunicazione umana.
• Le prove a conoscenza zero, e in particolare gli zk-SNARK, si sono diffuse ben oltre il loro utilizzo originario nelle criptovalute incentrate sulla privacy.
• Sebbene le reti blockchain non mostrino il tuo vero nome, la tua attività finanziaria è visibile a tutti. 
• zk-SNARKs si basa su un concetto più ampio noto come prova a conoscenza zero.

Cos'è zk-SNARK?

Uno zk-SNARK è un potente tipo di prova crittografica che permette a qualcuno (il dimostratore) di convincere un'altra persona o un sistema (il verificatore) che un'affermazione è vera senza rivelare alcuna informazione privata alla base di tale affermazione. 

Ancora più impressionante è il fatto che le prove zk-SNARK sono estremamente piccole, molto veloci da verificare e non richiedono alcuna interazione tra il dimostratore e il verificatore una volta creata la prova.

Per capire perché questo sia rivoluzionario, immaginate di dover dimostrare di aver pagato correttamente le tasse, di aver eseguito un calcolo con precisione o di aver soddisfatto un requisito specifico (come avere più di 18 anni), senza dover rivelare documenti, cifre o dati personali. Questo è esattamente lo scopo degli zk-SNARK.

Caratteristiche principali in sintesi: conoscenza zero, concisione, non interattività, argomento della conoscenza

• Conoscenza zero: il verificatore non apprende nulla se non che "l'affermazione è vera".
• Concisione: la prova è estremamente piccola, spesso solo poche centinaia di byte, e può essere verificata in millisecondi.
• Non interattività: è richiesto un solo messaggio (una sola prova). Questo rende gli zk-SNARK ideali per blockchain e reti distribuite.
• Argomento della conoscenza: Il sistema garantisce che un dimostratore non potrebbe generare una prova valida a meno che non possieda il segreto richiesto o non esegua il calcolo corretto.

Nel loro insieme, queste caratteristiche rendono gli zk-SNARK uno degli strumenti più potenti per la verifica crittografica nei moderni sistemi digitali.

Leggi anche: Trading di criptovalute con margine semplificato: come fare trading con la leva finanziaria

Perché gli zk-SNARK sono così importanti

Nella sua essenza, uno zk-SNARK risolve uno dei problemi più antichi dell'informatica e della comunicazione umana:

Questa capacità sblocca livelli senza precedenti di privacy, efficienza e fiducia nei sistemi digitali. Consente nuove forme di identità, finanza, governance e comunicazione cross-chain che prima erano impossibili.

Contesto storico degli ZK-SNARK

La comprensione degli zk-SNARK inizia con il ripercorrere l'evoluzione delle prove a conoscenza zero, dalle loro radici teoriche negli anni '1980 alla loro ampia adozione nei moderni sistemi blockchain. 

Questa tecnologia non è nata dal nulla, ma è il risultato di decenni di rigorosa ricerca crittografica, importanti scoperte a livello di protocolli e implementazioni che hanno trasformato queste idee da articoli accademici in infrastrutture su scala globale.

Origini delle prove a conoscenza zero (anni '1980)

Il racconto inizia nel 1985, quando i crittografi Shafi Goldwasser, Silvio Micali e Charles Rackoff introdussero il concetto di prove a conoscenza zero (ZKP). Il loro lavoro rivoluzionario rispose a una domanda che all'epoca sembrava impossibile:

Come può una persona dimostrare la veridicità di un'affermazione senza rivelare ulteriori informazioni?

Non si trattò solo di un astuto stratagemma, ma rivoluzionò i fondamenti della crittografia e portò allo sviluppo di protocolli in grado di:

• Autenticare l'identità senza password
• Verifica i segreti senza rivelarli
• Dimostrare che un calcolo è stato eseguito correttamente senza rivelarne i dettagli interni.

Il loro articolo ha introdotto tre proprietà fondamentali che rimangono centrali per i ZKP ancora oggi:

• Completezza: i dimostratori onesti possono convincere i verificatori onesti
• Correttezza: i dimostratori disonesti non possono imbrogliare
• Conoscenza zero: non vengono divulgate informazioni aggiuntive

All'epoca, i protocolli ZKP erano per lo più protocolli interattivi basati su una complessa comunicazione bidirezionale. Sebbene potenti in teoria, queste prime dimostrazioni erano troppo complesse, troppo lente e richiedevano troppe interazioni per un utilizzo su larga scala. Tuttavia, hanno gettato le basi per tutto ciò che sarebbe venuto dopo.

Primi traguardi di SNARK (Pinocchio, libsnark)

Dal presto Negli anni 2010, i ricercatori hanno iniziato a studiare modi per rendere i ZKP più efficienti, non interattivi e "concisi", un requisito fondamentale per i sistemi del mondo reale.

Pinocchio (2013)

Migliori sfondamento Nel 2013 è arrivato il protocollo Pinocchio, creato da Parno, Gentry, Howell e Raykova. Pinocchio ha introdotto una forma quasi pratica di SNARK (Succinct Non-Interactive Arguments of Knowledge). Per la prima volta, gli sviluppatori potevano generare:

• Prove di dimensioni molto ridotte (solo poche centinaia di byte)
• Verifica rapida (millisecondi)
• Dimostrazioni di calcolo di uso generale

Questo segnò il passaggio dalla "curiosità teorica" ​​agli strumenti crittografici pratici.

libsnark (2014)

Poco dopo, il rilascio di libsnarklibsnark, una libreria C++ che implementa SNARK in stile Pinocchio, ha segnato un'altra pietra miliare. È diventata il primo framework SNARK ampiamente utilizzato, alimentando i primi esperimenti blockchain incentrati sulla tutela della privacy, incluso quello che sarebbe poi diventato Zcash. libsnark ha permesso agli sviluppatori di:

• Costruire circuiti
• Genera chiavi di prova e di verifica
• Produrre e verificare prove in applicazioni reali

Con Pinocchio e libsnark, gli zk-SNARK sono entrati ufficialmente nel mondo reale.

Leggi anche: La distruzione dei token spiegata: come funziona e perché viene utilizzata nei progetti crypto

Evoluzione attraverso Groth16, Sonic, Marlin, PLONK, Halo e altro ancora

Tra il 2010 e l'inizio del 2020 si è assistito a una rapida innovazione sia nella teoria che nell'ingegneria alla base degli SNARK. Sono emersi diversi protocolli, ognuno dei quali ha migliorato le prestazioni, la flessibilità o le ipotesi di fiducia.

Groth16 (2016)

Groth16, creato da Jens Groth, è diventato uno dei più influente Le costruzioni SNARK sono tra le migliori di sempre. Offrivano dimensioni di prova estremamente ridotte (fino a 128 byte), verifica rapida e prestazioni pratiche per circuiti di grandi dimensioni.

Il suo più grande svantaggio era la necessità di una configurazione affidabile per ogni circuito, ma nonostante ciò, è diventato la spina dorsale di molti sistemi reali, tra cui l'aggiornamento Sapling di Zcash e i primi zk-rollup.

Sonic (2019)

Partendo da questo lavoro precedente (il concetto di una configurazione affidabile universale e aggiornabile), Sonic ha fornito una struttura in cui la stringa di riferimento strutturata, universale e aggiornabile, si ridimensiona linearmente, risultando molto più efficiente e pratica per sistemi con circuiti di grandi dimensioni. Ciò consente a chiunque di contribuire con elementi casuali per migliorare l'affidabilità. Questo ha rappresentato un passo importante verso la decentralizzazione del processo di configurazione.

Marlin (2020)

Marlin divenne popolare nei sistemi che richiedevano definizioni di circuiti flessibili e aggiornamenti frequenti. Marlin migliorò rispetto a Sonic grazie a:

• Tempi di collaudo più rapidi
• Pre-elaborazione più efficiente
• Migliore compatibilità con gli ambienti blockchain

PLONK (2019–2021)

PLONK (e le sue varianti come TurboPLONK e UltraPLONK) hanno portato un nuovo livello di praticità.

I suoi principali vantaggi erano: configurazione universale affidabile (riutilizzo per sempre), alta efficienza, supporto per porte personalizzate e strumenti di sviluppo più potenti attorno ai circuiti

PLONK è diventato rapidamente uno dei sistemi di validazione dominanti per i rollup zk e i componenti zkEVM.

Halo e Halo 2 (2020-2022)

Halo ha introdotto un approccio ricorsivo, trasparente e senza necessità di fiducia per gli SNARK. I suoi contributi più importanti includono l'assenza totale di configurazione basata sulla fiducia, le prove ricorsive, che consentono a una prova di verificarne un'altra, e la capacità di comprimere prove molto grandi in prove più piccole. 

Halo2, sviluppato dalla Zcash Foundation e dalla Electric Coin Company, è diventato uno standard moderno per la creazione di applicazioni private e scalabili senza rifiuti tossici o cerimonie di installazione.

La gamma di strumenti dei sistemi SNARK si è ulteriormente ampliata con protocolli come Spartan, SuperNova e HyperPlonk, ognuno dei quali risponde a specifiche esigenze di prestazioni o flessibilità.

Applicazioni degli zk-SNARK

Le prove a conoscenza zero, e in particolare gli zk-SNARK, si sono diffuse ben oltre il loro utilizzo originario nelle criptovalute incentrate sulla privacy. Oggi, alimentano interi ecosistemi, dalla scalabilità delle blockchain all'identità, alla catena di approvvigionamento, alla sicurezza del cloud e alla comunicazione cross-chain. 

Questa sezione analizza le applicazioni più importanti verso cui si stanno orientando i futuri zk-SNARK.

Riservatezza e transazioni confidenziali

Gli zk-SNARK sono diventati famosi inizialmente per aver permesso transazioni di criptovaluta riservate, in cui importi, indirizzi del mittente e indirizzi del destinatario rimangono nascosti, mentre la rete verifica comunque la validità della transazione.

Scalabilità di livello 2: zk-Rollup e zkEVM

Una delle scoperte più importanti degli ultimi anni è l'utilizzo degli zk-SNARK per scalare le blockchain, in particolare Ethereum. 

zk-rollups raggruppa migliaia di transazioni off-chain e genera una piccola prova zk-SNARK che dimostra che ogni transazione ha rispettato le regole, che nessuno ha imbrogliato e che i saldi sono corretti. Successivamente, la prova viene pubblicata sulla blockchain principale.

zkEVM è una versione di Ethereum in grado di generare prove a conoscenza zero per l'esecuzione di smart contract.

Ciò significa che l'intero modello computazionale di Ethereum, i contratti intelligenti, l'archiviazione e le transizioni di stato possono essere dimostrati con gli zk-SNARK.

Verificabilità dei calcoli e dell'integrità del cloud

Gli zk-SNARK risolvono anche un problema importante al di fuori del mondo della crittografia:

Quando ci si affida ai provider di servizi cloud (AWS, Google Cloud, ecc.), la fiducia è fondamentale. Gli zk-SNARK cambiano le cose.

Credenziali anonime e sistemi di identità decentralizzati

Gli zk-SNARK consentono la creazione di sistemi di identità in cui le persone possono dimostrare chi sono (o che soddisfano i requisiti) senza rivelare informazioni personali.

Esempi:

• Dimostrare di avere più di 18 anni senza mostrare un documento d'identità.
• Come dimostrare di essere uno studente senza rivelare la propria email scolastica.
• Mostra che hai pagato un abbonamento senza rivelare la cronologia del tuo portafoglio.

Questi sistemi vengono spesso definiti credenziali anonime o sistemi di identificazione a conoscenza zero.

Catena di approvvigionamento, votazioni e aste

Le prove a conoscenza zero si rivelano particolarmente efficaci nei sistemi che richiedono sia trasparenza che riservatezza.

Audit della catena di fornitura

Le aziende possono dimostrare che i prodotti provengono da fonti etiche o che soddisfano gli standard di produzione senza divulgare elenchi di fornitori o dettagli aziendali sensibili.

Sistemi di voto

Gli zk-SNARK consentono di verificare la legittimità di ogni voto, garantendo l'assenza di doppi voti e mantenendo la completa riservatezza delle scelte degli elettori. Ciò risulta utile per la governance aziendale, le DAO e le sperimentazioni governative.

Aste e offerte competitive

Gli zk-SNARK consentono ai partecipanti di presentare offerte che rimangono segrete, dimostrando al contempo che l'offerta rispetta le regole e che il vincitore viene scelto in modo equo.

Ciò riduce le manipolazioni negli appalti, nelle aste di NFT e nelle gare d'appalto.

Interoperabilità, ponti e prove cross-chain

Di oggi ecosistema blockchain Comprende decine di reti, Ethereum, Solana, Bitcoin, Cosmos, Polkadot, ecc. Raramente si "fidano" l'una dell'altra per impostazione predefinita.

Gli zk-SNARK consentono a una blockchain di verificare lo stato di un'altra blockchain senza dover fare affidamento su un gruppo di validatori o utilizzare bridge multisig rischiosi.

Perché la privacy nelle criptovalute moderne dipende dagli zk-SNARK

Cryptovalute Sono state create per permettere alle persone di inviare denaro senza dipendere dalle banche. Ma molti utenti hanno presto scoperto un problema sorprendente: sebbene le reti blockchain non mostrino il tuo vero nome, la tua attività finanziaria è visibile a tutti. Ogni transazione, importo e movimento del portafoglio può essere tracciato per sempre.

Nei primi anni di Bitcoin, gli utenti credevano spesso che le loro attività fossero irrintracciabili perché gli indirizzi dei portafogli non assomigliavano per niente a nomi reali. Ma con la maturazione delle analisi blockchain, è diventato chiaro che pseudonimo non è sinonimo di privacy. 

Verso la fine degli anni 2010, ricercatori e team forensi hanno dimostrato ripetutamente che anche piccoli frammenti di metadati delle transazioni, come indirizzi IP, abitudini di spesa, portafogli riutilizzati o prelievi dagli exchange, potevano essere combinati per identificare individui reali con una precisione sorprendente. Questa crescente comprensione ha rivelato un limite importante:

Bitcoin nasconde il tuo nome, ma espone al mondo il tuo comportamento finanziario.

È qui che entrano in gioco gli zk-SNARK. Offrono un metodo efficace per mantenere private le proprie informazioni finanziarie senza violare le regole della blockchain.

Prove a conoscenza zero: l'idea alla base della privacy

zk-SNARK, acronimo di Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argomento conciso non interattivo sulla conoscenza a conoscenza zero), si basa su un concetto più ampio noto come dimostrazione a conoscenza zero.

Una prova a conoscenza zero consente a una parte (il dimostratore) di dimostrare di conoscere un'informazione o di aver completato un calcolo valido senza mostrare l'informazione stessa. Pensala in questo modo:

• Esempio di autenticazione tradizionale
• Per accedere a un sito web, si digita la password.
• Invii la password al sito web.
• Il sito web controlla se corrisponde a quanto memorizzato nel suo database.

Ciò significa che il sito web deve memorizzare la tua password (o una sua forma), che può essere rubata o divulgata.

Come zk-SNARKs risolve il problema della privacy

Gli zk-SNARK consentono alle blockchain di nascondere informazioni sensibili, dimostrando al contempo la validità di ogni transazione. Ecco come migliorano la privacy:

Nascondono gli importi delle transazioni

Senza zk-SNARK, chiunque può vedere esattamente quanti soldi invii. Con zk-SNARK, l'importo è nascosto, ma la blockchain sa comunque che i calcoli sono corretti.

Esempio:

• Potresti inviare 50 token e la rete verificherebbe:
• avevi abbastanza equilibrio
• Non sono state create né perse monete.
• La transazione è legittima, ma nessuno può vedere il numero 50.

Nascondono gli indirizzi del mittente e del destinatario

Gli esploratori di blockchain normalmente rivelano chi ha inviato monete a chi. Gli zk-SNARK sostituiscono questo con una prova privata che afferma:

Nessuno può visualizzare gli indirizzi dei portafogli coinvolti e ciò protegge l'identità dei donatori, le transazioni commerciali, i trasferimenti personali, gli stipendi on-chain e i prelievi dagli exchange.

Mantengono i saldi privati

Sulle blockchain trasparenti, chiunque può verificare quanti soldi sono presenti nel tuo portafoglio. Gli zk-SNARK impediscono ciò nascondendo il tuo saldo, pur consentendo alla rete di confermarne la coerenza. Nessuno può tracciare il tuo patrimonio netto o la tua cronologia delle spese.

Mantengono la piena sicurezza

Uno dei principali punti di forza degli zk-SNARK è che la privacy non va a scapito della sicurezza. Garantiscono infatti l'assenza di doppia spesa, transazioni false, creazione di monete fasulle e la piena integrità delle regole della blockchain. La rete verifica matematicamente ogni elemento, pur non avendo accesso diretto ai dati privati.

Consentono una trasparenza facoltativa

Alcuni sistemi di criptovaluta (come Zcash) consentono agli utenti di rivelare informazioni solo quando lo desiderano. Esempi di utilizzo:

• dimostrare una transazione a un revisore dei conti
• mostra una ricevuta di donazione
• verifica delle informazioni fiscali
• condivisione della prova dei fondi

Ciò garantisce la privacy senza compromettere la responsabilità quando necessaria.

Modello di sicurezza zk-SNARKs e rischi comuni

Comprendere come gli zk-SNARK mantengano la loro sicurezza e dove possono fallire è fondamentale per sviluppatori, utenti e ricercatori. Sebbene gli zk-SNARK offrano privacy ed efficienza di verifica di livello mondiale, si basano su solide ipotesi crittografiche e su una progettazione precisa. 

Questa sezione illustra il modello di sicurezza e i rischi più comuni in modo chiaro e accessibile.

Solidità, conoscenza zero, completezza: i tre pilastri

Ogni sistema zk-SNARK si basa su tre principali garanzie di sicurezza:

Correttezza (senza imbrogli)

La correttezza garantisce che un'affermazione falsa non possa produrre una prova valida. Se qualcuno tenta di dimostrare "Ho pagato 10 monete" quando non è vero, il verificatore deve respingerla.

Correttezza = I bari non possono produrre prove false.

Conoscenza zero (nessuna fuga di informazioni)

La tecnologia a conoscenza zero garantisce che il verificatore non venga a conoscenza di nulla al di là della validità dell'affermazione. Ad esempio, un utente può dimostrare di avere un saldo sufficiente per effettuare un pagamento, senza rivelare il saldo effettivo.

Conoscenza zero = Dimostri la verità senza rivelare alcun dettaglio.

Completezza (le prove oneste verificano sempre)

La completezza garantisce che, se qualcuno rispetta le regole e fornisce una prova corretta, il verificatore la accetterà sempre.

Completezza = Gli utenti onesti non vengono mai rifiutati.

Rischi derivanti da sistemi di fiducia compromessi

Molti sistemi zk-SNARK (come Groth16) richiedono una cerimonia di configurazione affidabile, un processo in cui viene generato un insieme di parametri chiamati CRS o SRS.

Cosa succede se la configurazione affidabile viene compromessa?

Se qualcuno conservasse i "rifiuti tossici" (la casualità segreta utilizzata durante la fase di configurazione), potrebbe generare prove false, creare denaro dal nulla (aspetto cruciale per le criptovalute come le prime versioni di Zcash) o aggirare completamente la verifica.

Questo è uno dei maggiori rischi nelle prime fasi di progettazione di SNARK.

Come i sistemi moderni affrontano questo problema:

• Cerimonie con più partecipanti (molti partecipanti, solo uno deve essere sincero)
• Configurazioni universali (PLONK, Marlin)
• Prove trasparenti senza configurazione affidabile (STARK, Halo2, alcune varianti di Plonk)
• Verifiche continue della configurazione e cerimonie pubbliche (cerimonia KZG di Ethereum)

I rischi legati alle configurazioni affidabili sono oggi ben compresi, ma devono essere presi sul serio.

Ipotesi crittografiche

Gli zk-SNARK si basano su diverse ipotesi di difficoltà crittografica:

• Crittografia basata su accoppiamenti

Molti SNARK dipendono da accoppiamenti a curva ellittica (ad esempio, BN254, BLS12-381). Se la sicurezza degli accoppiamenti viene compromessa, le prove potrebbero essere falsificate, la conoscenza zero potrebbe indebolirsi e la verifica potrebbe essere aggirata.

• Assunzione del logaritmo discreto

La sicurezza delle curve ellittiche dipende dalla difficoltà di risolvere problemi logaritmici discreti. Una svolta (quantistica o classica) potrebbe minare gli SNARK.

• Sicurezza delle funzioni hash

I moderni sistemi di dimostrazione utilizzano ampiamente le funzioni hash negli impegni e nelle trasformazioni Fiat-Shamir.

Le debolezze nelle funzioni hash possono portare a collisioni, impegni infranti o prove false

Procedure consigliate per una distribuzione sicura secondo zk-SNARKs.

Per utilizzare in modo affidabile gli zk-SNARK in produzione, soprattutto in progetti blockchain o finanziari, è fondamentale seguire rigorose pratiche di sicurezza. Di seguito sono elencate le più importanti:

Audit di sicurezza multipli e indipendenti

Nessun singolo revisore è in grado di individuare tutte le vulnerabilità, motivo per cui i migliori progetti zk-SNARK si affidano a una combinazione di esperti di crittografia, specialisti di circuiti, revisori dell'implementazione e progettisti di protocolli. Questo approccio a più livelli aiuta a identificare i problemi da ogni angolazione prima che i sistemi vengano messi in funzione.

Build riproducibili

Un'implementazione sicura di zk-SNARK richiede che chiunque possa ricompilare il prover o il verificatore dal codice sorgente e ottenere binari identici. Questa trasparenza impedisce l'inserimento di backdoor nascoste e garantisce che il software si comporti esattamente come previsto.

Verifica formale

Alcuni sistemi ad alta affidabilità, in particolare le reti Layer-2 di Ethereum e i protocolli incentrati sulla privacy, utilizzano la verifica formale. 

Ciò implica la dimostrazione matematica della correttezza dei circuiti, della validità delle ipotesi di solidità, del corretto rispetto dei vincoli e dell'assenza di percorsi logici indesiderati. Aggiunge un ulteriore livello di affidabilità rispetto ai test tradizionali.

Generazione di parametri open-source

Le cerimonie di configurazione pubbliche e trasparenti, come la configurazione affidabile KZG di Ethereum, garantiscono che nessuna singola parte controlli la casualità segreta utilizzata per generare i parametri di sistema. Ciò impedisce che i rifiuti tossici vengano utilizzati impropriamente per falsificare prove o compromettere la sicurezza.

Monitoraggio continuo e ricompense per la segnalazione di bug

La sicurezza non si esaurisce con il lancio. I principali zk-rollup e progetti per la privacy monitorano attivamente le proprie infrastrutture e gestiscono importanti programmi di bug bounty, offrendo talvolta ricompense milionarie. Questo incoraggia i ricercatori e gli hacker etici a segnalare tempestivamente i problemi anziché sfruttarli.

Conclusione 

Gli zk-SNARK possono sembrare una forma avanzata di crittografia, e in effetti lo sono, ma il loro scopo è sorprendentemente umano: permettere alle persone di dimostrare la veridicità delle proprie affermazioni senza rinunciare alla privacy. Dalla protezione dei dettagli delle transazioni in Zcash al supporto di reti Layer 2 veloci e sicure come zkSync e Polygon zkEVM, gli zk-SNARK sono diventati una delle tecnologie più influenti nel mondo blockchain.

Con la continua espansione delle blockchain, le sfide relative a privacy, sicurezza e scalabilità si fanno sempre più pressanti. Gli zk-SNARK risolvono tutte e tre queste problematiche contemporaneamente. Permettono di mantenere riservate le informazioni, verificare i dati istantaneamente e ridurre il carico sulle reti dimostrando l'esecuzione dei calcoli anziché rivelarli. Per questo motivo, le principali piattaforme, gli sviluppatori e le istituzioni stanno investendo massicciamente nei sistemi basati su zk.

Quella che un tempo sembrava un'idea di ricerca di nicchia ora sta fornendo alle app la verifica dell'identità senza esporre dati personali, transazioni blockchain più veloci, comunicazioni cross-chain sicure, catene di approvvigionamento protette, sistemi di voto privati ​​e molto altro ancora.

DOMANDE FREQUENTI

Cosa sono gli zk-SNARK?

Gli zk-SNARK sono prove crittografiche che consentono di dimostrare la veridicità di un'affermazione senza rivelarne le informazioni sottostanti. Sono ampiamente utilizzati nella blockchain per motivi di privacy e verifica.

In che modo gli zk-SNARK migliorano la privacy nelle criptovalute?

Nascondono i dettagli della transazione, come mittente, destinatario e importo, pur consentendo alla rete di verificare la validità della transazione.

Gli zk-SNARK sono equivalenti alle prove a conoscenza zero?

Sì, gli zk-SNARK sono un tipo di prova a conoscenza zero che è concisa (di piccole dimensioni), non interattiva ed efficiente per l'utilizzo su blockchain.

Quali criptovalute utilizzano gli zk-SNARK?

Zcash è il più conosciuto, ma gli zk-SNARK vengono utilizzati anche in soluzioni di livello 2 come zkSync, Polygon zkEVM e applicazioni incentrate sulla privacy come Aleo.

Gli zk-SNARK sono sicuri?

Sì, sono considerati sicuri se implementati correttamente. La sicurezza si basa su presupposti crittografici, una configurazione affidabile adeguata (o alternative senza necessità di fiducia) e un'attenta verifica.

È possibile utilizzare gli zk-SNARK al di fuori del contesto delle criptovalute?

Assolutamente. Vengono utilizzati anche per il voto privato, la verifica anonima dell'identità, il cloud computing verificabile, gli audit della catena di approvvigionamento e le prove cross-chain.