Bug-ul Orchard din Zcash descoperit de AI; verificarea formală propusă ca remediu (bengoertzel.substack.com)

• Bug-ul Orchard Zcash: AI (Opus 4.8) găsește un defect logic vechi de patru ani
• Bug-ul permitea teoretic baterea nelimitată de ZEC contrafăcute
• Autorul cere verificare formală ca standard în dezvoltarea de software

"O eroare logică subtilă în circuitul Orchard al Zcash, nedetectată timp de patru ani, a fost găsită de modelul AI Opus 4.8 (Anthropic). Eroarea ar putea permite teoretic crearea de ZEC contrafăcute în pool-ul privat. Autorul susține că vulnerabilități similare se ascund în multe stive de software și pledează pentru verificarea formală ca practică standard."