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 ↓