Помилка Orchard у Zcash виявлена ШІ; формальна верифікація пропонується як вирішення (bengoertzel.substack.com)

• Помилка Orchard Zcash: ШІ (Opus 4.8) знаходить чотирирічний логічний дефект
• Помилка теоретично дозволяла необмежене створення підроблених ZEC
• Автор закликає до формальної верифікації як стандарту в розробці ПЗ

"Тонка логічна помилка в схемі Orchard Zcash, яка залишалася непоміченою чотири роки, була знайдена моделлю ШІ Opus 4.8 (Anthropic). Помилка теоретично могла дозволити створення підроблених ZEC у приватному пулі. Автор стверджує, що подібні вразливості ховаються в багатьох програмних стеках, і виступає за формальну верифікацію як стандартну практику."