1/ Nueva publicación: Jolt ahora prueba programas RISC-V con registros de 64 bits (RV64IMAC), a velocidades superiores a las que informamos anteriormente para 32 bits. 1,5 millones de ciclos/seg en una CPU de 32 núcleos, 500k ciclos/seg en un MacBook. He aquí por qué esto es importante 🧵

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

3/ Entonces, ¿cómo alcanzó Jolt las velocidades de RV64 que coinciden con los resultados de nuestro RV32? Dos razones: 1️⃣ Jolt está construido para registros grandes. Otros zkVM dividen los valores de 64 bits en bytes (8 elementos de campo por valor), una sobrecarga enorme. Los campos de características grandes de Jolt los manejan directamente.

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

5/ 2️⃣ Seguimos optimizando. Junto con las técnicas conocidas, hemos estado agregando nuevos avances a nivel de investigación. Estas ganancias ya compensaron con creces la desaceleración del 1,5×, por lo que RV64 ahora funciona más rápido que RV32 hace dos meses.

6/ El uso de memoria también sigue cayendo, ahora a ~700 MB por millón de ciclos. Hoy, en <2 GB, puede demostrar el conocimiento de muchas firmas digitales o que docenas de KB de datos se codificaron correctamente con hash SHA.

7/ Con Twist & Shout integrado, estamos en una cadencia constante de hitos. A continuación: –Recursión – El probador de transmisión (mantenga el espacio del probador por debajo de 2 GB para recuentos de ciclos arbitrariamente grandes, sin recursividad) – Conocimiento cero