Utiliser un zoo comme métaphore, vulgarisation scientifique approfondie du principe de fonctionnement du circuit zkSync

Beaucoup de gens étaient confus après avoir vu les nouvelles images et textes scientifiques du zoo de @zkSync, comparant le zoo à un circuit et traitant les animaux dotés de compétences spéciales comme des « portes logiques », rendant tous les animaux heureux. "Preuve". De cette manière, les données entrées dans le circuit passeront par une série de calculs complexes pour générer une preuve sans révéler le contenu spécifique, complétant ainsi un processus de preuve sans connaissance. Allez, laissez-moi essayer de vulgariser un peu de science hardcore :

1) Zoo correspond à "circuit". Le circuit est en fait l'agrégation d'une série de contraintes de portes logiques (formules d'addition, de soustraction, de multiplication, de division, etc.). équivaut aux capacités de tous les animaux. Expression concentrée de , c'est aussi l'élément de base qui constitue un ordinateur. Par conséquent, les « données » transmises dans le circuit doivent être incorporées dans diverses formules et calculs effectués.

Dans le réseau layer2, les données stockées sont généralement la valeur de hachage de la transaction, les informations de compte, le solde des données, etc. Ces données peuvent être converties en formules mathématiques de calcul, mais si elles ne peuvent pas être formulées directement, d'autres transformations de codage sont nécessaires pour convertir les données brutes en formules calculables. Cette étape constitue la base sur laquelle le circuit effectue le traitement et garantit que les données peuvent être traitées et utilisées efficacement.

En mode zoo, divers animaux symbolisent les portes logiques du circuit. Par exemple, les boîtes en bois représentent des nombres qui ne sont pas affichés publiquement, appelées « variables » ; les boîtes en verre représentent des nombres affichés publiquement, qui sont des « entrées publiques » ; un nombre immuable et est considéré comme une « constante ».

Le zèbre a la capacité de comparer si deux nombres sont « égaux ». Si le résultat est égal, le zèbre sera heureux ; le crocodile signifie « moins que », et le crocodile ne sera heureux que si le nombre à droite. est inférieur au nombre à gauche ; l'araignée représente une porte à choix multiples plus complexe, si vous saisissez 0, elle renverra vrai, si vous saisissez 1, elle renverra faux en plus, vous pouvez également laisser le castor représenter ; division, l'écureuil représente le pourcentage, la chenille représente l'addition, etc. Différents animaux représentent différentes formules d'addition, de soustraction, de multiplication et de division. Les animaux heureux ou tristes représentent la structure des opérations de formule.

De nombreux animaux + différents types de caisses sont combinés pour former un circuit. Par exemple : pour calculer une formule 2 x + 3 = Y, x représente la caisse en bois, Y représente la pierre, 2 caisses en bois, des chenilles, des zèbres, etc. . viens ici Travailler, et enfin vérifier si la formule est établie. Notez qu’il n’y a pas lieu de s’inquiéter de la raison pour laquelle différents animaux ont des capacités différentes. C’est le principe de base du fonctionnement des éléments du circuit et les règles de base permettant aux ordinateurs d’effectuer des calculs.

Un circuit complexe est construit à partir d'une variété d'animaux (portes logiques) et de boîtes (règles).

3) Supposons que la formule 2x+3 =Y qui vient d'être saisie soit établie, ce qui équivaut à ce que les chenilles de zèbres et d'autres animaux soient heureux, puis une "Preuve" sera générée pour la formule. Un personnage doit être capable de le faire. identifiez si cette preuve est exacte. Par conséquent, afin de garantir la crédibilité de la preuve, le gardien du zoo, qui est le constructeur du circuit, a simulé un animal spécial appelé Zeek. Zeek peut voir si les autres animaux sont heureux et équivaut à Verifier dans le système layer2.

Le processus par lequel Zeek observe si les animaux sont heureux est en fait le processus de vérification du système Prover. S'ils sont tous satisfaits, la vérification est réussie. Ce n'est qu'alors que la preuve sera téléchargée sur le réseau principal et finalement confirmée. Bien sûr, des milliers d'animaux dans le zoo produisent un grand nombre de preuves, et il est impossible pour Zeek de les examiner un par un. Par conséquent, Zeek peut également observer si le statut de milliers de clones de Zeek est heureux. est appelé preuve récursive.

4) Le processus de prise de photos est équivalent au processus de génération de certificats SNARK ou d'engagements KZG, et les négatifs imprimés sont équivalents au certificat STARKSNARK lui-même. Les visiteurs du zoo sont équivalents aux transactions de transaction qui entrent une par une. Seules les photos heureuses d'animaux seront complétées et générées. La preuve prouve que ce n'est que lorsque le visiteur prend la photo et quitte le zoo pour laisser une preuve qu'elle peut être finalisée sur la chaîne.

Il y a beaucoup d'animaux dans un zoo, et il est impossible qu'ils soient tous heureux en même temps et travaillent selon des règles prédéterminées. Il existe de nombreuses portes logiques, et il est inévitable qu'il y ait des déconnexions et d'autres situations. De cette façon, il y aura des congestions, des retards et des rapports d'erreurs, qui entraîneront des transitions d'état invalides, sous-contraintes, et ne passeront pas la vérification finale.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!