Błąd Orchard w Zcash wykryty przez AI; weryfikacja formalna proponowana jako lekarstwo (bengoertzel.substack.com)

• Błąd Orchard Zcash: AI (Opus 4.8) znajduje czteroletni defekt logiczny
• Błąd teoretycznie pozwalał na nieograniczone fałszowanie ZEC
• Autor wzywa do weryfikacji formalnej jako standardu w tworzeniu oprogramowania

"Subtelny błąd logiczny w obwodzie Orchard Zcash, niewykryty przez cztery lata, został znaleziony przez model AI Opus 4.8 (Anthropic). Błąd mógłby teoretycznie umożliwić tworzenie fałszywych ZEC w prywatnej puli. Autor argumentuje, że podobne podatności czają się w wielu stosach oprogramowania i opowiada się za weryfikacją formalną jako standardem."