Error de Orchard en Zcash descubierto por IA; se propone verificación formal (bengoertzel.substack.com)

• Bug Orchard de Zcash: IA (Opus 4.8) encuentra fallo lógico de cuatro años
• El bug teóricamente permitía acuñar ZEC falsificado ilimitado
• Autor aboga por verificación formal como estándar en desarrollo de software

"Un error lógico sutil en el circuito Orchard de Zcash, no detectado durante cuatro años, fue encontrado por el modelo de IA Opus 4.8 (Anthropic). El error podría permitir la creación falsificada de ZEC en el pool privado. El autor argumenta que vulnerabilidades similares acechan en muchas pilas de software y aboga por la verificación formal como práctica estándar."