ZK証明、暗号的来歴証明、選択的開示。技術と意思決定の交点を探る。
ステーブルコインを扱う事業者にとっての「Layer 3」 — エージェント決済における顧客理解を、データを送らずに証明する設計。米国 PPSI 規則案・EU MiCA 対応を含む複数ユースケースを、Lemma の ZK 属性証明で単一基盤に統合する選択肢。
記事を読む →金融機関のAIエージェント運用において、判断の来歴をコミット前に検証する仕組み。Lemma の pre-execution attestation が、業務 AI の規制対応と長期的な説明責任を支える設計について。
エッセイを読む →2026年のクロスチェーン・ブリッジ事象が示しているのは、ZK bridges が確立した暗号的な来歴検証の上に、受け取り側のドメイン固有ポリシーを検証する層が必要だということ。Lemma の pre-execution attestation は、replay・custody-path・rehypothecation 等のポリシーを ZK 証明として独立検証する設計です。
エッセイを読む →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 がどのように知識を取得・分類するかをモデル化。年齢・リスクスコア・地域を型付きスキーマと正規化で定義し、ZK 回路とジェネレーターを登録してすべてのファクトを起源まで追跡可能にします。
読む →選択的開示により、ホルダーはモデルが必要とする属性だけを公開でき、元の発行者署名との紐づけは維持されます。
読む →Lemma がすべてのドキュメントを AES-GCM で暗号化し、AI が生の PII に触れないようにする仕組み。docHash と CID だけが来歴の安定したアンカーとして公開されます。
読む →「18歳以上」「収益が閾値超」などのビジネスルールを機械検証可能な事実に変換。各証明は回路とジェネレーターとともに永続記録されます。
読む →ドキュメントコミットメント、スキーマ、発行者、ZK 検証結果はオンチェーンにアンカーされます。RAG インデックスは再構築でき、埋め込みは再計算できますが、来歴レイヤーは永続します。
読む →「日本在住の18歳以上のユーザー」を問い合わせると、証明状態・スキーマ・発行者・ジェネレーター・検証方法を含む完全な来歴付きの属性が返されます。
読む →