Orchard-bug in Zcash ontdekt door AI; formele verificatie als oplossing voorgesteld (bengoertzel.substack.com)

• Orchard-bug Zcash: AI (Opus 4.8) vindt vier jaar oude logische fout
• Bug maakte theoretisch onbeperkt vervalsen van ZEC mogelijk
• Auteur pleit voor formele verificatie als standaard in softwareontwikkeling

"Een subtiele logische fout in het Orchard-circuit van Zcash, vier jaar lang onopgemerkt, werd gevonden door het AI-model Opus 4.8 (Anthropic). De fout zou theoretisch het maken van valse ZEC in de privépool mogelijk kunnen maken. De auteur stelt dat soortgelijke kwetsbaarheden in veel software-stacks op de loer liggen en pleit voor formele verificatie als standaardpraktijk."