jakiro
Viele Menschen waren verwirrt, nachdem sie @Zksyncs neu veröffentlichte Zoo -Wissenschaftsbilder und -texte gelesen, den Zoo mit dem Schaltkreis verglichen, Tiere mit besonderen Fähigkeiten als „Logik -Tor“ behandelt und glücklich als „Beweis“ Proof „fotografiert wurden, so dass das“ Proof „so ist Die Dateneingabe in die Schaltung wird durch eine Reihe komplexer Berechnungen abgeschlossen, ohne den spezifischen Inhalt anzugeben, und ein Beweisverfahren mit Null-Wissen-Beweis wird abgeschlossen.Komm schon, ich werde mich bemühen, populär zu machen:
Der Zoo entspricht „Schaltkreise“ ein Grundelement, das einen Computer darstellt.Daher können die in die Schaltung übergebenen „Daten“ in verschiedene Formeln eingefügt und Operationen durchgeführt werden.
In der Layer2 -Umgebung gibt es einige Transaktions -Hash -Werte, Konten, Datenguthaben usw. Diese Daten können zur Berechnung in Formeln konvertiert werden. Formeln.
Die logischen Tore in den entsprechenden Schaltungen verschiedener Tiere sind im Zoo -Modus: Holzkästen, die Zahlen darstellen, die nicht öffentlich angezeigt werden, als „Variablen“, die Zahlen als „öffentlich“ als „öffentlich“ bezeichnet werden. Stein – eine Zahl, die eine inmovierbare Zahl darstellt, die als „Konstante“ angesehen wird;
Zebras haben die Fähigkeit zu vergleichen, ob zwei Zahlen „gleich“ sind, und das Zebra ist glücklich, wenn sie gleich sind. ;Unterschiedliche Tiere repräsentieren unterschiedliche Addition, Subtraktion, Multiplikation und Teilungsformeln, und Tiere sind glücklich oder traurig, die Struktur von Formeloperationen darzustellen.
Viele Tiere + verschiedene Arten von Kisten werden in eine Schaltung kombiniert. Überprüfen wir schließlich, ob die Formel gültig ist.Beachten Sie, dass Sie sich keine Sorgen darüber machen müssen, warum verschiedene Tiere unterschiedliche Fähigkeiten haben.
Eine komplexe Schaltung ist die Konstruktion aller Arten von Tieren (logische Tore) und Boxen (Regeln).
Angenommen, die Formel 2x+3 = y, die gerade eingegeben wurde, ist wahr, was der Zebra -Raupe entspricht und andere Tiere glücklich sind, und dann wird ein „Beweis“ für die Formel erzeugt. Der Beweis ist genau.Um die Glaubwürdigkeit des Beweises zu gewährleisten, kann der Zoo -Administrator, der Bauunternehmer, ein spezielles Tier namens Zeek simuliert.
Der Prozess der Zeek -Beobachtung, ob Tiere glücklich sind, ist der Überprüfungsprozess des Prover -Systems.Natürlich gibt es Tausende von Tieren im Zoo, und Zeek kann sie nacheinander nicht sehen.
Der Prozess der Aufnahme eines Fotos entspricht dem Prozess der Erzeugung von Snark Proof oder KZG -Versprechen, während das gedruckte Negative dem starken Snark -Beweis entspricht Die Tiere machen gerne Fotos und ein Beweis für den Beweis.
Es gibt viele Tiere in einem Zoo.Dies führt zu einer Überlastung, Verzögerung und Fehlern, die eine ungültige Zustandsumwandlung verursachen, und die Unterbindung werden die endgültige Überprüfung nicht bestehen.
über.
