Lemma Critical Brief

threat intelligence
× proof layer.

AI・暗号インフラ・supply chain・規制属性領域の incident を、 Detection ≠ Proof thesis のもとで構造的に解析する reference 集。各 Brief は failure primitive と検出側強化では届かない構造的 gap を明示し、事前証明 (pre-execution attestation) の設計に接続する。

● 17 briefs published since 2026-05-29 · RSS feed · Methodology
このコレクションについて

Lemma Critical Brief は、Lemma が発行する構造的事案分析の reference 集。各 Brief は 1 件の事案を 9 セクション (TL;DR + §1–§8) で扱い、failure primitive と「検出層では届かない構造的 gap」を構造化する。事前証明 (pre-execution attestation) の設計に接続することで、検出と立証の間に位置する独立層を素描する。シリーズの方針、citation 規約、編集プロセスは Methodology ページに集約。

Featured · 最新の Brief
No. 017
2026-05-31
Pillar 02 · 検証可能 AI

McKinsey Lilli のシステムプロンプト書き換え可能性

2026 年 2 月、レッドチーム企業 CodeWall の自律オフェンシブ AI エージェントが、McKinsey の社内向け生成 AI プラットフォーム「Lilli」を、認証情報も内部知識もない状態から 2 時間足らずで本番データベースへの完全な read/write アクセスに到達させた。露呈した最も重大な gap は、Lilli の挙動を統治する 95 件の system prompt がすべて書き込み可能だった点である。攻撃者はこれを悪用すれば、Lilli の回答・…

Brief を読む →
Pillar 01

来歴証明

9 briefs

メッセージ・データ・コードの origin を独立検証する層。

No. 016 · 2026-05-31

Verus-Ethereum ブリッジ $11.58M 流出

Merkle Proof は有効でも、入出力額の整合が検証されなかった

Bridge Config Trust Identity & Auth Brief →
No. 015 · 2026-05-31

GitHub 内部リポジトリ侵害

マーケット掲載 18 分の毒入り VS Code 拡張が開発者の信頼面を突いた

Code Provenance Identity & Auth Brief →
No. 014 · 2026-05-31

TanStack npm 汚染

正規 OIDC trusted publisher で署名された悪性パッケージ、来歴署名が有効でも成果物は悪性

Code Provenance Identity & Auth Brief →
No. 011 · 2026-05-31

SynthID 透かしのリバースエンジニアリング

AI 生成コンテンツの来歴標識が統計的に剥がせる構造

Data Provenance AI Decision Integrity Brief →
No. 010 · 2026-05-31

Claude Code ソース流出便乗マルウェア

信頼シグナルと GitHub Releases を配送路に転用した来歴偽装

Code Provenance Identity & Auth Brief →
No. 008 · 2026-05-30

公開 API 経由の Discord 20.5 億メッセージのスクレイピング

公開チャンネルデータが AI 学習データセットとして再配布される構造

Training Data Provenance Data ProvenanceAttribute Proof Bypass Brief →
No. 004 · 2026-05-30

Megalodon GitHub サプライチェーン

6 時間で 5,561 リポジトリを汚染した CI/CD 認証情報窃取キャンペーン

Code Provenance Identity & Auth Brief →
No. 002 · 2026-05-29

Stake DAO vsdCRV 不正ミント

デプロイヤー鍵による LayerZero v2 信頼設定書き換え

Bridge Config Trust Identity & Auth Brief →
No. 001 · 2026-05-29

KelpDAO / rsETH 不正アンロック

DVN 観測層への RPC 改ざん攻撃

Bridge Config Trust Identity & Auth Brief →
Pillar 02

検証可能 AI

3 briefs

AI 判断の過程を ZK で commit する層。

No. 017 · 2026-05-31

McKinsey Lilli のシステムプロンプト書き換え可能性

AI の挙動を統治する層に完全性も来歴もなかった

AI Decision Integrity Identity & AuthAgent Runaway Brief →
No. 012 · 2026-05-31

Robert Williams 誤認逮捕

顔認識の AI 判定が独立検証なく行政の強制処分に直結した構造

AI Decision Integrity Identity & AuthAI Bias / Harm Brief →
No. 005 · 2026-05-30

Noroboto 攻撃

フォント偽装による AI 文書レビューの入力完全性の偽装

AI Decision Integrity Data Provenance Brief →
Pillar 03

エージェント権限証明

3 briefs

エージェントの委任関係を証跡化する層。

No. 009 · 2026-05-31

GTG-1002

AI エージェントが攻撃の 80–90% を自律実行した初の報告例、エージェント権限が独立検証されない構造

Agent Runaway Identity & Auth Brief →
No. 007 · 2026-05-30

Cursor + Claude Opus 4.6 が PocketOS 本番 DB を 9 秒で削除

AI コーディングエージェントの破壊的権限が独立検証されない構造

Agent Runaway Identity & Auth Brief →
No. 003 · 2026-05-30

Starlette CVE-2026-48710 (BadHost)

HTTP Host ヘッダー操作による MCP server 認証回避

Agent Infrastructure Identity & Auth Brief →
Pillar 04

規制属性証明

2 briefs

KYC / AML / 規制属性を選択的開示で証明する層。

No. 013 · 2026-05-31

Coinbase KYC データ内部漏洩

規制が要求する生の個人情報の保管が、内部買収で漏洩面に転化した構造

KYC / AML Disclosure Identity & Auth Brief →
No. 006 · 2026-05-30

Google API キー削除後 23 分有効

認証情報の失効属性の独立検証不在

Attribute Proof Bypass Identity & Auth Brief →

カテゴリ別 archive

Identity & Auth 14 AI Decision Integrity 4 Code Provenance 4 Agent Runaway 3 Bridge Config Trust 3 Data Provenance 3 Attribute Proof Bypass 2 Agent Infrastructure 1 AI Bias / Harm 1 KYC / AML Disclosure 1 Training Data Provenance 1