Zcash-Orchard-Fehler durch KI entdeckt – formale Verifikation als Lösung (bengoertzel.substack.com)

• Zcash Orchard Bug: KI (Opus 4.8) findet vier Jahre alten Logikfehler
• Bug erlaubte theoretisch unbegrenzte ZEC-Fälschung im privaten Pool
• Autor fordert formale Verifikation als Standard in der Softwareentwicklung

"Ein subtiler Logikfehler im Orchard-Circuit von Zcash, der vier Jahre lang unentdeckt blieb, wurde durch das KI-Modell Opus 4.8 (Anthropic) gefunden. Der Fehler hätte theoretisch die Erzeugung gefälschter ZEC im privaten Pool ermöglicht. Der Autor argumentiert, dass ähnliche Schwachstellen in vielen Software-Stapeln lauern, und plädiert für formale Verifikation als Standard."