ZK証明、暗号的来歴証明、選択的開示。技術と意思決定の交点を探る。
ここ数週間、金融業界の信頼インフラに関わる動きが同時に進んでいます。Anthropic のAI エージェント 中核浸透、米欧日の規制当局による AI 判断の説明責任議論、DeFi クロスチェーン・ブリッジの大規模流出 — 別の話題に見えて、根は同じです。境界をまたぐ意思決定で「暗号学的に正しい」と「意味的に正しい」が分離しています。Lemma はその分離を埋めるレイヤー、pre-execution attestation（コミット前検証）を作っており、誰でも動作確認できるリファレンス実装を直近 2 週間で 2 本公開しました。
記事を読む →2026 年に繰り返されている cross-chain ブリッジ事象は、ひとつの構造を共有しています。トランザクション自体は暗号学的に正しい。しかし、システム境界をまたぐ「来歴」についての前提はずれている。事後追跡・凍結・救済は機能していますが、受け取り側がコミットする前に来歴を検証する標準的な層が欠落しています。私たちはこの欠落層を pre-execution attestation（事前検証）と呼び、example-origin で端から端までの実装を公開しました。同じ構造はブリッジを超え、エージェントとツール・オラクルとコントラクト・モデルと実行系、すべての信頼境界に一般化します。
エッセイを読む →AIエージェントは x402 によって HTTP 経由で自律的に支払えるようになりました。しかし、ウォレットアドレスとトランザクションハッシュだけでは、受け手のサーバーは「誰が・どの権限で支払ったのか」「返したデータが改ざんなく届いたか」を知ることができません。本日、Lemma × x402 のリファレンス実装を Base Sepolia 上で公開します。すべての決済は PAYMENT-RESPONSE に ZK 証明バンドル — 発行者の身元・支払い完了・データ整合性 — を同梱し、独立に検証可能になります。
エッセイを読む →AIエージェントが実務の判断を担いはじめた今、「そのAIは何を根拠に判断したのか」を証明する仕組みが、現行スタックには存在しません。Lemma Oracleはホワイトペーパー（v1.0）を公開し、データを開示せずに事実を証明するZK証明ベースの信頼インフラを提示します。真正性・プライバシー・監査可能性の3つの保証と、5つのCOREユースケース・2つのADVANCEDシナリオを通じて、EU AI法時代の設計指針を示します。
エッセイを読む →AIによる意思決定が普及する中、結果だけでなくその判断根拠を事後的に証明できる「説明可能性」が経営課題となっています。本記事では、EUのAI法など規制強化の波を背景に、技術的なブラックボックス問題がもたらす経営上のリスクを解説。さらに、Lemmaのゼロ知識証明（ZK証明）とブロックチェーン技術を活用し、AIの判断ロジックと使用データを改ざん不能な監査トレイルとして永続化する「証明可能な経営」のアーキテクチャとその実践的KPIについて考察します。
エッセイを読む →旅行や公共サービスの現場では、同じ個人情報を何度も提出し、複数機関に保存される非効率な構造が続いています。パスポートコピー、所得証明、医療情報などが拡散し、漏洩リスクが高まります。Lemmaは「生データを共有せず、検証された事実だけを流通させる」という第三の選択肢を提案。ZK証明を用いて、ホテルのKYC、ビザ審査、公共給付の資格確認を、プライバシーを保護したまま効率化する実践的なアプローチを解説します。
エッセイを読む →企業グループ内でのデータ共有が法規制により制限される中、Lemma検証可能AIはZero-Knowledge Proof技術を用いてデータを非開示のまま属性を証明し、セキュアなマーケティング連携を実現します。本稿では、ZK証明を基盤とした属性マーケティングの技術的アプローチ、実装詳細、期待されるKPI向上効果について解説します。
エッセイを読む →Lemmaアーキテクチャの各レイヤーに対応する実装ガイド。
AI がどのように知識を取得・分類するかをモデル化。年齢・リスクスコア・地域を型付きスキーマと正規化で定義し、ZK 回路とジェネレーターを登録してすべてのファクトを起源まで追跡可能にします。
読む →選択的開示により、ホルダーはモデルが必要とする属性だけを公開でき、元の発行者署名との紐づけは維持されます。
読む →Lemma がすべてのドキュメントを AES-GCM で暗号化し、AI が生の PII に触れないようにする仕組み。docHash と CID だけが来歴の安定したアンカーとして公開されます。
読む →「18歳以上」「収益が閾値超」などのビジネスルールを機械検証可能な事実に変換。各証明は回路とジェネレーターとともに永続記録されます。
読む →ドキュメントコミットメント、スキーマ、発行者、ZK 検証結果はオンチェーンにアンカーされます。RAG インデックスは再構築でき、埋め込みは再計算できますが、来歴レイヤーは永続します。
読む →「日本在住の18歳以上のユーザー」を問い合わせると、証明状態・スキーマ・発行者・ジェネレーター・検証方法を含む完全な来歴付きの属性が返されます。
読む →