Bogue Orchard de Zcash découvert par l'IA ; vérification formelle proposée comme remède (bengoertzel.substack.com)

• Bogue Orchard Zcash : l'IA (Opus 4.8) trouve une faille logique vieille de quatre ans
• Le bogue permettait théoriquement de créer des ZEC contrefaits illimités
• L'auteur appelle à la vérification formelle comme standard dans le développement logiciel

"Une erreur logique subtile dans le circuit Orchard de Zcash, non détectée pendant quatre ans, a été trouvée par le modèle d'IA Opus 4.8 (Anthropic). L'erreur pourrait potentiellement permettre la création de ZEC contrefaits dans le pool privé. L'auteur estime que des vulnérabilités similaires se cachent dans de nombreuses piles logicielles et plaide pour la vérification formelle comme pratique standard."