1/ Nouveau post : Jolt prouve maintenant les programmes RISC-V avec des registres de 64 bits (RV64IMAC), à des vitesses dépassant celles que nous avions précédemment rapportées pour les 32 bits. 1,5 M cycles/sec sur un CPU à 32 cœurs, 500 k cycles/sec sur un MacBook. Voici pourquoi cela est important 🧵

2/ Pourquoi se soucier de la preuve 64 bits ? Deux raisons : 🔹 Performance : de nombreuses applications nécessitent moins de cycles avec des registres 64 bits. Exemple : une multiplication 256 bits prend 6× moins de cycles. 🔹 Support des langages : certains langages (comme Go) ne se compilent pas en RV32, donc RV64 est nécessaire pour prouver des programmes comme Geth.

3/ Alors, comment Jolt a-t-il atteint des vitesses RV64 qui correspondent à nos résultats RV32 ? Deux raisons : 1️⃣ Jolt est conçu pour de grands registres. D'autres zkVMs divisent les valeurs 64 bits en octets (8 éléments de champ par valeur), ce qui représente un énorme surcoût. Les champs à grande caractéristique de Jolt les gèrent directement.

4/ En conséquence, lorsque d'autres zkVMs doublent la taille d'enregistrement, elles sont souvent 2× plus lentes par cycle. Jolt est seulement 1,5× plus lente.

5/ 2️⃣ Nous continuons à optimiser. En plus des techniques connues, nous avons ajouté de nouvelles avancées au niveau de la recherche. Ces gains compensent déjà largement le ralentissement de 1,5×, donc l'exécution de RV64 est maintenant plus rapide que celle de RV32 il y a deux mois.

6/ L'utilisation de la mémoire continue de diminuer également, maintenant à ~700 Mo par million de cycles. Aujourd'hui, avec <2 Go, vous pouvez prouver la connaissance de nombreuses signatures numériques ou que des dizaines de Ko de données ont été correctement hachées avec SHA.

7/ Avec Twist & Shout intégré, nous avons un rythme de jalons régulier. Prochainement : – Récursion – Le prouveur en streaming (maintenir l'espace du prouveur en dessous de 2 Go pour des comptes de cycles arbitrairement grands, sans récursion) – Zero-knowledge