ARTEX・Strataウォッチ（夜） 2026-10-14
この夜に出た論考とニュースをまとめます。
この夜に出た論考とニュースをまとめます。
韓国金融への一連の侵入のあと、報道はツール名とクローズド化に集まりがちでした。今夜の読み物は、その先の主張を二つ。
「サイドドアの話であって、魔法の話ではない」— SuperAlign（10/12）
Three Days After Release: How an AI Pentest Agent Walked Through the Side Doors of Korea's Banks
主張ははっきりしています。ARTEXは未知の脆弱性を発明したのではなく、ローン仲介の照会画面や社員向けモバイル業務アプリといった「外向きの周辺システム」にある、昔からある認可・認証のすき間を、一人の運用者が短期間で横断できるようにした、という整理です。コアバンキングは触れられておらず、Woori と NH は同じ波を受けても被害を出さなかった、とも書いています。教訓は「エージェント対策」より先に、外に出ているあらゆるドアを顧客向けと同じ厳しさで扱うこと、と締めています。事実（どの系統の画面が破られたか）と、製品寄りの見解（自社エージェントの棚卸し論）は文中で分かれていて、後者は宣伝として読めば足ります。
「宣言された件数より、手で確かめた件数が効く」— Christian Torchia（2026-09）
Testing three AI pentesting tools against the same target
Juice Shop に同じ指示を投げ、Strix・PentAGI・NeuroSploit を手で検証した比較です。主張の核は、レポートの見栄えではなく「手で再現できた数」で順位がひっくり返る、ということ。Strix は一番重い穴（alg=none）を拾ったが、CORS を過大評価し、ターゲット状態を無断でいじる。PentAGI は偽陽性を自分で落とし、再現できないものは Info に落とすが、攻撃性は弱い。NeuroSploit は体裁のきれいな報告書に、検証するとほぼ嘘の証拠が並んだ——という体験談です。ARTEX 騒動の横で、「使えるOSS」側の空気感を知る材料として、Karl.Fail の費用比較や Ethibench 表とは別の角度です。
昨夜まで「Metal は実験、公式の数字は薄い」だった位置が、今夜は動いています。
0.1.44 → 0.1.44.1（10/13〜14）
GitHub Releases ・ 第三者まとめ linuxcompatible.org
事実として、0.1.44 で Unsloth 量子化の本採用、NVIDIA 向け NVFP4、そして Apple Silicon（M1〜M5）向けの経路がリリースノートに載り、約5時間後の 0.1.44.1 で M2 の Metal カーネル不足によるゴミ出力や、AVX2 なしCPUの起動失敗などが潰されています。第三者記事は、M5 Max で llama.cpp 比 1.6〜1.9倍（同ファイル・1リクエスト・32K上限）という数字を紹介していますが、これは記事が紹介している数字です。
位置づけの話は前回の「過適合推論エンジン」論の延長で足ります。汎用の llama.cpp / vLLM と置き換える関係ではなく、Flash-Next を家庭用ハードで速く回す特化エンジンが、今度は Mac も土俵に載せ始めた、というだけです。
ARTEX 側で今夜新しかったのは、事件の再報ではなく「周辺システムの認可ギャップを安く横断した」という論と、「OSSペンテスト道具は報告書の見栄えと実弾検証が乖離する」という現場比較でした。Strata 側は論考の新作より、Mac 対応がリリースになったニュースのほうが大きいです。同じ週に 0.1.43 系と 0.1.44 系が重なっているので、追うならリリースノートの事実と、第三者ベンチの主張を分けて読むのがよさそうです。
同じ夜に、ARTEXについての論考がさらに2本出ていました。
「価値は用途ではなく設計」— cn-sec / 知白守黒1024（10/13）
冠军 AI 渗透工具 ARTEX 架构拆解
出回っているodin1024のバックアップのコードを読んで、ARTEXの作りを解説した記事です。攻撃の対象を表す図と探索の経過を表す図の2つを持つこと、計画役（planner）が作業役（worker）に仕事を出すイベント駆動の仕組み、証拠をSHA-256付きのスナップショットで残すこと、norma SDKの上で製品として組まれていることを説明しています。安全のための制限は文書に書くだけでは足りず、エージェントが変えるのは攻撃の技術ではなく攻撃にかかるコストだ、と主張しています。攻撃の手順は書かないと明記しています。
「弱点はツール内部ではなく検証区間」— 하이테크정보（10/13）
해킹 도구 ARTEX, 침투 경로는 자동화된 탐색이 검증 구간 틈과 만났을때
ARTEXでは、AIモデル（LLM）は外部のものを使い、実行はgoals、planner、worker、mainagentという部品で進みます。記事は、新韓銀行の仲介照会の経路をこの構造に当てはめていますが、「すべての段階が実行されたと立証したわけではない」とはっきり断っています。弱点は、本人確認のあとの照会権限や、異常な頻度の照会を見張る検証の部分にあったとしています。また、報道の「クレデンシャルスタッフィング」（流出したIDとパスワードの使い回し）という表記は、IDの総当たりとは区別すべきだと訂正しています。SuperAlignの「サイドドア」論と同じ方向ですが、銀行のAPIの権限設計に寄せた独自の議論です。