1/ Neuer Beitrag: Jolt beweist jetzt RISC-V-Programme mit 64-Bit-Registern (RV64IMAC) und übertrifft dabei die Geschwindigkeiten, die wir zuvor für 32-Bit gemeldet haben. 1,5M Zyklen/Sekunde auf einer 32-Kern-CPU, 500k Zyklen/Sekunde auf einem MacBook. Hier ist, warum das wichtig ist 🧵

2/ Warum sich um 64-Bit-Proofing kümmern? Zwei Gründe: 🔹 Leistung: Viele Apps benötigen mit 64-Bit-Registern weniger Zyklen. Beispiel: Eine 256-Bit-Multiplikation benötigt 6× weniger Zyklen. 🔹 Sprachunterstützung: Einige Sprachen (wie Go) kompilieren nicht zu RV32, daher ist RV64 erforderlich, um Programme wie Geth zu beweisen.

3/ Wie hat Jolt also RV64-Geschwindigkeiten erreicht, die unseren RV32-Ergebnissen entsprechen? Zwei Gründe: 1️⃣ Jolt ist für große Register ausgelegt. Andere zkVMs teilen 64-Bit-Werte in Bytes (8 Feldelemente pro Wert) auf, was einen enormen Overhead verursacht. Jolts Felder mit großer Charakteristik verarbeiten sie direkt.

4/ Als Ergebnis sind andere zkVMs, wenn sie die Größe doppelt registrieren, oft 2× langsamer pro Zyklus. Jolt ist nur 1,5× langsamer.

5/ 2️⃣ Wir optimieren weiterhin. Neben bekannten Techniken haben wir neue, forschungsbasierte Fortschritte hinzugefügt. Diese Gewinne gleichen bereits die 1,5× Verlangsamung mehr als aus, sodass RV64 jetzt schneller läuft als RV32 vor zwei Monaten.

6/ Der Speicherverbrauch sinkt ebenfalls, jetzt bei ~700 MB pro Million Zyklen. Heute können Sie in <2 GB nachweisen, dass viele digitale Signaturen oder dass Dutzende von KB an Daten korrekt SHA-gehasht wurden.

7/ Mit Twist & Shout integriert, haben wir einen stabilen Meilenstein-Rhythmus. Als Nächstes: – Rekursion – Der Streaming-Prover (Prover-Speicher unter 2 GB für beliebig große Zyklen, ohne Rekursion) – Zero-Knowledge