Cosa sono le prove a conoscenza zero?

Una prova a conoscenza zero è un modo per dimostrare la validità di un'affermazione senza rivelare l'affermazione stessa. Il "prover" è la parte che cerca di dimostrare un'affermazione, mentre il "verificatore" è responsabile della convalida dell'affermazione.

Le prove a conoscenza zero sono apparse per la prima volta in un articolo del 1985, "The knowledge complexity of interactive proof systems (opens in a new tab)", che fornisce una definizione di prove a conoscenza zero ampiamente utilizzata ancora oggi:

Un protocollo a conoscenza zero è un metodo con cui una parte (il prover) può dimostrare a un'altra parte (il verificatore) che qualcosa è vero, senza rivelare alcuna informazione oltre al fatto che questa specifica affermazione è vera.

Le prove a conoscenza zero sono migliorate nel corso degli anni e ora vengono utilizzate in diverse applicazioni del mondo reale.

Perché abbiamo bisogno delle prove a conoscenza zero?

Le prove a conoscenza zero hanno rappresentato una svolta nella crittografia applicata, poiché promettevano di migliorare la sicurezza delle informazioni per gli individui. Considera come potresti dimostrare un'affermazione (ad es., "Sono cittadino del paese X") a un'altra parte (ad es., un fornitore di servizi). Dovresti fornire delle "prove" per supportare la tua affermazione, come un passaporto nazionale o una patente di guida.

Ma ci sono dei problemi con questo approccio, principalmente la mancanza di privacy. Le informazioni di identificazione personale (PII) condivise con servizi di terze parti vengono archiviate in database centrali, che sono vulnerabili agli attacchi informatici. Con il furto d'identità che sta diventando un problema critico, c'è richiesta di mezzi più protettivi della privacy per la condivisione di informazioni sensibili.

Le prove a conoscenza zero risolvono questo problema eliminando la necessità di rivelare informazioni per dimostrare la validità delle affermazioni. Il protocollo a conoscenza zero utilizza l'affermazione (chiamata "testimone") come input per generare una prova succinta della sua validità. Questa prova fornisce forti garanzie che un'affermazione sia vera senza esporre le informazioni utilizzate per crearla.

Tornando al nostro esempio precedente, l'unica prova di cui hai bisogno per dimostrare la tua cittadinanza è una prova a conoscenza zero. Il verificatore deve solo controllare se determinate proprietà della prova sono vere per convincersi che anche l'affermazione sottostante sia vera.

Casi d'uso per le prove a conoscenza zero

Pagamenti anonimi

I pagamenti con carta di credito sono spesso visibili a più parti, inclusi il fornitore dei pagamenti, le banche e altre parti interessate (ad es., le autorità governative). Sebbene la sorveglianza finanziaria abbia dei vantaggi per l'identificazione di attività illegali, mina anche la privacy dei cittadini comuni.

Le criptovalute erano intese a fornire un mezzo agli utenti per condurre transazioni private peer-to-peer. Ma la maggior parte delle transazioni in criptovaluta è apertamente visibile sulle blockchain pubbliche. Le identità degli utenti sono spesso pseudonime e collegate volontariamente a identità del mondo reale (ad es., includendo indirizzi ETH sui profili Twitter o GitHub) o possono essere associate a identità del mondo reale utilizzando un'analisi di base dei dati onchain e offchain.

Esistono specifiche "privacy coin" progettate per transazioni completamente anonime. Le blockchain incentrate sulla privacy, come Zcash e Monero, nascondono i dettagli della transazione, inclusi gli indirizzi del mittente/destinatario, il tipo di asset, la quantità e la cronologia della transazione.

Integrando la tecnologia a conoscenza zero nel protocollo, le reti incentrate sulla privacy consentono ai di convalidare le transazioni senza dover accedere ai dati della transazione. L'EIP-7503 (opens in a new tab) è un esempio di un design proposto che consentirà trasferimenti di valore privati nativi sulla blockchain di Ethereum. Tali proposte sono, tuttavia, difficili da implementare a causa di un mix di problemi di sicurezza, normativi e di esperienza utente (UX).

Le prove a conoscenza zero vengono applicate anche per rendere anonime le transazioni sulle blockchain pubbliche. Un esempio è Tornado Cash, un servizio decentralizzato e non-custodial che consente agli utenti di condurre transazioni private su Ethereum. Tornado Cash utilizza le prove a conoscenza zero per offuscare i dettagli della transazione e garantire la privacy finanziaria. Sfortunatamente, poiché si tratta di strumenti per la privacy "opt-in" (facoltativi), sono associati ad attività illecite. Per superare questo problema, la privacy dovrà prima o poi diventare l'impostazione predefinita sulle blockchain pubbliche. Scopri di più sulla privacy su Ethereum.

Protezione dell'identità

Gli attuali sistemi di gestione dell'identità mettono a rischio le informazioni personali. Le prove a conoscenza zero possono aiutare gli individui a convalidare l'identità proteggendo al contempo i dettagli sensibili.

Le prove a conoscenza zero sono particolarmente utili nel contesto dell'identità decentralizzata (DID). L'identità decentralizzata (descritta anche come "identità auto-sovrana") dà all'individuo la capacità di controllare l'accesso agli identificatori personali. Dimostrare la propria cittadinanza senza rivelare il codice fiscale o i dettagli del passaporto è un buon esempio di come la tecnologia a conoscenza zero abiliti l'identità decentralizzata.

Prova di umanità

Uno degli esempi più ampiamente utilizzati oggi di prove a conoscenza zero in azione è il protocollo World ID (opens in a new tab), che può essere considerato come "un passaporto digitale globale per l'era dell'IA". Consente alle persone di dimostrare di essere individui unici senza rivelare informazioni personali. Ciò si ottiene attraverso un dispositivo chiamato Orb, che scansiona l'iride di una persona e genera un codice dell'iride. Il codice dell'iride viene controllato e verificato per confermare che la persona sia un essere umano biologicamente unico. Dopo la verifica, un commitment di identità generato sul dispositivo dell'utente (e non collegato o derivato dai dati biometrici) viene aggiunto a un elenco sicuro sulla blockchain. Quindi, ogni volta che l'utente vuole dimostrare di essere un umano verificato, che sia per accedere, votare o intraprendere altre azioni, può generare una prova a conoscenza zero che conferma la sua appartenenza all'elenco. Il bello dell'utilizzo di una prova a conoscenza zero è che viene rivelata solo un'affermazione: questa persona è unica. Tutto il resto rimane privato.

World ID si basa sul protocollo Semaphore (opens in a new tab) sviluppato dal team PSE (opens in a new tab) della Fondazione Ethereum. Semaphore è progettato per essere un modo leggero ma potente per generare e verificare prove a conoscenza zero. Consente agli utenti di dimostrare di far parte di un gruppo (in questo caso, umani verificati) senza mostrare quale membro del gruppo siano. Semaphore è anche altamente flessibile, consentendo la creazione di gruppi in base a un'ampia gamma di criteri come la verifica dell'identità, la partecipazione a eventi o il possesso di credenziali.

Autenticazione

L'utilizzo di servizi online richiede di dimostrare la propria identità e il diritto di accedere a tali piattaforme. Questo spesso richiede di fornire informazioni personali, come nomi, indirizzi e-mail, date di nascita e così via. Potrebbe anche essere necessario memorizzare lunghe password o rischiare di perdere l'accesso.

Le prove a conoscenza zero, tuttavia, possono semplificare l'autenticazione sia per le piattaforme che per gli utenti. Una volta generata una prova ZK utilizzando input pubblici (ad es., dati che attestano l'appartenenza dell'utente alla piattaforma) e input privati (ad es., i dettagli dell'utente), l'utente può semplicemente presentarla per autenticare la propria identità quando ha bisogno di accedere al servizio. Ciò migliora l'esperienza per gli utenti e libera le organizzazioni dalla necessità di archiviare enormi quantità di informazioni sugli utenti.

Calcolo verificabile

Il calcolo verificabile è un'altra applicazione della tecnologia a conoscenza zero per migliorare i design delle blockchain. Il calcolo verificabile ci consente di esternalizzare il calcolo a un'altra entità mantenendo risultati verificabili. L'entità invia il risultato insieme a una prova che verifica che il programma sia stato eseguito correttamente.

Il calcolo verificabile è fondamentale per migliorare le velocità di elaborazione sulle blockchain senza ridurre la sicurezza. Comprenderlo richiede di conoscere le differenze nelle soluzioni proposte per scalare Ethereum.

Le soluzioni di ridimensionamento onchain, come lo sharding, richiedono ampie modifiche al layer di base della blockchain. Tuttavia, questo approccio è altamente complesso e gli errori nell'implementazione possono minare il modello di sicurezza di Ethereum.

Le soluzioni di ridimensionamento offchain non richiedono la riprogettazione del protocollo principale di Ethereum. Si basano invece su un modello di calcolo esternalizzato per migliorare la capacità transazionale sul layer di base di Ethereum.

Ecco come funziona in pratica:

• Invece di elaborare ogni transazione, Ethereum scarica l'esecuzione su una catena separata.

• Dopo aver elaborato le transazioni, l'altra catena restituisce i risultati da applicare allo stato di Ethereum.

Il vantaggio qui è che Ethereum non deve eseguire alcuna esecuzione e deve solo applicare i risultati del calcolo esternalizzato al suo stato. Ciò riduce la congestione della rete e migliora anche le velocità delle transazioni (i protocolli offchain sono ottimizzati per un'esecuzione più rapida).

La catena ha bisogno di un modo per convalidare le transazioni offchain senza rieseguirle, altrimenti il valore dell'esecuzione offchain va perso.

È qui che entra in gioco il calcolo verificabile. Quando un nodo esegue una transazione al di fuori di Ethereum, invia una prova a conoscenza zero per dimostrare la correttezza dell'esecuzione offchain. Questa prova (chiamata ) garantisce che una transazione sia valida, consentendo a Ethereum di applicare il risultato al suo stato, senza aspettare che qualcuno lo contesti.

I rollup a conoscenza zero e i validium sono due soluzioni di ridimensionamento offchain che utilizzano prove di validità per fornire una scalabilità sicura. Questi protocolli eseguono migliaia di transazioni offchain e inviano prove per la verifica su Ethereum. Tali risultati possono essere applicati immediatamente una volta verificata la prova, consentendo a Ethereum di elaborare più transazioni senza aumentare il calcolo sul layer di base.

Oltre al ridimensionamento del layer 2 (L2), le prove a conoscenza zero possono anche verificare l'esecuzione stessa dei blocchi del layer 1 (L1) di Ethereum. La zkEVM per la verifica L1 consentirebbe ai validatori di verificare i blocchi controllando una prova piuttosto che rieseguendo tutte le transazioni, consentendo limiti di gas più elevati senza aumentare i requisiti hardware del validatore.

Ridurre la corruzione e la collusione nel voto onchain

Gli schemi di voto su blockchain hanno molte caratteristiche favorevoli: sono completamente verificabili, sicuri contro gli attacchi, resistenti alla censura e privi di vincoli geografici. Ma anche gli schemi di voto onchain non sono immuni al problema della collusione.

Definita come "coordinamento per limitare la libera concorrenza ingannando, frodando e fuorviando gli altri", la collusione può assumere la forma di un attore malintenzionato che influenza il voto offrendo tangenti. Ad esempio, Alice potrebbe ricevere una tangente da Bob per votare per option B in una votazione anche se preferisce option A.

La corruzione e la collusione limitano l'efficacia di qualsiasi processo che utilizza il voto come meccanismo di segnalazione (specialmente dove gli utenti possono dimostrare come hanno votato). Ciò può avere conseguenze significative, specialmente quando i voti sono responsabili dell'allocazione di risorse scarse.

Ad esempio, i meccanismi di finanziamento quadratico (opens in a new tab) si basano sulle donazioni per misurare la preferenza per determinate opzioni tra diversi progetti di bene pubblico. Ogni donazione conta come un "voto" per un progetto specifico, e i progetti che ricevono più voti ottengono più fondi dal pool di abbinamento.

L'utilizzo del voto onchain rende il finanziamento quadratico suscettibile alla collusione: le transazioni blockchain sono pubbliche, quindi i corruttori possono ispezionare l'attività onchain di un corrotto per vedere come ha "votato". In questo modo il finanziamento quadratico cessa di essere un mezzo efficace per allocare fondi in base alle preferenze aggregate della comunità.

Fortunatamente, soluzioni più recenti come MACI (Minimum Anti-Collusion Infrastructure) stanno utilizzando le prove a conoscenza zero per rendere il voto onchain (ad es., i meccanismi di finanziamento quadratico) resistente alla corruzione e alla collusione. MACI è un insieme di smart contract e script che consentono a un amministratore centrale (chiamato "coordinatore") di aggregare i voti e conteggiare i risultati senza rivelare i dettagli su come ogni individuo ha votato. Anche così, è ancora possibile verificare che i voti siano stati contati correttamente, o confermare che un particolare individuo ha partecipato al turno di votazione.

Come funziona MACI con le prove a conoscenza zero?

All'inizio, il coordinatore distribuisce il contratto MACI su Ethereum, dopodiché gli utenti possono iscriversi per votare (registrando la loro chiave pubblica nello smart contract). Gli utenti esprimono i voti inviando messaggi cifrati con la loro chiave pubblica allo smart contract (un voto valido deve essere firmato con la chiave pubblica più recente associata all'identità dell'utente, tra gli altri criteri). Successivamente, il coordinatore elabora tutti i messaggi una volta terminato il periodo di votazione, conteggia i voti e verifica i risultati onchain.

In MACI, le prove a conoscenza zero vengono utilizzate per garantire la correttezza del calcolo rendendo impossibile per il coordinatore elaborare in modo errato i voti e conteggiare i risultati. Ciò si ottiene richiedendo al coordinatore di generare prove ZK-SNARK che verificano che a) tutti i messaggi siano stati elaborati correttamente b) il risultato finale corrisponda alla somma di tutti i voti validi.

Pertanto, anche senza condividere una ripartizione dei voti per utente (come di solito accade), MACI garantisce l'integrità dei risultati calcolati durante il processo di conteggio. Questa funzione è utile per ridurre l'efficacia degli schemi di collusione di base. Possiamo esplorare questa possibilità utilizzando l'esempio precedente di Bob che corrompe Alice per votare per un'opzione:

• Alice si registra per votare inviando la sua chiave pubblica a uno smart contract.
• Alice accetta di votare per option B in cambio di una tangente da Bob.
• Alice vota per option B.
• Alice invia segretamente una transazione cifrata per cambiare la chiave pubblica associata alla sua identità.
• Alice invia un altro messaggio (cifrato) allo smart contract votando per option A utilizzando la nuova chiave pubblica.
• Alice mostra a Bob una transazione che dimostra che ha votato per option B (che non è valida poiché la chiave pubblica non è più associata all'identità di Alice nel sistema).
• Durante l'elaborazione dei messaggi, il coordinatore salta il voto di Alice per option B e conta solo il voto per option A. Quindi, il tentativo di Bob di colludere con Alice e manipolare il voto onchain fallisce.

L'utilizzo di MACI richiede effettivamente di fidarsi che il coordinatore non colluda con i corruttori o non tenti di corrompere gli elettori stessi. Il coordinatore può decifrare i messaggi degli utenti (necessario per creare la prova), in modo da poter verificare accuratamente come ha votato ogni persona.

Ma nei casi in cui il coordinatore rimane onesto, MACI rappresenta un potente strumento per garantire la sacralità del voto onchain. Questo spiega la sua popolarità tra le applicazioni di finanziamento quadratico (ad es., clr.fund (opens in a new tab)) che si basano fortemente sull'integrità delle scelte di voto di ogni individuo.

Scopri di più su MACI (opens in a new tab).

Come funzionano le prove a conoscenza zero?

Una prova a conoscenza zero ti consente di dimostrare la verità di un'affermazione senza condividere i contenuti dell'affermazione o rivelare come hai scoperto la verità. Per rendere ciò possibile, i protocolli a conoscenza zero si basano su algoritmi che prendono alcuni dati come input e restituiscono "vero" o "falso" come output.

Un protocollo a conoscenza zero deve soddisfare i seguenti criteri:

1. Completezza: se l'input è valido, il protocollo a conoscenza zero restituisce sempre "vero". Quindi, se l'affermazione sottostante è vera e il prover e il verificatore agiscono onestamente, la prova può essere accettata.

2. Correttezza (Soundness): se l'input non è valido, è teoricamente impossibile ingannare il protocollo a conoscenza zero per fargli restituire "vero". Quindi, un prover bugiardo non può ingannare un verificatore onesto facendogli credere che un'affermazione non valida sia valida (tranne con un piccolissimo margine di probabilità).

3. Conoscenza zero: il verificatore non impara nulla su un'affermazione oltre alla sua validità o falsità (ha "conoscenza zero" dell'affermazione). Questo requisito impedisce inoltre al verificatore di derivare l'input originale (i contenuti dell'affermazione) dalla prova.

Nella forma base, una prova a conoscenza zero è composta da tre elementi: testimone, sfida e risposta.

• Testimone: con una prova a conoscenza zero, il prover vuole dimostrare la conoscenza di alcune informazioni nascoste. L'informazione segreta è il "testimone" della prova e la presunta conoscenza del testimone da parte del prover stabilisce una serie di domande a cui può rispondere solo una parte a conoscenza delle informazioni. Pertanto, il prover avvia il processo di dimostrazione scegliendo casualmente una domanda, calcolando la risposta e inviandola al verificatore.

• Sfida: il verificatore sceglie casualmente un'altra domanda dall'insieme e chiede al prover di rispondere.

• Risposta: il prover accetta la domanda, calcola la risposta e la restituisce al verificatore. La risposta del prover consente al verificatore di controllare se il primo ha davvero accesso al testimone. Per garantire che il prover non stia tirando a indovinare alla cieca e ottenendo le risposte corrette per caso, il verificatore sceglie altre domande da porre. Ripetendo questa interazione molte volte, la possibilità che il prover finga di conoscere il testimone diminuisce in modo significativo finché il verificatore non è soddisfatto.

Quanto sopra descrive la struttura di una "prova a conoscenza zero interattiva". I primi protocolli a conoscenza zero utilizzavano la dimostrazione interattiva, in cui la verifica della validità di un'affermazione richiedeva una comunicazione avanti e indietro tra prover e verificatori.

Un buon esempio che illustra come funzionano le prove interattive è la famosa storia della caverna di Ali Babà (opens in a new tab) di Jean-Jacques Quisquater. Nella storia, Peggy (il prover) vuole dimostrare a Victor (il verificatore) di conoscere la frase segreta per aprire una porta magica senza rivelare la frase.

Prove a conoscenza zero non interattive

Sebbene rivoluzionaria, la dimostrazione interattiva aveva un'utilità limitata poiché richiedeva che le due parti fossero disponibili e interagissero ripetutamente. Anche se un verificatore fosse stato convinto dell'onestà di un prover, la prova non sarebbe stata disponibile per una verifica indipendente (il calcolo di una nuova prova richiedeva un nuovo set di messaggi tra il prover e il verificatore).

Per risolvere questo problema, Manuel Blum, Paul Feldman e Silvio Micali hanno suggerito le prime prove a conoscenza zero non interattive (opens in a new tab) in cui il prover e il verificatore hanno una chiave condivisa. Ciò consente al prover di dimostrare la propria conoscenza di alcune informazioni (ovvero, il testimone) senza fornire le informazioni stesse.

A differenza delle prove interattive, le prove non interattive richiedevano solo un round di comunicazione tra i partecipanti (prover e verificatore). Il prover passa le informazioni segrete a uno speciale algoritmo per calcolare una prova a conoscenza zero. Questa prova viene inviata al verificatore, che controlla che il prover conosca le informazioni segrete utilizzando un altro algoritmo.

La dimostrazione non interattiva riduce la comunicazione tra prover e verificatore, rendendo le prove ZK più efficienti. Inoltre, una volta generata una prova, è disponibile per chiunque altro (con accesso alla chiave condivisa e all'algoritmo di verifica) per la verifica.

Le prove non interattive hanno rappresentato una svolta per la tecnologia a conoscenza zero e hanno stimolato lo sviluppo dei sistemi di dimostrazione utilizzati oggi. Discutiamo questi tipi di prove di seguito:

Tipi di prove a conoscenza zero

ZK-SNARKs

ZK-SNARK è l'acronimo di Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. Il protocollo ZK-SNARK ha le seguenti qualità:

• Conoscenza zero: un verificatore può convalidare l'integrità di un'affermazione senza sapere nient'altro sull'affermazione. L'unica conoscenza che il verificatore ha dell'affermazione è se è vera o falsa.

• Succinta: la prova a conoscenza zero è più piccola del testimone e può essere verificata rapidamente.

• Non interattiva: la prova è "non interattiva" perché il prover e il verificatore interagiscono solo una volta, a differenza delle prove interattive che richiedono più round di comunicazione.

• Argomento (Argument): la prova soddisfa il requisito di "correttezza", quindi barare è estremamente improbabile.

• Di conoscenza (Of Knowledge): la prova a conoscenza zero non può essere costruita senza l'accesso alle informazioni segrete (testimone). È difficile, se non impossibile, per un prover che non ha il testimone calcolare una prova a conoscenza zero valida.

La "chiave condivisa" menzionata in precedenza si riferisce a parametri pubblici che il prover e il verificatore concordano di utilizzare nella generazione e nella verifica delle prove. La generazione dei parametri pubblici (noti collettivamente come Common Reference String (CRS)) è un'operazione delicata a causa della sua importanza per la sicurezza del protocollo. Se l'entropia (casualità) utilizzata nella generazione della CRS finisce nelle mani di un prover disonesto, questi può calcolare prove false.

Il calcolo multi-partecipante (MPC) (opens in a new tab) è un modo per ridurre i rischi nella generazione di parametri pubblici. Più parti partecipano a una cerimonia di configurazione attendibile (opens in a new tab), in cui ogni persona contribuisce con alcuni valori casuali per generare la CRS. Finché una parte onesta distrugge la propria porzione di entropia, il protocollo ZK-SNARK mantiene la correttezza computazionale.

Le configurazioni attendibili richiedono che gli utenti si fidino dei partecipanti alla generazione dei parametri. Tuttavia, lo sviluppo degli ZK-STARK ha consentito protocolli di dimostrazione che funzionano con una configurazione non attendibile.

ZK-STARKs

ZK-STARK è l'acronimo di Zero-Knowledge Scalable Transparent Argument of Knowledge. Gli ZK-STARK sono simili agli ZK-SNARK, tranne per il fatto che sono:

• Scalabili: ZK-STARK è più veloce di ZK-SNARK nel generare e verificare le prove quando la dimensione del testimone è maggiore. Con le prove STARK, i tempi del prover e di verifica aumentano solo leggermente al crescere del testimone (i tempi del prover e del verificatore SNARK aumentano linearmente con la dimensione del testimone).

• Trasparenti: ZK-STARK si basa su una casualità verificabile pubblicamente per generare parametri pubblici per la dimostrazione e la verifica invece di una configurazione attendibile. Pertanto, sono più trasparenti rispetto agli ZK-SNARK.

Gli ZK-STARK producono prove più grandi rispetto agli ZK-SNARK, il che significa che generalmente hanno costi di verifica più elevati. Tuttavia, ci sono casi (come la dimostrazione di set di dati di grandi dimensioni) in cui gli ZK-STARK possono essere più convenienti degli ZK-SNARK.

Svantaggi dell'utilizzo delle prove a conoscenza zero

Costi hardware

La generazione di prove a conoscenza zero comporta calcoli molto complessi che vengono eseguiti al meglio su macchine specializzate. Poiché queste macchine sono costose, sono spesso fuori dalla portata dei normali individui. Inoltre, le applicazioni che desiderano utilizzare la tecnologia a conoscenza zero devono tenere conto dei costi hardware, che potrebbero aumentare i costi per gli utenti finali.

Costi di verifica delle prove

Anche la verifica delle prove richiede calcoli complessi e aumenta i costi di implementazione della tecnologia a conoscenza zero nelle applicazioni. Questo costo è particolarmente rilevante nel contesto della dimostrazione del calcolo. Ad esempio, i rollup ZK pagano circa 500.000 gas per verificare una singola prova ZK-SNARK su Ethereum, mentre gli ZK-STARK richiedono commissioni ancora più elevate.

Assunzioni di fiducia

In ZK-SNARK, la Common Reference String (parametri pubblici) viene generata una volta ed è disponibile per il riutilizzo alle parti che desiderano partecipare al protocollo a conoscenza zero. I parametri pubblici vengono creati tramite una cerimonia di configurazione attendibile, in cui si presume che i partecipanti siano onesti.

Ma non c'è davvero alcun modo per gli utenti di valutare l'onestà dei partecipanti e gli utenti devono prendere in parola gli sviluppatori. Gli ZK-STARK sono privi di assunzioni di fiducia poiché la casualità utilizzata nella generazione della stringa è verificabile pubblicamente. Nel frattempo, i ricercatori stanno lavorando a configurazioni non attendibili per gli ZK-SNARK per aumentare la sicurezza dei meccanismi di dimostrazione.

Minacce dell'informatica quantistica

ZK-SNARK utilizza la crittografia a curva ellittica per la cifratura. Sebbene il problema del logaritmo discreto della curva ellittica sia considerato intrattabile per ora, lo sviluppo dei computer quantistici potrebbe infrangere questo modello di sicurezza in futuro.

ZK-STARK è considerato immune alla minaccia dell'informatica quantistica, poiché si basa solo su funzioni di hash resistenti alle collisioni per la sua sicurezza. A differenza degli accoppiamenti di chiavi pubbliche-private utilizzati nella crittografia a curva ellittica, l'hashing resistente alle collisioni è più difficile da infrangere per gli algoritmi di calcolo quantistico.

Letture consigliate

• Panoramica dei casi d'uso per le prove a conoscenza zero (opens in a new tab) — Team Privacy and Scaling Explorations
• SNARK vs. STARK vs. SNARK ricorsivi (opens in a new tab) — Alchemy Overviews
• Una prova a conoscenza zero: migliorare la privacy su una blockchain (opens in a new tab) — Dmitry Lavrenov
• zk-SNARK: un esempio realistico a conoscenza zero e un'analisi approfondita (opens in a new tab) — Adam Luciano
• ZK-STARK: creare fiducia verificabile, anche contro i computer quantistici (opens in a new tab) — Adam Luciano
• Un'introduzione approssimativa a come sono possibili gli zk-SNARK (opens in a new tab) — Vitalik Buterin
• Perché le prove a conoscenza zero (ZKP) sono una svolta per l'identità auto-sovrana (opens in a new tab) — Franklin Ohaegbulam
• Spiegazione dell'EIP-7503: abilitare i trasferimenti privati su Ethereum con le prove ZK (opens in a new tab) — Emmanuel Awosika
• Gioco di carte ZK: gioco per imparare i fondamenti ZK e i casi d'uso nella vita reale (opens in a new tab) - ZK-Cards

Ultimo aggiornamento della pagina: 13 aprile 2026

L (opens in a new tab)

H (opens in a new tab)

R (opens in a new tab)

+18

Vedi i contributori