Recentemente ho studiato la prova a conoscenza zero, spesso chiamata zkp.
In passato pensavo solo che zk fosse migliore di op, ad esempio che fosse più veloce, più conveniente, più sicuro, ecc. Queste osservazioni generali in realtà ignoravano un punto importante, cioè perché è migliore di op e cosa è l'essenza di zk?
Uno dei metodi di prova utilizzati da zk si chiama snark. Questo metodo di prova è molto interessante Il dimostratore genererà una prova per indicare che un determinato calcolo è stato completato e il verificatore deve solo verificare la correttezza della prova per confermare. Questo è successo davvero.
Questa descrizione potrebbe essere un po' astratta. Utilizzo una metafora più vivida per descrivere la questione della "prova".
Quando hai un grande modello di intelligenza artificiale che deve essere calcolato ma non hai a portata di mano gli strumenti informatici corrispondenti, Xiao Ming esce e dice che ha una macchina disposta ad aiutarti a calcolarlo, a patto che tu gli paghi un compenso. Dieci giorni dopo, Xiao Ming ti fornisce un risultato AI "Il mercato azionario di domani cadrà". In questo momento, come giudichi se Xiao Ming ti ha davvero aiutato a calcolare? O dovrei semplicemente dirti un risultato e lasciar perdere? In altre parole, "Xiao Ming è affidabile?" Il modo migliore per verificare è trovare un'altra persona che esegua nuovamente il calcolo e confronti i risultati delle due persone. Tuttavia, ciò comporterà costi doppi. Potresti anche fare il calcolo da solo. quindi presenta un'altra persona. Il problema è che ti mancano gli strumenti per eseguire questo complesso calcolo dell'intelligenza artificiale.
Allora come risolvere questo problema di crisi di fiducia?
I matematici intelligenti hanno inventato un metodo di dimostrazione chiamato snark. La caratteristica di questo metodo è che ogni fase del processo di calcolo viene registrata e questi risultati intermedi vengono formati attraverso una serie di modifiche algebriche per formare una piccola dimostrazione, che è la cosiddetta dimostrazione. "Prova", la caratteristica di questa prova è che è fortemente correlata al processo di calcolo. Se il processo di calcolo non corrisponde alle aspettative, la prova cambierà.
In qualità di verificatore, cioè tu, devi solo dimostrare che questa prova è corretta per garantire che Xiao Ming abbia fatto quello che ho detto e non abbia inventato un risultato per me.
Devo ricordarti che il processo di generazione della prova è molto complicato, ma il processo di verifica della prova è molto semplice. Vale a dire, come accettante, devo solo assicurarmi che la prova sia corretta, quindi la transazione è ragionevole , il che consente di risparmiare notevolmente tempo di verifica e spese, in questo caso non è necessario trovare un'altra persona che esegua i calcoli da solo.
Quindi, in sostanza, zkp risolve il problema della fiducia tra le persone. Come possono due sconosciuti comunicare e commerciare in modo efficace senza il coinvolgimento di una terza parte in quanto zkp fornisce una buona soluzione?
Allo stesso modo, quando mappato nel mondo blockchain, perché layer2 utilizza zkp? Perché i calcoli complessi possono essere messi fuori catena e il processo di caricamento nella catena richiede solo la verifica di una prova o anche solo il salvataggio di una prova è molto importante per i blocchi della rete principale in cui il terreno è prezioso, è una delle migliori soluzioni per l'espansione della capacità.
Attraverso la mia comprensione di zkp, ho capito due cose: in primo luogo, zkp non solo può risolvere il problema di congestione di Ethereum, ma anche fornire un metodo di prova della sicurezza nella vita reale e accelerare la cooperazione tra le persone, in secondo luogo, la maggior parte delle innovazioni delle persone lo sono effettivamente; per riparare le cattive abitudini delle persone. Se non possono essere riparate, le soddisferanno. Ad esempio, le persone sono nate per imbrogliare, quindi è necessario introdurre la tecnologia per evitarlo altro Se sei felice, ci saranno opportunità di business.