Zcashin Orchard-vika löydettiin tekoälyn avulla; muodollista todentamista ehdotetaan ratkaisuksi (bengoertzel.substack.com)

• Zcashin Orchard-vika: tekoäly (Opus 4.8) löytää neljä vuotta vanhan logiikkavirheen
• Vika mahdollisti teoreettisesti rajattoman väärennettyjen ZEC:ien luomisen
• Kirjoittaja vaatii muodollista todentamista standardiksi ohjelmistokehityksessä

"Zcashin Orchard-piirin hienovarainen logiikkavirhe, joka oli havaitsematta neljä vuotta, löydettiin tekoälymalli Opus 4.8:n (Anthropic) toimesta. Virhe mahdollisti teoreettisesti väärennettyjen ZEC:ien luomisen yksityisessä poolissa. Kirjoittaja väittää, että samankaltaisia haavoittuvuuksia piilee monissa ohjelmistopinoissa ja kannattaa muodollista todentamista vakiokäytäntönä."