Lors de la conférence EDCON au Monténégro, @VitalikButerin a expliqué les défis techniques du réseau Ethereum en termes d'expansion, de confidentialité, de sécurité, etc., et a finalement conclu que zk-SNARK sera aussi important que la blockchain dans les 10 prochaines années. Qu'est-ce que zk-SNARK que V God ne ménage aucun effort pour promouvoir ? Quels problèmes actuels de blockchain la technologie zk-SNARK peut-elle résoudre ? Ensuite, Thread, permettez-moi de lancer quelques idées dans la discussion. 1/n

SNARK signifie (argument succinct non interactif de connaissance), qui est un argument de connaissance concis non interactif. Son noyau est de construire un système de preuve à travers des algorithmes mathématiques, permettant au vérificateur de vérifier lui-même l'exactitude des données sans connaître l'original. données. Le processus de mise en œuvre implique des technologies complexes telles que des circuits vérifiables, des principes de cryptographie à courbe elliptique, des fonctions de hachage, des algorithmes de cryptage, etc., je n'entrerai donc pas trop dans les détails ici. 2/n

Étant donné que SNARK peut compresser les données originales en une très petite preuve pour vérifier l'exactitude de ses données d'entrée, associé à la base technique sans connaissance de zk, zk-SNARK peut faire de grands progrès en termes d'évolutivité, de confidentialité, de sécurité et d'autres aspects. Surtout après qu'Ethereum a lancé l'algorithme aléatoire Makarov (MAST) en 2018, zk-SNARK peut être directement intégré au système Ethereum pour résoudre le problème actuel de goulot d'étranglement du réseau Ethereum. 3/n

C'est pourquoi, bien que la technologie zk-STARK native de @Statrknet puisse gérer des problèmes informatiques plus complexes (éviter les attaques informatiques quantiques, etc.), zk-SNARK a des attentes plus grandes. En particulier, certains des paradoxes de la blockchain qui inquiètent tout le monde peuvent être résolus efficacement après avoir remplacé la couche inférieure de zk-SNARK, tels que : la protection de la vie privée et les problèmes potentiels de blanchiment d'argent des pirates informatiques, les problèmes de récupération sociale qui ne peuvent échapper à l'interférence des institutions centralisées. , etc. 4/n

Parlons d’abord de l’évolutivité. zk-rollup est très en avance sur op-rollup et constitue une solution finale pour la deuxième couche d'Ethereum. OP passe d'abord par défaut à l'optimisme pour toutes les transactions, puis passe par une période de vérification anti-fraude de 7 jours après l'avoir soumise à la chaîne. ZK peut garantir rapidement et en toute sécurité que chaque transaction sur la chaîne est légale sur la base d'algorithmes mathématiques. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Ici, zk-SNARK résout un problème paradoxal d'évolutivité d'Ethereum, la contradiction entre évolutivité et centralisation, bien que la solution op-rollup soit effectivement implémentée dans le scénario. plus mature, mais il présente toujours un risque potentiel de centralisation dans le processus de vérification du séquenceur et des défis optimistes. Bien sûr, nous pouvons être « optimistes », mais pour parvenir à un rollup absolument décentralisé, nous devons avoir SNARK. 6/n

Regardons la vie privée. Sur la base du contexte technologique actuel de la blockchain, notre développement de technologies de confidentialité tombera dans un paradoxe logique. Sera-t-il finalement utile aux pirates ? Cependant, si elle est basée sur zk-SNARK, une solution de preuve d'innocence (POI) peut être développée pour empêcher les utilisateurs de déposer et de retirer de l'argent en toute confidentialité tout en empêchant les criminels de l'utiliser à des fins malveillantes. Plus précisément, la technologie POI peut être appliquée à des protocoles similaires à Tornado 7/n ;

La technologie POI fournit à chaque utilisateur une empreinte numérique générée sur la base de l'historique de l'état de la blockchain et des clés privées. Lorsqu'un pirate informatique tente de blanchir de l'argent via le pool de transactions de mélange de devises de Tornado, si l'adresse de demande de retrait et l'adresse de dépôt qu'il fournit sont en conflit (si la clé privée). est différent), il sera intercepté et renvoyé à l'adresse de mixage d'origine. Les actifs non identifiés, comme les pirates informatiques, ne peuvent échapper au suivi via le système de mélange de devises 8/n ;

Bien sûr, vous pouvez également créer directement un arbre de liste d'exclusion de Merkel, comme Buterin l'a souligné dans son discours, ce qui équivaut à ajouter un mécanisme de liste noire au protocole tornado. Les utilisateurs normaux peuvent générer des preuves innocentes si leurs dépôts ne figurent pas dans la liste, et. alors ce sera normal. Avec Tornado, c'est le contraire. Bien que la liste noire soit efficace, elle comporte un risque de centralisation. Il est plus efficace de bloquer les transactions avec des clés privées de dépôt et de retrait incohérentes.

9/n Enfin, parlons de la question du paradoxe anti-censure (sécurité) des tiers. Il ne fait aucun doute que la fonction Social Recovery est la voie inévitable pour une application à grande échelle de la blockchain. Cependant, il n'est pas difficile de voir, d'après les protestations de la communauté que Leager a rencontrées lors de l'ouverture de cette fonction il y a deux jours, que la récupération sociale ne peut pas être construite sur cette base. le principe selon lequel le tiers est centralisé. Et la technologie zk-SNARK peut résoudre ce problème. 10/n

En termes simples, lorsqu'un utilisateur génère plusieurs fragments de clé privée, il peut chiffrer les fragments et utiliser le système de certification zk-SNARK pour générer un certificat, puis distribuer le certificat à une institution de confiance ou à un ami si la clé privée de l'utilisateur est perdue. il peut être demandé. Le tiers fournit des certificats de données fragmentés, puis utilise zk-SNARK pour vérifier l'exactitude de ces certificats, réalisant ainsi la fonction de récupération sociale sans révéler la fragmentation de la clé privée. 11/n

Une fois le contenu ci-dessus entièrement compris, il n'est pas difficile de voir l'importance de la technologie zk-SNARK pour le système blockchain. Elle peut résoudre divers problèmes du réseau Ethereum actuel, tels que l'évolutivité et la centralisation, la confidentialité et le mal, la sécurité et la lutte contre le mal. censure. Le problème du paradoxe du développement. Par conséquent, Buterin a déclaré que zk-SNARK sera aussi important que la blockchain dans 10 ans. Peut-être que la couche inférieure d'Ethereum sera également zk-SNARK. Eh bien, zk-SNARKS gouverne tout autour de moi. 12/12