jakiro
Beaucoup de gens ont été confus après avoir lu les précédents images et textes de la science zoo de @ Zksync, en comparant le zoo au circuit, en traitant les animaux avec des compétences spéciales comme une « porte logique » et en prenant des photos des animaux avec bonheur comme une preuve « preuve », de sorte que que L’entrée de données sur le circuit est terminée via une série de calculs complexes sans révéler le contenu spécifique, et un processus de preuve de connaissance zéro est terminé.Allez, je vais essayer de populariser:
Le zoo correspond aux « circuits ». un élément de base qui constitue un ordinateur.Par conséquent, les « données » transmises dans le circuit peuvent être insérées dans diverses formules et les opérations effectuées.
Dans l’environnement de la couche formules.
Les portes logiques des circuits correspondants de divers animaux, en mode zoo, sont: des boîtes en bois représentant des nombres qui ne sont pas affichés publiquement, appelés « variables »; Pierre – un nombre qui représente un nombre inholdable, considéré comme une « constante »;
Les zèbres ont la capacité de comparer si deux nombres sont « égaux », et le zèbre sera heureux s’ils sont égaux; ;Différents animaux représentent différents ajout, soustraction, multiplication et formules de division, et les animaux sont heureux ou tristes pour représenter la structure des opérations de formule.
De nombreux animaux + différents types de boîtes sont combinés dans un circuit. Enfin, vérifions si la formule est valide.Notez que vous n’avez pas à vous soucier des raisons pour lesquelles différents animaux ont des capacités différentes.
Un circuit complexe est la construction de toutes sortes d’animaux (portes logiques) et de boîtes (règles).
Supposons que la formule 2x + 3 = y soit entrée en ce qui est vrai, ce qui est équivalent à la chenille zèbre et à d’autres animaux, puis une « preuve » sera générée pour la formule. La preuve est exacte.Par conséquent, afin d’assurer la crédibilité de la preuve, l’administrateur du zoo, le constructeur du circuit, a simulé un animal spécial appelé Zeek.
Le processus de Zeek observant si les animaux sont heureux est en fait le processus de vérification du système de proverage.Bien sûr, il y a des milliers d’animaux dans le zoo, et le zeek ne peut pas les voir un par un.
Le processus de prise d’une photo est équivalent au processus de génération de promesses de snark ou de KZG, tandis que le négatif imprimé est équivalent à la preuve austère. Les animaux sont heureux de prendre des photos terminées et une preuve sera générée.
Il y a beaucoup d’animaux dans un zoo.Cela entraînera une certaine congestion et du retard et des erreurs, ce qui entraînera une conversion d’État non valide, et le sous-contraint ne passera pas la vérification finale.
au-dessus de.
