SHA256 está en todas partes en cripto, pero dentro de los circuitos zk se convierte en uno de los mayores cuellos de botella. La mayoría de las implementaciones pagan un alto costo porque SHA256 nunca fue diseñado para ser amigable con los circuitos. En nuestro último artículo de @0xrosetteeee, exploramos cómo hacer que SHA256 sea significativamente más barato en R1CS. Ideas clave: • Codificación basada en dispersión para operaciones bit a bit • Optimización dinámica del ancho de bits • Sumas de múltiples operandos con una sola restricción • Agrupamiento LogUp y micro-optimizaciones Este diseño logra una compresión de SHA256 de vanguardia en R1CS entre las implementaciones de código abierto existentes. Esto es particularmente importante para entornos de prueba móviles, donde el tamaño del testigo impacta directamente en el uso de memoria. Profundización completa ↓

Hemos añadido WebGPU al probador WASM de Jolt. Resultado: 2x más rápido en la prueba. La misma prueba. Las pruebas se ejecutan en tu GPU a través de WebGPU. Mac + Chromium soportados en este momento. Estos son los números iniciales que estamos viendo. 2x es donde comenzamos. Los números varían dependiendo del chip. M4: 2x más rápido M4 Pro: 2.75x más rápido Hay una larga lista de optimizaciones que aún no hemos tocado (SIMD siendo una) que podrían llevar esto a 3x y más sin mucho esfuerzo. Bajo el capó: Jolt utiliza un esquema de compromiso polinómico basado en curvas elípticas, Dory. Las operaciones MSM y de emparejamiento son los mejores candidatos para la aceleración en GPU. Conectamos WebGPU a la implementación WASM de Jolt para descargar esas operaciones a la GPU. El probador WASM de Jolt fue anunciado en ETHDenver hace solo dos semanas. Ya tenemos la aceleración en GPU funcionando a través de WebGPU: Esto se trataba de integrar WebGPU de extremo a extremo en el probador WASM de Jolt y enviarlo. Estos son los primeros números reales. Aunque, hay mucho margen de mejora. Seguiremos publicando números a medida que optimicemos más. Ve a probarlo, rompelos, cuéntanos lo que ves →