Los desarrolladores de Zcash están cerca de finalizar una prueba matemática para garantizar que la nueva versión de su grupo de privacidad esté libre de vulnerabilidades de falsificación indetectable. Este avance aprovecha la verificación formal asistida por IA, lo que ha reducido significativamente el tiempo de verificación de años a un período mucho más corto. Este desarrollo marca un paso crucial para mejorar la seguridad y la fiabilidad de las funciones de privacidad de Zcash.