Alla conferenza EDCON in Montenegro, @VitalikButerin ha spiegato le sfide tecniche esistenti nella rete Ethereum in termini di espansione, privacy, sicurezza, ecc., e alla fine ha concluso che zk-SNARK sarà importante quanto la blockchain nei prossimi 10 anni. Cos'è zk-SNARK che V God non risparmia sforzi nel promuovere? Quali attuali problemi blockchain può risolvere la tecnologia zk-SNARK? Quindi, Thread, lasciami introdurre alcune idee nella discussione. 1/n

SNARK sta per (succinct non-interactive topic of knowledge), ovvero un argomento di conoscenza conciso e non interattivo, il cui nucleo è costruire un sistema di prova attraverso algoritmi matematici, consentendo al verificatore di verificare la correttezza dei dati stessi senza conoscere l'originale dati. Il processo di implementazione coinvolge tecnologie complesse come circuiti verificabili, principi di crittografia a curva ellittica, funzioni hash, algoritmi di crittografia, ecc., quindi non entrerò troppo nei dettagli qui. 2/n

Poiché SNARK può comprimere i dati originali in una prova molto piccola per verificare la correttezza dei dati di input, insieme alle basi tecniche a conoscenza zero di zk, zk-SNARK può fare grandi passi avanti in termini di scalabilità, privacy, sicurezza e altri aspetti. Soprattutto dopo che Ethereum ha lanciato l'algoritmo casuale di Makarov (MAST) nel 2018, zk-SNARK può essere integrato direttamente nel sistema Ethereum per risolvere l'attuale problema del collo di bottiglia della rete Ethereum. 3/n

Questo è il motivo per cui, sebbene la tecnologia zk-STARK nativa di @Statrknet sia in grado di gestire problemi informatici più complessi (evitando attacchi informatici quantistici, ecc.), zk-SNARK ha maggiori aspettative. In particolare, alcuni dei paradossi blockchain su cui tutti sono confusi possono essere risolti efficacemente dopo aver sostituito lo strato inferiore di zk-SNARK, come ad esempio: protezione della privacy e potenziali problemi di riciclaggio di denaro da parte degli hacker, problemi di recupero sociale che non possono sfuggire all'interferenza delle istituzioni centralizzate , eccetera. 4/n

Parliamo prima di scalabilità. zk-rollup è molto più avanti rispetto a op-rollup ed è una soluzione finale per il secondo strato di Ethereum. OP inizialmente imposta l'ottimismo per tutte le transazioni, quindi passa attraverso un periodo di sfida a prova di frode di 7 giorni dopo averlo inviato alla catena. ZK può garantire in modo rapido e sicuro che ogni transazione sulla catena sia legale in base ad algoritmi matematici. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Qui zk-SNARK risolve un problema paradossale della scalabilità di Ethereum, la contraddizione tra scalabilità e centralizzazione, sebbene la soluzione op-rollup sia effettivamente implementata nello scenario più maturo, ma presenta ancora il rischio potenziale di centralizzazione nel sequenziatore e nel processo di verifica della sfida ottimistica. Naturalmente possiamo essere “ottimisti”, ma per ottenere un rollup assolutamente decentralizzato dobbiamo avere SNARK. 6/n

Diamo un'occhiata alla privacy. Sulla base dell’attuale contesto della tecnologia blockchain, il nostro sviluppo della tecnologia per la privacy cadrà in un paradosso logico. Alla fine servirà agli hacker? Tuttavia, se si basa su zk-SNARK, è possibile sviluppare una soluzione Proof of Innocence (POI) per proteggere gli utenti dal deposito e dal prelievo di denaro attraverso la privacy evitando al contempo che i criminali lo utilizzino per fare del male. Nello specifico la tecnologia POI può essere applicata a protocolli simili a Tornado 7/n

La tecnologia POI fornisce a ciascun utente un'impronta digitale generata in base alla cronologia dello stato della blockchain e alle chiavi private. Quando un hacker tenta di riciclare denaro attraverso il pool di transazioni di mixaggio valutario di Tornado, se l'indirizzo della richiesta di prelievo e l'indirizzo di deposito da lui forniti non sono coerenti (se il privato. chiave è diversa), verrà intercettato e restituito all'indirizzo di missaggio originale. I beni non identificati equiparati agli hacker non possono eludere il tracciamento attraverso il sistema di miscelazione valutaria 8/n

Naturalmente si può anche costruire direttamente un albero Merkel della lista di esclusione, come ha sottolineato Buterin nel suo intervento, il che equivale ad aggiungere un meccanismo di lista nera al protocollo Tornado. Gli utenti normali possono generare prove innocue se i loro depositi non sono nella lista allora sarà normale Con Tornado è vero il contrario. Sebbene la lista nera sia efficace, comporta il rischio di centralizzazione. È più efficace bloccare le transazioni con chiavi private di deposito e prelievo incoerenti.

9/n Infine, parliamo della questione del paradosso anti-censura (sicurezza) delle terze parti. Non c’è dubbio che la funzione Social Recovery sia il percorso inevitabile per l’applicazione su larga scala della blockchain. Tuttavia, non è difficile vedere dalle proteste della comunità subite da Leager quando ha aperto questa funzione due giorni fa, che Social Recovery non può essere costruita su di essa. la premessa che il terzo sia centralizzato. E la tecnologia zk-SNARK può risolvere questo problema. 10/n

In poche parole, quando un utente genera più frammenti di chiave privata, può crittografare i frammenti e utilizzare il sistema di certificazione zk-SNARK per generare un certificato, quindi distribuire il certificato a un'istituzione o un amico fidato. Se la chiave privata dell'utente viene persa, può essere richiesto. La terza parte fornisce certificati di dati frammentati e quindi utilizza zk-SNARK per verificare l'accuratezza di questi certificati, realizzando così la funzione di recupero sociale senza rivelare la frammentazione della chiave privata. 11/n

Dopo aver compreso appieno il contenuto di cui sopra, non è difficile vedere l'importanza della tecnologia zk-SNARK per il sistema blockchain. Può risolvere vari problemi nell'attuale rete Ethereum come scalabilità e centralizzazione, privacy e malvagità, sicurezza e anti-terrorismo. La censura. Il problema del paradosso dello sviluppo. Pertanto, Buterin ha detto che zk-SNARK sarà importante quanto la blockchain tra 10 anni. Forse anche lo strato inferiore di Ethereum sarà zk-SNARK. Bene, zk-SNARKS governa tutto intorno a me. 12/12