1/ Postare nouă: Jolt demonstrează acum programe RISC-V cu registre pe 64 de biți (RV64IMAC), la viteze care le depășesc pe cele pe care le-am raportat anterior pentru 32 de biți. 1,5 milioane de cicluri/sec pe un procesor cu 32 de nuclee, 500 de cicluri/sec pe un MacBook. Iată de ce contează 🧵 acest lucru

2/ De ce să-i pese de probarea pe 64 de biți? Două motive: 🔹 Performanță: multe aplicații au nevoie de mai puține cicluri cu înregistrări pe 64 de biți. Exemplu: o înmulțire de 256 de biți durează 6× mai puține cicluri. 🔹 Suport pentru limbi: unele limbaje (cum ar fi Go) nu se compilează în RV32, așa că RV64 este necesar pentru a dovedi programe precum Geth

3/ Deci, cum a atins Jolt viteze RV64 care se potrivesc cu rezultatele noastre RV32? Două motive: 1️⃣ Jolt este construit pentru registre mari. Alte zkVM-uri împart valorile pe 64 de biți în octeți (8 elemente de câmp per valoare), o supraîncărcare uriașă. Câmpurile caracteristice mari ale lui Jolt le gestionează direct.

4/ Ca urmare, atunci când alte zkVM-uri înregistrează dimensiunea dublă, acestea sunt adesea cu 2× mai lente pe ciclu. Jolt este cu doar 1,5× mai lent.

5/ 2️⃣ Continuăm să optimizăm. Pe lângă tehnicile cunoscute, am adăugat noi progrese la nivel de cercetare. Aceste câștiguri au compensat deja încetinirea de 1,5×, astfel încât RV64 funcționează acum mai repede decât RV32 în urmă cu două luni.

6/ Utilizarea memoriei continuă să scadă, acum la ~700 MB pe milion de cicluri. Astăzi, în <2 GB, puteți dovedi că cunoașteți multe semnături digitale sau că zeci de KB de date au fost corect hashate prin SHA.

7/ Cu Twist & Shout integrat, suntem pe o cadență constantă. Următorul: –Recursivitate – Probatorul de streaming (păstrați spațiul de testare sub 2 GB pentru un număr de cicluri arbitrar mare, fără recursivitate) – Cunoaștere zero