Bug Orchard di Zcash scoperto dall'IA; verifica formale proposta come soluzione (bengoertzel.substack.com)

• Bug Orchard Zcash: l'IA (Opus 4.8) trova un difetto logico di quattro anni
• Il bug teoricamente permetteva di coniare ZEC contraffatti illimitati
• L'autore chiede verifica formale come standard nello sviluppo software

"Un sottile errore logico nel circuito Orchard di Zcash, non rilevato per quattro anni, è stato trovato dal modello IA Opus 4.8 (Anthropic). L'errore potrebbe teoricamente consentire la creazione di ZEC contraffatti nel pool privato. L'autore sostiene che vulnerabilità simili si nascondono in molti stack software e propone la verifica formale come pratica standard."