1/ Nueva publicación: Jolt ahora prueba programas RISC-V con registros de 64 bits (RV64IMAC), a velocidades que superan las que informamos anteriormente para 32 bits. 1.5M ciclos/segundo en una CPU de 32 núcleos, 500k ciclos/segundo en un MacBook. Aquí está la razón por la que esto es importante 🧵

2/ ¿Por qué preocuparse por la prueba de 64 bits? Dos razones: 🔹 Rendimiento: muchas aplicaciones necesitan menos ciclos con registros de 64 bits. Ejemplo: una multiplicación de 256 bits toma 6 veces menos ciclos. 🔹 Soporte de lenguaje: algunos lenguajes (como Go) no se compilan a RV32, por lo que se necesita RV64 para probar programas como Geth

3/ ¿Cómo logró Jolt alcanzar velocidades RV64 que coinciden con nuestros resultados RV32? Dos razones: 1️⃣ Jolt está diseñado para registros grandes. Otros zkVMs dividen valores de 64 bits en bytes (8 elementos de campo por valor), lo que representa una gran sobrecarga. Los campos de gran característica de Jolt los manejan directamente.

4/ Como resultado, cuando otros zkVMs duplican el tamaño de registro, a menudo son 2× más lentos por ciclo. Jolt es solo 1.5× más lento.

5/ 2️⃣ Seguimos optimizando. Junto con técnicas conocidas, hemos estado añadiendo nuevos avances a nivel de investigación. Estas mejoras ya compensan más que la desaceleración de 1.5×, por lo que la ejecución de RV64 ahora es más rápida que la de RV32 hace dos meses.

6/ El uso de memoria también sigue disminuyendo, ahora en ~700 MB por millón de ciclos. Hoy, en <2 GB, puedes probar el conocimiento de muchas firmas digitales o que docenas de KB de datos fueron correctamente hashados con SHA.

7/ Con Twist & Shout integrado, estamos en una cadencia de hitos constante. Lo siguiente: – Recursión – El probador de streaming (mantener el espacio del probador por debajo de 2 GB para conteos de ciclos arbitrariamente grandes, sin recursión) – Prueba de conocimiento cero