$ZECに入札したいなら必ず読むべき。要約: > Orchardは2022年にリリースされ、zk回路の内部に隠された制約欠落が存在していた > 複数の監査、レビュアー、そして数年の本番利用でその欠落は一切発見されなかった > 以前のAI監査も見逃していた > Opus 4.8が代数的バグから実用的な攻撃へ至る経路を特定した > PoCは数時間で構築された > 公開前に協調的なパッチ適用が開始された > マイナー、取引所、ノード運用者は正確なバグの内容を知らずにアップグレードした > 詳細が公開される前に、Orchardは実質的に無効化された > 誰もそれが実際に利用されたかどうかを証明できない この種のバグ発見がいかに安価になったか、驚異的だ。 かつてはこのようなバグを発見するには、限られたエリート暗号学者が深いコンテキストを備え、数ヶ月を費やす必要があった。 今や最先端のモデルがその検索コストを劇的に削減し始めている。 今年、これほど多くのハッキングが発生した理由は、これではないのか? 攻撃者はトークンを手に入れれば、一度成功すればよいだけだ。 すべての主要プロトコルは、新しいモデルがリリースされるたびに自らのコードベースが再監査されると仮定すべきだ。

