プラン
大企業向け
Lemma Civic
公共インフラ · B2B2G
Lemma Critical
基幹インフラ・製造業
Lemma Compliance
金融 · KYC/AML · FinTech
料金プラン
お問い合わせベース
ユースケース
業界別
ユースケース一覧
業界・タスク横断で全件を見る
製造・基幹インフラ
金融・FinTech
自治体・公共
調達・サプライチェーン
サービス・小売
AI 導入(業種横断)
開発者
仕組み
4つの柱
4つの柱 概要
検証可能AIインフラの全体像
Pillar 01 — 来歴証明
Pillar 02 — 検証可能AI
Pillar 03 — エージェント権限証明
Pillar 04 — 規制属性証明
開発者
Seal
鍵ではなく、証明を送る
Trust402
AI エージェント経済に、信頼を
ダッシュボード
Lemma 仕様書
技術仕様・フルドキュメント
リソース
コンテンツ
●
Critical Brief
ブログ
ホワイトペーパー
用語集
真正性とは
FAQ
EN
始める
↗
プラン
Lemma Civic
公共インフラ · B2B2G
Lemma Critical
基幹インフラ・製造業
Lemma Compliance
金融 · KYC/AML · FinTech
料金プラン
お問い合わせベース
ユースケース
ユースケース一覧
業界・タスク横断で全件を見る
製造・基幹インフラ
金融・FinTech
自治体・公共
調達・サプライチェーン
サービス・小売
AI 導入(業種横断)
開発者
仕組み
4つの柱 概要
Pillar 01 — 来歴証明
Pillar 02 — 検証可能AI
Pillar 03 — エージェント権限証明
Pillar 04 — 規制属性証明
開発者
Seal
鍵ではなく、証明を送る
Trust402
AI エージェント経済に、信頼を
ダッシュボード
Lemma 仕様書
技術仕様・フルドキュメント
リソース
●
Critical Brief
ブログ
ホワイトペーパー
用語集
FAQ
始める
EN
✕
Built for decisions
that matter.
Register as a partner candidate or get in touch about enterprise plans. We respond within one business day.
ブログ
すべて
22
Industry
7
Solutions
7
Technical
4
Announcements
4
注目の記事
Announcement
·
2026.06.30
Verifiable Claim-Check:オンデバイスのGemma 4と、暗号論的なモデル証明を組み合わせる
記事を読む →
最近の記事
Industry
·
2026.06.22
意図の証明に、根拠の検証を重ねる──AIエージェント決済時代の検証可能AI
読む →
Technical
·
2026.06.18
新しいモデルでも、証明だけが止め続ける——Kimi K2.7 CodeとGLM-5.2を追加検証
読む →
Technical
·
2026.06.12
検出は無力。Fable 5からKimiまで6モデル攻撃実験
読む →
Industry
·
2026.06.10
AIの能力が上がるほど、「何をしたか」の証明が要る — Claude Fable 5 が示したもの
読む →
Industry
·
2026.06.04
AI 時代の金融サイバー攻撃対策 — コンプライアンスの新時代
読む →
Solutions
·
2026.05.28
渡さずに、審査する。データを抱えずに、AI 与信を続ける
読む →
変更履歴
Announcements
読める知識から、検証できる知識へ —— OKF に来歴を足す最初の実装を、OSS で公開しました
2026.06.15
Technical
Proof-as-Auth: 鍵を一度も送らずにサインインする
2026.05.25
Announcements
x402 に信頼レイヤーを足す
2026.04.28
Announcements
ホワイトペーパー公開:AIの判断根拠を証明する設計書
2026.04.23
カテゴリ
Industry
7
Solutions
7
Technical
4
Announcements
4
Announcement
·
2026.06.30
Verifiable Claim-Check:オンデバイスのGemma 4と、暗号論的なモデル証明を組み合わせる
読む →
Industry
·
2026.06.22
意図の証明に、根拠の検証を重ねる──AIエージェント決済時代の検証可能AI
読む →
Technical
·
2026.06.18
新しいモデルでも、証明だけが止め続ける——Kimi K2.7 CodeとGLM-5.2を追加検証
読む →
Announcements
·
2026.06.15
読める知識から、検証できる知識へ —— OKF に来歴を足す最初の実装を、OSS で公開しました
読む →
Technical
·
2026.06.12
検出は無力。Fable 5からKimiまで6モデル攻撃実験
読む →
Industry
·
2026.06.10
AIの能力が上がるほど、「何をしたか」の証明が要る — Claude Fable 5 が示したもの
読む →
Industry
·
2026.06.04
AI 時代の金融サイバー攻撃対策 — コンプライアンスの新時代
読む →
Solutions
·
2026.05.28
渡さずに、審査する。データを抱えずに、AI 与信を続ける
読む →
Technical
·
2026.05.25
Proof-as-Auth: 鍵を一度も送らずにサインインする
読む →
Industry
·
2026.05.22
AI 時代のサイバー防衛に残された、最後の層
読む →
Industry
·
2026.05.15
x402 に第3層を足す — ステーブルコイン事業者の選択肢
読む →
Industry
·
2026.05.07
金融 AI が業務の中核に入った 2026 — 判断証跡という残された層
読む →
Industry
·
2026.04.30
2026年のブリッジ事象が示しているもの — 「来歴証明(verifiable origin proof)」というカテゴリについて
読む →
Announcements
·
2026.04.28
x402 に信頼レイヤーを足す
読む →
Announcements
·
2026.04.23
ホワイトペーパー公開:AIの判断根拠を証明する設計書
読む →
Solutions
·
2026.04.16
暗号証明で支える"説明可能経営"
読む →
Solutions
·
2026.04.07
旅行・公共サービスにおける検証済み属性
読む →
Solutions
·
2026.04.01
データ非開示で属性活用マーケティング:Lemma検証可能AIの実践アプローチ
読む →
Solutions
·
2026.03.26
データを出さずに証明するKYC/AML:Lemma検証可能AIの実践アプローチ
読む →
Solutions
·
2026.03.18
データ共有から検証共有へ:サプライチェーン信頼基盤の進化
読む →
Solutions
·
2026.03.12
エージェント間の暗号的信頼チェーン:A2A連携が変えるAPI経済
読む →
Technical
·
2026.03.04
検証可能なAI:信頼の出所を暗号で示す新しいRAG設計
読む →