Wenn ich einige der Kommentare sehe, wird mir klar, dass es möglicherweise einige Verwirrung oder Missverständnisse darüber gibt, was das bedeutet. Ich bestätige und wiederhole, dass dies eine unglaubliche Leistung ist und dass kein anderes Nachweissystem in der Welt heute solche Leistungen mit diesem Maß an Kosteneffizienz, Vertrauenswürdigkeit und Solidität erreichen kann. Wir erweitern die Grenzen der ZK-Technologie, um die Geschichte von Bitcoin auf eine Weise verifizierbar zu machen, die zuvor unvorstellbar war. Zuerst haben einige Kommentare Sarkasmus angedeutet wie: "Sie haben es bis auf 6,5 Stunden 'herunter' bekommen", was impliziert, dass es langsam oder enttäuschend ist. Hmm, ich denke, hier gibt es eine große Verwirrung! Die 6,5 Stunden sind die Zeit, um den VOLLE REKURSIVEN BEWEIS für die gesamte Kette zu generieren. Dies geschieht NUR EINMAL, von EINER Maschine (und wir optimieren, um die Kosten weiter zu senken). LASST UNS AUF DAS WESENTLICHE KONZENTRIEREN => Die Verifizierung dauert nur 50-100 MILLISEKUNDEN, selbst auf kleinen Geräten wie Handys. Es geht nicht um die Beweiszeit, es ist die Asymmetrie, die STARKs bieten: Beweisen ist rechenintensiv, aber einmalig; Verifizieren ist blitzschnell und skaliert unendlich. Während wir hart daran arbeiten, die vollständige Blockausführung (Skripte, Transaktionen usw.) beweisen zu können, wird die Verifizierung immer noch ~100ms für die gesamte Kette dauern. Das ist der Game-Changer! Nächstes Element: "Beweise validieren nicht." Tatsächlich validiert die Verifizierung des Beweises! Anstatt alles erneut auszuführen (auf die langsame, traditionelle Weise), verifizieren Sie den STARK-Beweis, der kryptografisch dasselbe Ergebnis garantiert, aber exponentiell schneller und mit weniger Berechnung. Es ist, als würde man die Validierung in eine kleine, effiziente Überprüfung komprimieren, ohne die Sicherheit zu opfern. Um es weiter zu erklären, hier ist ein hochrangiger Workflow für unseren komprimierten SPV-Beweis (unter Verwendung von STARKs über Cairo+Stwo): - Batch-Ausführung: Ein Executor verarbeitet Batches von Bitcoin-Block-Headern (z.B. 1-10k, dann 10k-20k) mit Bootloader und assumevalid Cairo-Programmen, die Spuren und Ausführungsinputs generieren. - Beweisgenerierung: Ein Prover erstellt einen STARK-Beweis, der bescheinigt, dass die Blockvalidierungslogik korrekt über diese Header ausgeführt wurde. - Verifizierung: Der komprimierte Beweis + aktueller Kettenzustand + MMR-Wurzel geht an einen On-Chain/Off-Chain-Verifizierer, der vertrauenswürdig bestätigt: Gültigkeit & Verknüpfung aller Header zurück zu Genesis. * Einbeziehung des Zielblocks (über MMR-Beweis). * Ausreichende kumulative Schwierigkeit/Arbeit. * Korrekte Zeitstempel & Konsensregeln. * Einbeziehung der Zieltransaktion (über Merkle/SPV-Beweis). Siehe hier mehr Details: Und die Implementierung des Haupt-Cairo-Programms hier: