1/ Nytt innlegg: Jolt beviser nå RISC-V-programmer med 64-bits registre (RV64IMAC), med hastigheter som overgår de vi tidligere rapporterte for 32-bit. 1,5 millioner sykluser/sek på en 32-kjerners CPU, 500k sykluser/sek på en MacBook. Her er grunnen til at dette er viktig 🧵

2/ Hvorfor bry seg om 64-bits bevising? To grunner: 🔹 Ytelse: mange apper trenger færre sykluser med 64-biters regs. Eksempel: en 256-biters multiplikasjon tar 6× færre sykluser. 🔹 Språkstøtte: noen språk (som Go) kompileres ikke til RV32, så RV64 er nødvendig for å bevise programmer som Geth

3/ Så hvordan nådde Jolt RV64-hastigheter som samsvarer med våre RV32-resultater? To grunner: 1️⃣ Jolt er bygget for store registre. Andre zkVM-er deler 64-biters verdier i byte (8 feltelementer per verdi), en enorm overhead. Jolts store karakteristiske felt håndterer dem direkte.

4/ Som et resultat, når andre zkVM-er dobler registerstørrelsen, er de ofte 2× tregere per syklus. Jolt er bare 1,5 × tregere.

5/ 2️⃣ Vi fortsetter å optimalisere. I tillegg til kjente teknikker har vi lagt til nye fremskritt på forskningsnivå. Disse gevinstene mer enn oppveide allerede nedgangen på 1,5 ×, så RV64 viser seg nå å kjøre raskere enn RV32 gjorde for to måneder siden.

6/ Minnebruken synker også, nå på ~700 MB per million sykluser. I dag, i <2 GB, kan du bevise kunnskap om mange digitale signaturer eller at dusinvis av KB med data ble riktig SHA-hashet.

7/ Med Twist & Shout integrert, er vi på en jevn milepæl. Neste opp: –Rekursjon – Streamingbeviseren (hold bevisplassen under 2 GB for vilkårlig store syklustellinger, uten rekursjon) – Null kunnskap