Zero-Knowledge-Beweise wurden 1985 geboren, und in den letzten 40 Jahren wurden sie oft als die mysteriöse Technologie der "Mondmathematik" verspottet, aber jetzt treten sie aus dem Labor an die Spitze der digitalen Wirtschaft. Wenn man den gesamten Entwicklungspfad des ZK-Segments betrachtet, kann eine klare Schlussfolgerung gezogen werden: ZK ist kein optionales Privatsphäre-Patch mehr, sondern die Vertrauensbasis des nächsten Internets. In diesem Jahr sind viele ZK-bezogene Projekte entstanden, und die Brüder könnten sie alle als ZK-Segmentprojekte klassifizieren, aber ich möchte sagen, dass sie feiner unterteilt sind, als wir denken. Man kann sie nach dem Lebenszyklus von Beweisgenerierung → Batch-Verifizierung → Bestätigung auf verschiedenen Chains unterteilen. Sunccinct und Boundless positionieren sich in der Phase der Beweisgenerierung, aber es gibt ein strukturelles Problem in diesem Segment, nämlich den Verifizierungsengpass. Kürzlich hat zkVerify @ZKVProtocol in dieser Hinsicht einige Lösungen angeboten. zkVerify ist ein Projekt von @HorizenLabs, das die erste Datenschutz-Anwendungskette im Base-Ökosystem eingeführt hat, während zkVerify die erste spezialisierte Beweisverifizierungskette ist. Was die Bedeutung der Verifizierungseffizienz angeht, so ist es wie die BMW-Fabrik in Tiexi, Shenyang: Obwohl die Produktionskapazität beeindruckend ist, kommt die Logistik nicht hinterher, sodass die 3er und 5er nicht schnell an die Nutzer geliefert werden können. Schließlich haben sie in Shenyang eine direkte Eisenbahnverbindung zum Hafen gebaut. Für das ZK-Segment ist es ebenso notwendig, das "Logistiksystem" der Produktivität zu verbessern. Wenn man nur Konzepte anpreist, könnte man die Schwere der Leistungsprobleme bei der Verifizierung nicht verstehen. So viel sei gesagt: Auf Ethereum kann die Verifizierung eines Gorth16-Beweises in Spitzenzeiten bis zu 60 US-Dollar kosten. Im Jahr 2024 hat das ZK-Protokoll auf Ethereum 55 Millionen Gas verbrannt, und das Schlimmste ist, dass Ethereum pro Sekunde maximal 15 Beweisverifizierungen verarbeiten kann. Wie soll sich die Branche da entwickeln? zkVerify, als die weltweit erste spezialisierte Beweisverifizierungskette, unterstützt durch Kompatibilität STARKs, Plonky2, SP1 und andere Beweissysteme und kann die Kosten direkt um 90 % senken. Das Kernkonzept besteht darin, die Beweisgenerierung und die Beweisverifizierung zu entkoppeln. Dieses Design ist wirklich für das aktuelle ZK-Ökosystem geschaffen worden. In Zukunft werden sich die Spezialisten um die Beweisgenerierung kümmern, während er sich um die Verifizierung kümmert. Als aufstrebendes Verifizierungssystem erkundet zkVerify auch eine größere Erzählung, nämlich die Fusion von AI und ZK. Derzeit gibt es viele Projekte, die sich mit AI beschäftigen, und ich denke, ein wertvoller Aspekt von zkVerify ist, dass sie die Entwicklergemeinschaft sehr schätzen und wirklich an der Sache arbeiten. Ich habe mir ihre Updates im Blog und auf YouTube im letzten Jahr angesehen und viele Kooperationsgeschichten geteilt, aus denen man sehen kann, wie sie Schritt für Schritt aufgebaut haben. Nächste Woche, am 30. September, findet ihr TGE statt. Auch aus der Token-Ökonomie kann man das Engagement des Teams erkennen: Alle durch das Projekt generierten Verifizierungsgebühren werden mit $VFY bezahlt, und der Gemeinschaftsanteil von 37,31 % ist ebenfalls der höchste. Es gibt jetzt noch die Möglichkeit zur Teilnahme. Sie haben ein Spiel namens ZK Space Invaders organisiert, und die gewonnenen Spielbelohnungen können am TGE-Tag gegen das Hauptnetz-Token $VFY eingetauscht werden. Als speziell für die Verifizierung und für AI-Modelle entworfene spezialisierte Beweisverifizierungskette ist zkVerify, wenn man Succinct und Boundless als die Kraftwerke von ZK betrachtet, das Stromnetz von ZK, das wirklich die obere Grenze von ZK öffnen wird.