Zcash Orchardi viga avastati AI abil; formaalne kontroll pakutakse lahendusena (bengoertzel.substack.com)

• Zcash Orchardi viga: AI (Opus 4.8) leiab nelja aasta vanuse loogikavea
• Viga võimaldas teoreetiliselt piiramatult võltsitud ZEC-d luua
• Autor kutsub üles formaalset kontrolli tarkvaraarenduses standardiks tegema

"Zcash Orchard'i ahela peen loogikaviga, mida neli aastat ei märgatud, leiti AI mudeli Opus 4.8 (Anthropic) poolt. Viga võimaldas teoreetiliselt luua võltsitud ZEC-d privaatses basseinis. Autor väidab, et sarnased haavatavused peituvad paljudes tarkvarakomplektides ja pooldab formaalset kontrolli standardpraktikana."