Lass uns ZK erklären: 📚 ZK steht für Zero Knowledge und es entfaltet 2 Superkräfte: Privatsphäre und Skalierbarkeit. ZK liegt mir am Herzen, sowohl als Mit-Erfinder von ZK-STARKs als auch als Mitgründer von 2 ZK-Projekten: @Zcash (fokussiert auf Privatsphäre) und @StarkWareLtd (fokussiert auf Skalierung und jetzt auch Privatsphäre)

@Zcash @StarkWareLtd Wie funktioniert ZK? Es gibt zwei Arten von Entitäten: einen Prover und einen Verifier Der Prover übernimmt die schwere Arbeit : - Registrieren der Daten aus allen Transaktionen - Verarbeiten der Daten - Aktualisieren des Zustands des Systems (d.h. das Guthaben nach allen Transaktionen) - Generieren eines Zustandsupdates und eines Beweises

@Zcash @StarkWareLtd Eine typische Aussage des Provers lautet: "Ich, der Prover, habe mit Zustand A begonnen, 1.000.000 Transaktionen verarbeitet und basierend darauf Zustand B erreicht". Der Beweis ist eine Folge von Zahlen und Hashes, die überprüft werden können, um die Integrität der gesamten Aussage zu beweisen.

@Zcash @StarkWareLtd Der Verifier (der typischerweise onchain sitzt) überprüft den Beweis, indem er Mathematik und Kryptographie verwendet, um zu prüfen, ob die Aussage wahr ist, bevor sie akzeptiert wird. Die Theoreme, die wir im Laufe der Jahre bewiesen haben, besagen, dass der Verifier immer wahre Aussagen akzeptiert und niemals falsche Aussagen akzeptiert.

@Zcash @StarkWareLtd Ein böswilliger Prover, der versuchen könnte, einen Verifier davon zu überzeugen, eine falsche Aussage zu akzeptieren, muss eine ähnliche Menge an Arbeit leisten wie bei der Suche nach einer Kollision in einer kryptografischen Hash-Funktion, was nicht möglich ist, bevor unsere Sonne abkühlt.

@Zcash @StarkWareLtd Warum ist ZK gut für die Privatsphäre? Der Verifier überprüft die Richtigkeit der Aussage nicht, indem er die Daten verarbeitet, für die er Zeugnis ablegt. Deshalb können Daten als gültig verifiziert werden, während sie vor dem Verifier verborgen bleiben.

@Zcash @StarkWareLtd Warum ist ZK gut für die Skalierung? Der Verifier muss die Berechnung, die der Prover durchgeführt hat, nicht erneut durchführen. Der Prover kann 1 Million Transaktionen verarbeiten, aber der Verifier muss dies nicht wiederholen, um die Richtigkeit all dieser Transaktionen zu überprüfen. Das Überprüfen des Beweises reicht aus, um ihre Gültigkeit sicherzustellen.