- Le prove a conoscenza zero sono un'idea comune in crittografia sin dagli anni '1980.
- La Blockchain è rimasta affiliata alla crittografia sin dalla sua concezione.
- Le prove a conoscenza zero rappresentano una tecnica crittografica in cui nessuna informazione viene rivelata durante una transazione tranne lo scambio di un valore noto sia al dimostratore che al verificatore.
Anche la portata delle attività fraudolente è aumentata nel tempo con il progresso della tecnologia. Di conseguenza, il mantenimento dei protocolli di sicurezza rimane uno degli aspetti più critici del processo di transazione. Sebbene la Blockchain sia emersa come una delle innovazioni più promettenti, restano necessari ulteriori standard di sicurezza per mantenere la sicurezza delle transazioni.
La Blockchain è rimasta affiliata alla crittografia sin dalla sua concezione. L'integrazione di Blockchain e crittografia, tuttavia, ha recentemente catturato l'attenzione del pubblico. Nel sistema blockchain, le tecniche crittografiche aiutano a salvaguardare la transazione. In altre parole, la combinazione della tecnologia blockchain e della crittografia ha prodotto un metodo di transazione finanziaria sicuro.
Le prove a conoscenza zero sono un'idea comune in crittografia sin dagli anni '1980. Tuttavia, la loro funzione nelle criptovalute le ha recentemente portate alla ribalta. La popolazione globale si trova in un ecosistema crittografico e fintech sempre più interconnesso. Di conseguenza, sono sorte preoccupazioni riguardo al mantenimento dell'impegno dell'ideologia crittografica sull'anonimato e sulla privacy degli utenti.
Il recente ambizioso progetto crittografico Worldcoin mira a creare un sistema di identificazione digitale globale per gli utenti. Il nuovo e "controverso" progetto crittografico utilizza prove a conoscenza zero per difendere la privacy verificando utenti, affermazioni e transazioni.
Cos'è la prova della conoscenza zero
Le prove a conoscenza zero rappresentano una tecnica crittografica in cui nessuna informazione viene rivelata durante una transazione tranne lo scambio di un valore noto sia al dimostratore che al verificatore, le due estremità del processo.
Una dimostrazione a conoscenza zero è un modo per dimostrare se una particolare affermazione è vera senza rivelarla. In questo caso, il "provatore" è la parte che cerca di stabilire un'affermazione, mentre il "verificatore" è responsabile della convalida dell'affermazione.
In termini più semplici, le prove a conoscenza zero (ZKP) consentono a una parte di dimostrare a un'altra parte di sapere qualcosa senza condividere le informazioni con un'altra parte per dimostrare la propria conoscenza.
LEGGI DI PIÙ: La visione decentralizzata: Ethereum sostiene la tecnologia Zero Knowledge
La storia delle prove zero della conoscenza nella Blockchain
Zero Knowledge Proofs è iniziato nel 1985 quando i ricercatori del MIT hanno pubblicato La complessità della conoscenza dei sistemi di prova interattivi. Il documento delineava i concetti essenziali, inclusa una gerarchia per la prova interattiva (IP). Inoltre, il documento ha introdotto il concetto di complessità della conoscenza, che quantifica la quantità di prove trasmesse dal dimostratore al verificatore. Il documento ha presentato la costruzione di ZKP per qualsiasi insieme di NP con qualsiasi schema di impegno, stabilendo l'applicabilità dei risultati dei ricercatori.
Unendo nuovamente le forze nel 1989, Goldwasser, Micali e Rackoff pubblicarono The Knowledge Complexity of Interactive Proof Systems. Questo articolo ha sviluppato il concetto di complessità della conoscenza, che valuta la quantità di informazioni che un dimostratore deve possedere per persuadere un verificatore della validità di un'affermazione. Gli autori hanno dimostrato che le prove a conoscenza zero possono aiutare a ridurre la complessità delle informazioni nei sistemi di prova interattivi.
Nel 1993, i ricercatori delle Università di Chicago e Budapest pubblicarono Arthur-Merlin Games: Un sistema di prova randomizzato e una gerarchia di classi di complessitàs, in cui hanno introdotto il concetto di prove randomizzate che combinano la teoria della prova a conoscenza zero con la teoria della prova convenzionale. Hanno impiegato un gioco combinatorio in cui un partecipante (Arthur) ha effettuato movimenti arbitrari e l'altro (Merlin) ha effettuato mosse ottimali.
Nel 2013, Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer e Madars Virza hanno scritto Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. Questo articolo ha introdotto ZK-SNARKS o dimostrazioni concise non interattive a conoscenza zero. Si tratta di una forma di prove a conoscenza zero verificabili con risorse computazionali limitate. Gli autori hanno dimostrato che il loro sistema potrebbe convalidare la correttezza dei calcoli in modo privato e sicuro.
Gli autori di ZK-SNARK hanno rilasciato l'integrità computazionale scalabile, trasparente e post-quantistica sicura nel 2018. ZK-STARK è un sistema a prova di conoscenza zero che offre solide garanzie di sicurezza pur rimanendo altamente scalabile e trasparente.
I sistemi esistenti a prova di conoscenza zero presentavano spesso problemi di scalabilità o richiedevano una configurazione affidabile, rendendoli suscettibili agli attacchi. Pertanto, hanno introdotto ZK-STARK, basato su una nuova struttura matematica nota come sistema di vincoli polinomiali (PCS). Un PCS rappresenta una struttura di equazioni polinomiali utilizzata per articolare problemi computazionali complessi.
Numerosi altri articoli si sono rivelati significativi nella storia di Zero Knowledge Proofs, ma quelli sopra menzionati hanno svolto un ruolo fondamentale. Le recenti generazioni di macchine per il voto elettronico (EVM) basate su Layer-2 (L2) e ZK hanno creato una tela bianca per applicare queste innovazioni alla scalabilità dei tempi di esecuzione della blockchain.
Tipi di prove di conoscenza zero
Esistono due tipi fondamentali di ZKP:
- Prove interattive di conoscenza zero: Nello ZKP interattivo, il verificatore sfida il dimostratore che risponde a queste sfide finché il verificatore non è convinto. Devono essere contemporaneamente online e il sperimentatore deve compiere una serie di azioni per convincere il verificatore su un fatto specifico.
- Prove di conoscenza zero non interattive (NIZKP): Le prove a conoscenza zero non interattive non richiedono un processo interattivo tra il dimostratore e il verificatore. Il dimostratore consegna la prova al verificatore, con la verifica della prova che avviene solo una volta alla volta. NIZKP può essere più efficiente e conveniente di IZKP poiché non richiede che il dimostratore e il verificatore siano online. Tuttavia, richiede una maggiore potenza di calcolo rispetto a Interactive Zero Knowledge Proof.
Per svolgere il ruolo di un processo di verifica efficace che protegga anche i dati, una prova a conoscenza zero deve essere:
- Completato: Il verificatore accetterà la prova se la richiesta è valida ed entrambe le parti seguono il protocollo.
- Suono: Se l'affermazione è falsa, convincere il verificatore che è vera dovrebbe essere quasi impossibile.
- Zero-conoscenza: Nessuna informazione eccetto la verità dell'affermazione dovrebbe essere conosciuta o rilevabile dal verificatore.
Gli elementi delle prove a conoscenza zero
Nella forma base, una dimostrazione a conoscenza zero ha tre elementi:
- Testimoniare: Con una dimostrazione a conoscenza zero, il dimostratore vuole dimostrare la conoscenza di alcune informazioni nascoste. L'informazione segreta è il “testimone” della prova, e la presunta conoscenza del testimone da parte del dimostratore stabilisce una serie di domande a cui può rispondere solo una parte a conoscenza dell'informazione. Pertanto, il dimostratore avvia il processo di dimostrazione scegliendo casualmente una domanda, calcolando la risposta e inviandola al verificatore.
- La sfida: Il verificatore sceglie a caso un'altra domanda dalla serie e chiede al sperimentatore di rispondere.
- Risposta: Il sperimentatore accetta la domanda, calcola la risposta e la restituisce al verificatore. La risposta del sperimentatore permette al verificatore di verificare se il primo può accedere al testimone. Il verificatore sceglie più domande da porre per garantire che il dimostratore non stia indovinando alla cieca e ottenendo le risposte corrette per caso. Ripetendo più volte questa interazione, la possibilità che il dimostratore finga di conoscere il testimone diminuisce notevolmente, fino a soddisfare il verificatore.
Applicazione di prove a conoscenza zero nella Blockchain
Ottimizzare le prestazioni
Il codice dell'applicazione viene eseguito off-chain o da un singolo nodo sulla rete blockchain, e solo la prova della sua corretta esecuzione viene pubblicata sulla Blockchain affinché altre parti possano verificarne la correttezza. Un esempio è ZK Rollups, in cui le transazioni vengono eseguite off-chain e un riepilogo di tutte le transazioni viene inviato on-chain.
Transazioni private in Blockchain
I dati della transazione vengono crittografati e viene pubblicata una prova per dimostrare che sono stati calcolati correttamente. Gli ZKP si applicano anche nelle transazioni private che non rivelano dati monetari e informazioni sul destinatario e sul mittente. Un esempio è Tornado Cash, un servizio decentralizzato e non custodito che consente agli utenti di effettuare transazioni private su Ethereum.
Privacy e sicurezza dei dati
Le organizzazioni che controllano dati sensibili, come banche e ospedali, devono mantenerli liberi dall'accesso di terzi. ZKP e Blockchain insieme possono rendere impossibile l’accesso ai dati. Gli ZKP possono aiutare ad aggiungere più livelli di sicurezza a file e accessi. Di conseguenza, gli ZKP possono presentare notevoli ostacoli affinché hacker o manipolatori possano alterare e recuperare i dati.
Trasferimenti di transazioni blockchain private:
La preoccupazione più notevole nelle transazioni blockchain private sono le numerose lacune evidenti nelle procedure convenzionali. L’integrazione produttiva di ZKP con transazioni blockchain private può creare un solido processo a prova di hacker.
Messaggeri su Blockchain
Sebbene oggigiorno i messenger mantengano la promessa della crittografia, la Blockchain non crittografata potrebbe diventare la prossima grande novità nel mondo tecnologico. Con la garanzia di una soluzione non crittografata ma solida, ZKP e Blockchain possono co-creare una piattaforma di messaggistica a valore aggiunto sicura per tutti.
Le prove a conoscenza zero hanno un grande potenziale nel risparmiare sui costi e nel preservare la privacy degli utenti nel mondo blockchain e criptovaluta. Inoltre, questo concetto è facile da usare e anche le tecnologie che supportano gli ZKP sono estremamente efficienti. Sfruttando lo ZKP di ultima generazione, gli utenti possono trarre enormi vantaggi senza spendere molti soldi.
LEGGI DI PIÙ: Meccanismi di consenso nel mondo blockchain e quanto sono importanti
- Distribuzione di contenuti basati su SEO e PR. Ricevi amplificazione oggi.
- PlatoData.Network Generativo verticale Ai. Potenzia te stesso. Accedi qui.
- PlatoAiStream. Intelligenza Web3. Conoscenza amplificata. Accedi qui.
- PlatoneESG. Automobilistico/VE, Carbonio, Tecnologia pulita, Energia, Ambiente, Solare, Gestione dei rifiuti. Accedi qui.
- Platone Salute. Intelligence sulle biotecnologie e sulle sperimentazioni cliniche. Accedi qui.
- Grafico Prime. Migliora il tuo gioco di trading con ChartPrime. Accedi qui.
- BlockOffset. Modernizzare la proprietà della compensazione ambientale. Accedi qui.
- Fonte: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :ha
- :È
- :non
- :Dove
- 1985
- 2013
- 2018
- a
- Chi siamo
- sopra
- Accetta
- accetta
- accesso
- Accedendo
- azioni
- attività
- l'aggiunta di
- aggiuntivo
- Inoltre
- avanzamento
- sostenitori
- affiliato
- mira
- Tutti
- Tutte le transazioni
- consente
- anche
- ambizioso
- Tra
- quantità
- an
- ed
- anonimia
- Un altro
- rispondere
- risposte
- in qualsiasi
- APPLICA
- AMMISSIONE
- architettura
- SONO
- Artù
- AS
- aspetti
- assunto
- At
- attacco
- attenzione
- gli autori
- Banche
- basato
- basic
- BE
- diventare
- stato
- ha iniziato
- beneficio
- fra
- Big
- ciecamente
- blockchain
- Rete blockchain
- sistema di blockchain
- La tecnologia blockchain
- transazioni blockchain
- entrambi
- entrambe le parti
- portato
- Budapest
- ma
- by
- calcola
- calcolo
- Materiale
- catturato
- Contanti
- sfide
- possibilità
- dai un'occhiata
- Chicago
- la scelta
- rivendicare
- codice
- combinare
- combinando
- impegno
- Uncommon
- rispetto
- completamento di una
- complesso
- complessità
- potenza computazionale
- calcoli
- concetto
- concezione
- concetti
- Problemi della Pelle
- preoccupazioni
- conciso
- Segui il codice di Condotta
- Configurazione
- conseguentemente
- costruzione
- di controllo
- Comodo
- convenzionale
- convincere
- convinto
- correggere
- Costi
- potuto
- creare
- creato
- critico
- crypto
- cryptocurrencies
- crittografico
- crittografia
- Daniel
- dati
- decentrata
- fornisce un monitoraggio
- dimostrato
- sviluppato
- digitale
- do
- Gocce
- durante
- facile
- ecosistema
- Efficace
- efficiente
- Elettronico
- elementi
- Eli Ben-Sasso
- emerse
- occupato
- impiega
- enable
- crittografato
- crittografia
- finisce
- garantire
- essential
- stabilire
- stabilisce
- stabilire
- Ethereum
- evidente
- esempio
- Tranne
- eseguito
- esecuzione
- fatto
- falso
- File
- finanziario
- I risultati
- trova
- Fintech
- seguire
- segue
- Nel
- Forze
- modulo
- Ex
- fraudolenti
- Gratis
- frequentemente
- da
- Adempiere
- function
- fondamentale
- gioco
- Giochi
- generazioni
- ottenere
- globali
- digitale globale
- grande
- di garanzia
- hacker
- ha avuto
- Happening
- Avere
- Aiuto
- qui
- nascosto
- gerarchia
- vivamente
- storia
- tenere
- ospedali
- Come
- Tuttavia
- HTTPS
- Enormemente
- idea
- Identificazione
- if
- importante
- impossibile
- in
- In altre
- Compreso
- sempre più
- informazioni
- innovazioni
- integrazione
- interezza
- interazione
- interattivo
- interconnesso
- ai miglioramenti
- introdotto
- IP
- sicurezza
- IT
- SUO
- stessa
- accoppiamento
- mantenere
- Sapere
- conoscenze
- conosciuto
- galline ovaiole
- leveraging
- ribalta
- Limitato
- scappatoie
- macchine
- fatto
- mantenere
- make
- Fare
- molti
- matematico
- meccanismi di
- menzionato
- Messaggero
- metodo
- CON
- Monetario
- soldi
- Scopri di più
- più efficiente
- Inoltre
- maggior parte
- movimenti
- si muove
- molti
- multiplo
- devono obbligatoriamente:
- necessaria
- Rete
- New
- GENERAZIONE
- no
- nodo
- non affidatario
- notevole
- numerose
- ostacoli
- of
- Offerte
- on
- In catena
- una volta
- ONE
- quelli
- online
- esclusivamente
- ottimale
- or
- Altro
- delineato
- Carta
- documenti
- particolare
- parti
- partito
- PC
- Scelte
- piattaforma
- Platone
- Platone Data Intelligence
- PlatoneDati
- giocato
- Impegno
- punto
- popolazione
- possedere
- possibilità
- postato
- potenziale
- energia
- presenti
- presentata
- preservare
- Privacy
- un bagno
- problemi
- procedure
- processi
- produttivo
- progetto
- PROMETTIAMO
- promettente
- prova
- prove
- protocollo
- protocolli
- Dimostra
- comprovata
- pubblicato
- quantifica
- quantità
- domanda
- Domande
- Randomizzato
- recente
- recentemente
- ridurre
- per quanto riguarda
- rilasciato
- rimanere
- è rimasta
- resti
- rappresentare
- rappresenta
- richiedere
- necessario
- requisito
- richiede
- ricercatori
- Risorse
- risposta
- responsabile
- colpevole
- problemi
- rivelare
- Rivelato
- rivelando
- Aumentato
- robusto
- Ruolo
- Rollup
- risparmio
- Scalabilità
- scalabile
- scala
- schema
- portata
- Segreto
- sicuro
- assicurato
- in modo sicuro
- problemi di
- trasmettitore
- invio
- delicata
- Serie
- servizio
- set
- compartecipazione
- dovrebbero
- significativa
- significativamente
- semplice
- contemporaneamente
- da
- singolo
- soluzione
- alcuni
- qualcosa
- specifico
- Spendere
- standard
- inizio
- dichiarazione
- La struttura
- presentata
- tale
- SOMMARIO
- supporto
- adatto
- sistema
- SISTEMI DI TRATTAMENTO
- tecniche
- tecnologico
- Tecnologie
- Tecnologia
- condizioni
- di
- che
- Il
- le informazioni
- loro
- Li
- teoria
- Strumenti Bowman per analizzare le seguenti finiture:
- di
- cosa
- di parti terze standard
- questo
- tre
- così
- tempo
- volte
- a
- insieme
- tornado
- Tornado Cash
- delle transazioni
- Le transazioni
- trasferimenti
- trasparente
- vero
- di fiducia
- Verità
- seconda
- Tipi di
- Università
- fino a quando
- uso
- utilizzato
- Utente
- utenti
- CONVALIDARE
- convalidando
- APPREZZIAMO
- verificabile
- Convalida
- verificare
- verifica
- visione
- di
- Voto
- vuole
- Prima
- Modo..
- quando
- se
- quale
- while
- OMS
- volere
- con
- senza
- testimoniare
- parole
- mondo
- ha scritto
- ancora
- zefiro
- zero
- conoscenza zero
- prova a conoscenza zero
- prove a zero-conoscenza
- ZK
- Basato su ZK
- ZK-snuali