01 · 来歴証明
AIに渡すデータの、出どころを保証する。
証明する
出どころと、改ざんのなさ
原本を暗号化、AI には docHash と CID だけを渡す。RAG・学習データ・IoT センサ来歴の信頼性を、起点で確保。汚染データは届かない。
来歴証明 詳細 →Solutions
PoC は通った。
でも、本番が止まる。
機密を渡せない。判断を証明できない。規制が通らない。AI エージェントに、業務を任せられない。AI 導入の最後のハードルは、モデルの精度ではなく証明層。Lemma は「データを持たない」設計で、これを構造的に解消します。
● live in production since 2025 · 対応標準: MCP / A2A / x402 / C2PA / W3C VC · ETHGlobal AI Agents 2026 Finalist
4 つの活用シーン
中身を明かさず、必要なことだけ任せる。
02 · エージェント権限証明
AI エージェントに、業務を任せる。
証明する
範囲内なら任せ、範囲外は止める
エージェントに鍵を渡さず、x402 で「≤ ¥100k」「jurisdiction:JP」など範囲付きの自律取引を runtime 実行。経費承認・購買・cross-agent 取引を 24/7 で動かす。範囲外は実行前に拒否。
エージェント権限証明 詳細 →03 · 規制属性証明
規制適合を、原本なしで通す。
証明する
規制に適合していること
KYC・AML・CBAM・EUDR・AI Act など各規制が要求する属性を、原本データを開示せず選択的に証明。AI 生成 ID 等の偽装も、同じ層で防ぐ。
規制属性証明 詳細 →04 · 検証可能 AI
AI の入出力を、見せずに検証する。
証明する
正しく動いたこと
AI が受け取った入力、生成した出力、実行した動作を、内容を開示せず独立検証。プロンプト改竄も、出力 integrity も、同じ層で検知。
検証可能 AI 詳細 →業界別ユースケース
業界の現場に、
証明層が組み込まれる。
業界・業務単位での実装シナリオを集約。自社の業務にどう組み込むかは、各 Use Case で詳述。
エンタープライズ AI
AI 監査ログ証明
AI 判断の入力・モデル・結果を改ざん不能な証跡として残す。
詳細 →
金融 · FinTech
KYC / AML 選択的開示
原データを渡さずに規制属性のみを暗号証明で開示。
詳細 →
製造 · 調達
サプライチェーン ESG
多階層サプライヤの来歴を改ざん不能な連鎖として記録。
詳細 →
情シス · 業務 DX
RAG Content Provenance
社内文書 RAG の来歴を保持、AI 回答の根拠を監査可能に。
詳細 →
公共インフラ · 自治体
公共サービス適格性証明
市民の属性を開示せずに公共サービス適格を独立検証。
詳細 →
全ユースケース
Use Case 一覧
業界・業務別の組み込み事例を網羅的に参照。
一覧へ →
証明層の概念整理は 信頼インフラ(Why) →