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 coste elevado porque SHA256 nunca fue diseñado para ser amigable con 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 • Adiciones multioperandos de una sola restricción • Procesamiento por lotes y microoptimizaciones LogUp Este diseño logra la compresión SHA256 de última generación en R1CS entre implementaciones de código abierto existentes. Esto es especialmente importante en entornos de demostración móviles, donde el tamaño del testigo afecta directamente al uso de la memoria. Inmersión completa en profundidad ↓