Popularisierung der Hardcore-Wissenschaft: Analysieren Sie das Funktionsprinzip der zkSync-Schaltung am Beispiel des Zoos

Autor: Haotian

Viele Leute sahen die neu veröffentlichten zoowissenschaftlichen Bilder und Texte von @zkSync, die die Leute verwirrten, indem sie den Zoo mit einem Schaltkreis verglichen und Tiere mit besonderen Fähigkeiten als „Logiktore“ behandelten das fröhliche Gruppenfoto der Tiere als „Beweis“. Auf diese Weise durchlaufen die in die Schaltung eingegebenen Daten eine Reihe komplexer Berechnungen, ohne den spezifischen Inhalt preiszugeben, und es wird ein Beweis generiert, wodurch ein wissensfreier Beweisprozess abgeschlossen wird . Komm schon, lass mich versuchen, etwas Hardcore-Wissenschaft populär zu machen:

1) Zoo entspricht „Schaltung“. Schaltung ist eigentlich eine Aggregation einer Reihe logischer Gatterbeschränkungen (Additions-, Subtraktions-, Multiplikations-, Divisionsformeln usw.). entspricht den Fähigkeiten aller Tiere und ist gleichzeitig das Grundelement, das einen Computer ausmacht. Daher müssen die in die Schaltung geleiteten „Daten“ in verschiedene Formeln eingearbeitet und Berechnungen durchgeführt werden.

Im Layer-2-Netzwerk handelt es sich bei den gespeicherten Daten normalerweise um Transaktions-Hash-Werte, Kontoinformationen, Datensaldo usw. Diese Daten können durch Umwandlung in Formeln berechnet werden. Bevor die Schaltung eine Verarbeitung durchführen kann, muss sichergestellt werden, dass die Daten formuliert werden können. Können die Daten nicht direkt in Formeln umgewandelt werden, sind zusätzliche Kodierungskonvertierungen erforderlich, damit die Rohdaten verarbeitet und berechnet werden können. Die Prämisse dieser Datenverarbeitung besteht darin, die Kompatibilität der Datenformate sicherzustellen, damit Datenoperationen und Berechnungen reibungslos in der Layer2-Umgebung durchgeführt werden können. Daher sind die ordnungsgemäße Kodierung und Transformation von Daten entscheidende Schritte, um das ordnungsgemäße Funktionieren des Systems und die Wirksamkeit der Datenverarbeitung sicherzustellen.

Im Zoo-Modus haben verschiedene Tiere spezifische Symbole, die den Logikgattern im Schaltkreis entsprechen: Die Holzbox stellt die Zahlen dar, die nicht öffentlich angezeigt werden, also die sogenannten „Variablen“; die Glasbox symbolisiert die Zahlen, die nicht öffentlich angezeigt werden werden öffentlich als „Offene Eingabe“ angezeigt und die Steine ​​stellen diese unbeweglichen Zahlen dar, die als „Konstanten“ gelten. Diese Analogie-Einstellung stellt eine wunderbare Verbindung zwischen Logikgattern und Tieren her und trägt zum Verständnis und Erlernen von Schaltkreisen durch unterhaltsame und visuelle Bilder bei.

Das Zebra hat die Fähigkeit zu vergleichen, ob zwei Zahlen „gleich“ sind. Wenn das Ergebnis gleich ist, bedeutet das Krokodil „kleiner als“. kleiner als die Zahl auf der linken Seite; die Spinne stellt ein komplexeres Multi-Choice-Gate dar. Wenn Sie 0 eingeben, muss die Rückgabe wahr sein. Wenn Sie 1 eingeben, ist die Rückgabe außerdem falsch Teilung, das Eichhörnchen steht für Prozent, die Raupe steht für Addition usw. Verschiedene Tiere repräsentieren unterschiedliche Formeln für Addition, Subtraktion, Multiplikation und Division. Die glücklichen oder traurigen Tiere repräsentieren die Struktur von Formeloperationen.

Viele Tiere + verschiedene Arten von Kisten werden zu einem Schaltkreis kombiniert. Zum Beispiel: Um eine Formel 2 x + 3 = Y zu berechnen, steht x für die Holzkiste, Y für den Stein, 2 Holzkisten, Raupen, Zebras usw .Kommen Sie hierher und überprüfen Sie schließlich, ob die Formel etabliert ist. Beachten Sie, dass Sie sich keine Gedanken darüber machen müssen, warum verschiedene Tiere unterschiedliche Fähigkeiten haben. Dies ist das Grundprinzip der Funktionsweise von Schaltkreiselementen und die Grundregeln für Computer zur Durchführung von Berechnungen.

Ein komplexer Schaltkreis wird aus einer Vielzahl von Tieren (Logikgattern) und Kisten (Regeln) aufgebaut.

3) Angenommen, die gerade eingegebene Formel 2x+3 =Y ist gleichbedeutend damit, dass Zebraraupen und andere Tiere glücklich sind, und dann wird ein „Beweis“ für die Formel generiert, die ein Charakter dazu in der Lage sein muss Finden Sie heraus, ob dieser Beweis korrekt ist. Um die Glaubwürdigkeit des Beweises sicherzustellen, simulierte der Tierpfleger, der die Schaltung erstellt hat, ein spezielles Tier namens Zeek, das sehen kann, ob andere Tiere glücklich sind, und einem Verifizierer im Layer2-System entspricht.

Zeek Der Prozess der Beobachtung, ob die Tiere glücklich sind, ist eigentlich der Verifizierungsprozess des Prover-Systems. Wenn alle zufrieden sind, wird die Verifizierung erst dann in das Hauptnetzwerk hochgeladen und schließlich bestätigt. Natürlich produzieren Tausende von Tieren im Zoo eine große Anzahl von Beweisen, und es ist für Zeek unmöglich, sie einzeln zu betrachten. Daher kann Zeek auch beobachten, ob der Status von Tausenden von Zeeks eigenen Klonen zufrieden ist heißt rekursiver Beweis.

4) Der Prozess des Fotografierens entspricht dem Prozess der Erstellung eines SNARK-Zertifikats oder einer KZG-Verpflichtung, und das gedruckte Negativ entspricht dem STARKSNARK-Zertifikat selbst. Die Besucher des Zoos entsprechen den Transaktionstransaktionen, die eins von eingehen 1. Es werden nur glückliche Fotos von Tieren erstellt und ein Beweis dafür erstellt, dass der letzte Besucher das Foto aufnimmt und den Zoo verlässt, um einen Beweis zu hinterlassen, bevor es verkettet und fertiggestellt werden kann.

In einem Zoo gibt es viele Tiere, und es ist unmöglich, dass alle gleichzeitig glücklich sind und nach vorgegebenen Regeln arbeiten. Es gibt viele Logikgatter und es ist unvermeidlich, dass es zu Verbindungsabbrüchen und anderen Situationen kommt. Auf diese Weise kommt es zu Überlastungen, Verzögerungen und Fehlerberichten, die zu ungültigen Zustandsübergängen und Unterbeschränkung führen und die endgültige Überprüfung nicht bestehen.

Das obige ist der detaillierte Inhalt vonPopularisierung der Hardcore-Wissenschaft: Analysieren Sie das Funktionsprinzip der zkSync-Schaltung am Beispiel des Zoos. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!