1/ Nuovo post: Jolt ora prova i programmi RISC-V con registri a 64 bit (RV64IMAC), a velocità superiori a quelle che abbiamo riportato in precedenza per i 32 bit. 1,5M cicli/sec su una CPU a 32 core, 500k cicli/sec su un MacBook. Ecco perché questo è importante 🧵

2/ Perché preoccuparsi della dimostrazione a 64 bit? Due motivi: 🔹 Prestazioni: molte app necessitano di meno cicli con registri a 64 bit. Esempio: una moltiplicazione a 256 bit richiede 6 volte meno cicli. 🔹 Supporto linguistico: alcuni linguaggi (come Go) non si compilano in RV32, quindi RV64 è necessario per dimostrare programmi come Geth

3/ Quindi, come ha fatto Jolt a raggiungere velocità RV64 che corrispondono ai nostri risultati RV32? Due motivi: 1️⃣ Jolt è progettato per registri di grandi dimensioni. Altri zkVM dividono i valori a 64 bit in byte (8 elementi di campo per valore), un enorme sovraccarico. I campi a grande caratteristica di Jolt li gestiscono direttamente.

4/ Di conseguenza, quando altri zkVM registrano il doppio della dimensione, sono spesso 2× più lenti per ciclo. Jolt è solo 1.5× più lento.

5/ 2️⃣ Continuiamo a ottimizzare. Oltre alle tecniche conosciute, abbiamo aggiunto nuovi progressi a livello di ricerca. Questi guadagni compensano già più che adeguatamente il rallentamento di 1,5×, quindi l'esecuzione di RV64 ora è più veloce di quanto fosse RV32 due mesi fa.

6/ L'uso della memoria continua a diminuire, ora a ~700 MB per milione di cicli. Oggi, con <2 GB, puoi dimostrare la conoscenza di molte firme digitali o che decine di KB di dati sono stati correttamente hashati con SHA.

7/ Con Twist & Shout integrato, siamo su una costante cadenza di traguardi. Prossimo passo: – Ricorsione – Il provatore in streaming (mantenere lo spazio del provatore sotto i 2 GB per conteggi di cicli arbitrariamente grandi, senza ricorsione) – Zero-knowledge