1/ Nytt inlägg: Jolt bevisar nu RISC-V-program med 64-bitars register (RV64IMAC), med hastigheter som överstiger de vi tidigare rapporterat för 32-bitars. 1,5 miljoner cykler/sek på en 32-kärnig CPU, 500k cykler/sek på en MacBook. Här är varför detta är viktigt 🧵

2/ Varför bry sig om 64-bitars bevisning? Två anledningar: 🔹 Prestanda: Många appar behöver färre cykler med 64-bitars regs. Exempel: en 256-bitars multiplikation tar 6× färre cykler. 🔹 Språkstöd: vissa språk (som Go) kompileras inte till RV32, så RV64 behövs för att bevisa program som Geth

3/ Så hur nådde Jolt RV64-hastigheter som matchar våra RV32-resultat? Två anledningar: 1️⃣ Jolt är byggd för stora register. Andra zkVM:er delar upp 64-bitarsvärden i byte (8 fältelement per värde), en enorm overhead. Jolts stora karakteristiska fält hanterar dem direkt.

4/ Som ett resultat, när andra zkVM:er fördubblar registerstorleken, är de ofta 2× långsammare per cykel. Jolt är bara 1,5 × långsammare.

5/ 2️⃣ Vi fortsätter att optimera. Vid sidan av kända tekniker har vi lagt till nya framsteg på forskningsnivå. Dessa vinster kompenserar redan mer än väl för nedgången på 1,5 ×, så RV64 visar sig nu gå snabbare än RV32 gjorde för två månader sedan.

6/ Minnesanvändningen fortsätter också att sjunka, nu med ~700 MB per miljon cykler. Idag, i <2 GB, kan du bevisa kunskap om många digitala signaturer eller att dussintals KB data var korrekt SHA-hashade.

7/ Med Twist & Shout integrerat är vi på en stadig milstolpe. Härnäst: –Rekursion – Streamingprovaren (håll provarens utrymme under 2 GB för godtyckligt stora cykelantal, utan rekursion) – Noll-kunskap