Kürzlich habe ich mich mit wissensfreien Beweisen befasst, die oft als ZKP bezeichnet werden.
Früher dachte ich nur, dass zk besser als op sei, zum Beispiel sei es schneller, bequemer, sicherer usw. Diese allgemeinen Bemerkungen ignorierten tatsächlich einen wichtigen Punkt, nämlich warum es besser als op ist und was es ist die Essenz von ZK?
Eine der von zk verwendeten Beweismethoden heißt Snark. Diese Beweismethode ist sehr interessant, um anzuzeigen, dass eine bestimmte Berechnung abgeschlossen wurde, und der Prüfer muss nur die Richtigkeit des Beweises überprüfen. Das ist wirklich passiert.
Diese Beschreibung mag etwas abstrakt sein. Ich verwende eine anschaulichere Metapher, um die Sache mit dem „Beweis“ zu beschreiben.
Wenn Sie ein großes KI-Modell haben, das berechnet werden muss, aber nicht über die entsprechenden Rechenwerkzeuge verfügen, kommt Xiao Ming heraus und sagt, dass er eine Maschine hat, die Ihnen bei der Berechnung helfen kann, solange Sie ihm eine Gebühr zahlen. Zehn Tage später gibt Ihnen Xiao Ming ein KI-Ergebnis: „Der Aktienmarkt von morgen wird fallen.“ Wie beurteilen Sie zu diesem Zeitpunkt, ob Xiao Ming Ihnen bei der Berechnung wirklich geholfen hat? Oder sollte ich Ihnen einfach ein Ergebnis mitteilen und es dabei belassen? Mit anderen Worten: „Ist Xiao Ming vertrauenswürdig?“ Der beste Weg, dies zu überprüfen, besteht darin, eine andere Person zu finden, die die Berechnung erneut durchführt und die Ergebnisse der beiden Personen vergleicht. Dies führt jedoch möglicherweise zu doppelten Kosten. Schließlich sind Sie selbst der Zuverlässigste. Stellen Sie also eine andere Person vor. Das Problem besteht darin, dass Ihnen die Werkzeuge fehlen, um diese komplexe KI-Berechnung durchzuführen.
Wie lässt sich dieses Problem der Vertrauenskrise lösen?
Intelligente Mathematiker haben eine Beweismethode namens Snark erfunden. Das Merkmal dieser Methode besteht darin, dass jeder Schritt des Berechnungsprozesses aufgezeichnet wird und diese Zwischenergebnisse durch eine Reihe algebraischer Änderungen gebildet werden, um einen kleinen Beweis zu bilden, den sogenannten Beweis „Beweis“, das Merkmal dieses Beweises ist, dass er stark mit dem Berechnungsprozess zusammenhängt. Wenn der Berechnungsprozess nicht den Erwartungen entspricht, ändert sich der Beweis.
Als Prüfer, also Sie, müssen Sie nur beweisen, dass dieser Beweis korrekt ist, um sicherzustellen, dass Xiao Ming das getan hat, was ich gesagt habe, und mir kein Ergebnis ausgedacht hat.
Ich muss Sie daran erinnern, dass der Prozess der Beweiserstellung sehr kompliziert ist, der Prozess der Beweisüberprüfung jedoch sehr einfach ist. Das heißt, als Akzeptant muss ich nur sicherstellen, dass der Beweis korrekt ist, dann ist die Transaktion angemessen Dies spart erheblich Zeit bei der Überprüfung. In diesem Fall müssen Sie keine andere Person finden, die die Berechnungen selbst durchführt.
ZKP löst also im Wesentlichen das Problem des Vertrauens zwischen Menschen. Wie können zwei Fremde effektiv kommunizieren und handeln, ohne dass ein Dritter als Vorgesetzter eine gute Lösung bietet?
Warum verwendet Layer2 bei der Zuordnung zur Blockchain-Welt zkp, da komplexe Berechnungen außerhalb der Kette erfolgen können und beim Hochladen in die Kette nur ein Beweis überprüft oder sogar nur ein Beweis gespeichert werden muss? Für Mainnet-Blöcke, in denen Land knapp ist, ist es eine der besten Lösungen zur Kapazitätserweiterung.
Durch mein Verständnis von zkp habe ich zwei Dinge erkannt: Erstens kann zkp nicht nur das Überlastungsproblem von Ethereum lösen, sondern auch eine Methode zum Nachweis der Sicherheit im wirklichen Leben bereitstellen und die Zusammenarbeit zwischen Menschen beschleunigen Um die eigenen schlechten Gewohnheiten der Menschen zu reparieren, werden sie sich um sie kümmern. Menschen werden zum Beispiel zum Betrügen geboren, daher muss Technologie eingeführt werden, um dies zu vermeiden. Menschen werden also fauler und fauler mehr Wenn Sie zufrieden sind, ergeben sich Geschäftsmöglichkeiten.