1/ Nieuwe post: Jolt bewijst nu RISC-V programma's met 64-bits registers (RV64IMAC), met snelheden die de eerder gerapporteerde snelheden voor 32-bits overschrijden. 1,5M cycli/sec op een 32-core CPU, 500k cycli/sec op een MacBook. Hier is waarom dit belangrijk is 🧵

2/ Waarom zou je je zorgen maken over 64-bit bewijsvoering? Twee redenen: 🔹 Prestaties: veel apps hebben minder cycli nodig met 64-bit registers. Voorbeeld: een 256-bit vermenigvuldiging kost 6× minder cycli. 🔹 Taalondersteuning: sommige talen (zoals Go) compileren niet naar RV32, dus is RV64 nodig om programma's zoals Geth te bewijzen.

3/ Hoe heeft Jolt dan RV64-snelheden bereikt die overeenkomen met onze RV32-resultaten? Twee redenen: 1️⃣ Jolt is gebouwd voor grote registers. Andere zkVM's splitsen 64-bits waarden in bytes (8 veldelementen per waarde), een enorme overhead. Jolt's velden met grote karakteristieken verwerken ze direct.

4/ Als gevolg hiervan zijn andere zkVM's vaak 2× langzamer per cyclus wanneer ze de grootte verdubbelen. Jolt is slechts 1,5× langzamer.

5/ 2️⃣ We blijven optimaliseren. Naast bekende technieken hebben we nieuwe, onderzoeksniveau vooruitgangen toegevoegd. Deze winst compenseert al meer dan de 1,5× vertraging, dus RV64 bewijst nu sneller te draaien dan RV32 twee maanden geleden.

6/ Het geheugenverbruik blijft ook dalen, nu op ~700 MB per miljoen cycli. Vandaag, in <2 GB, kun je kennis van veel digitale handtekeningen bewijzen of dat tientallen KB aan gegevens correct SHA-gehasht zijn.

7/ Met Twist & Shout geïntegreerd, hebben we een constante mijlpaalcyclus. Volgende stap: – Recursie – De streaming prover (houd de prover ruimte onder 2 GB voor willekeurig grote cyclusaantallen, zonder recursie) – Zero-knowledge