Unter Verwendung eines Zoos als Metapher wird das Funktionsprinzip der zkSync-Schaltung durch eine Hardcore-Wissenschaft populär gemacht

Viele Menschen waren verwirrt, nachdem sie die neuen zoowissenschaftlichen Bilder und Texte von @zkSync gesehen hatten, den Zoo mit einer Rennstrecke verglichen und Tiere mit besonderen Fähigkeiten als „logische Tore“ behandelt hatten, was alle Tiere glücklich machte „Beweis“. Auf diese Weise durchlaufen die in die Schaltung eingegebenen Daten eine Reihe komplexer Berechnungen, um einen Beweis zu generieren, ohne den spezifischen Inhalt preiszugeben, 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 die Aggregation einer Reihe von Logikgatterbeschrä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 zur Berechnung in mathematische Formeln umgewandelt werden. Wenn sie jedoch nicht direkt formuliert werden können, sind andere Codierungstransformationen erforderlich, um die Rohdaten in berechenbare Formeln umzuwandeln. Dieser Schritt ist die Grundlage für die Verarbeitung durch den Schaltkreis und stellt sicher, dass die Daten effektiv verarbeitet und genutzt werden können.

Im Zoo-Modus symbolisieren verschiedene Tiere logische Gatter im Schaltkreis. Beispielsweise stellen Holzkästen nicht öffentlich angezeigte Zahlen dar, sogenannte „Variablen“, die „öffentliche Eingaben“ darstellen eine unveränderliche Zahl und gilt als „Konstante“.

Das Zebra hat die Fähigkeit zu vergleichen, ob zwei Zahlen „gleich“ sind. Wenn das Ergebnis gleich ist, wird das Krokodil „kleiner als“ sein, und das Krokodil wird nur glücklich sein, wenn die Zahl rechts ist ist kleiner als die Zahl auf der linken Seite; die Spinne stellt ein komplexeres Multi-Choice-Gate dar. Wenn Sie 0 eingeben, wird „true“ zurückgegeben. Wenn Sie 1 eingeben, wird „false“ zurückgegeben. Außerdem können Sie den Biber darstellen lassen 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, hat der Tierpfleger, der die Schaltung erstellt hat, ein spezielles Tier namens Zeek simuliert, das sehen kann, ob andere Tiere glücklich sind, und im Layer2-System dem Verifier entspricht.

Der Prozess, bei dem Zeek beobachtet, 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 von SNARK-Zertifikaten oder KZG-Verpflichtungen, und die gedruckten Negative entsprechen dem STARKSNARK-Zertifikat selbst. Besucher des Zoos entsprechen den Transaktionstransaktionen, die nacheinander eingehen. Es werden nur glückliche Fotos von Tieren erstellt und ein Beweis dafür erstellt, dass der Besucher das Foto erst dann an die Kette legen und endgültig bestätigen kann, wenn er den Zoo verlässt, um einen Beweis zu hinterlassen.

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 vonUnter Verwendung eines Zoos als Metapher wird das Funktionsprinzip der zkSync-Schaltung durch eine Hardcore-Wissenschaft populär gemacht. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!