分散ロジックと自動推論の研究、理論、応用https://lemma.frame00.comja-jp2026 Lemma Oraclehttps://lemma.frame00.com/ja/blog/privacy-preserving-attribute-marketing-lemma-verifiable-aihttps://lemma.frame00.com/ja/blog/privacy-preserving-attribute-marketing-lemma-verifiable-ai企業グループ内でのデータ共有が法規制により制限される中、Lemma検証可能AIはZero-Knowledge Proof技術を用いてデータを非開示のまま属性を証明し、セキュアなマーケティング連携を実現します。本稿では、ZK証明を基盤とした属性マーケティングの技術的アプローチ、実装詳細、期待されるKPI向上効果について解説します。Wed, 01 Apr 2026 00:00:00 GMTBusiness Strategyhttps://lemma.frame00.com/ja/blog/lemma-verifiable-ai-kycaml-without-data-sharinghttps://lemma.frame00.com/ja/blog/lemma-verifiable-ai-kycaml-without-data-sharing金融機関の KYC/AML 業務におけるプライバシー保護と迅速な審査の両立課題に対し、ZK 証明を基盤とした Lemma 検証可能 AI が解決策を提供する。データを出さずに属性を証明し、AI の透明性を確保する実践的なアプローチを、技術設計から経営インパクトまで解説する。Thu, 26 Mar 2026 00:00:00 GMTBusiness Strategyhttps://lemma.frame00.com/ja/blog/from-data-sharing-to-verification-sharinghttps://lemma.frame00.com/ja/blog/from-data-sharing-to-verification-sharing従来のサプライチェーンでは、信頼構築のためにデータ共有か第三者監査というトレードオフが避けられませんでした。Lemmaはゼロ知識証明を用い、データそのものを共有せずに検証結果だけを流通させる「検証共有」という第三の選択肢を提案します。これにより、プライバシーを保持したままリアルタイムでの自動検証が可能になり、AIエージェントによる自律的な調達判断を実現します。Wed, 18 Mar 2026 00:00:00 GMTHuman Impacthttps://lemma.frame00.com/ja/blog/agent-cryptographic-trust-chain-a2a-api-economyhttps://lemma.frame00.com/ja/blog/agent-cryptographic-trust-chain-a2a-api-economyAIエージェント同士の連携（A2A）が広がる中、信頼性の担保が最大の課題です。Lemmaは組織アイデンティティの署名、ポリシー属性のZK証明、権限スコープの検証可能化の3層からなる暗号的信頼チェーンを提案し、API経済の構造的な問題を解決します。これにより、KYC/AML審査のプロトコルレベル自動化や、経営レベルの信頼指標の確立が可能になります。Thu, 12 Mar 2026 00:00:00 GMTBusiness Strategyhttps://lemma.frame00.com/ja/blog/verifiable-ai-cryptographic-rag-designhttps://lemma.frame00.com/ja/blog/verifiable-ai-cryptographic-rag-designAIエージェントやRAGの信頼性課題に対し、暗号技術（ゼロ知識証明・選択的開示・プロヴナンス追跡）を活用した新しい設計を提案。AIが読む前の段階でデータの出所と条件適合を検証するレイヤを構築し、システム全体の信頼性を担保するアプローチを解説する。Wed, 04 Mar 2026 00:00:00 GMTTech Insighthttps://lemma.frame00.com/ja/blog/define-your-domain-as-a-schemahttps://lemma.frame00.com/ja/blog/define-your-domain-as-a-schemaAI がどのように知識を取得・分類するかをモデル化。年齢・リスクスコア・地域を型付きスキーマと正規化で定義し、ZK 回路とジェネレーターを登録してすべてのファクトを起源まで追跡可能にします。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/disclose-only-what-ai-needshttps://lemma.frame00.com/ja/blog/disclose-only-what-ai-needs選択的開示により、ホルダーはモデルが必要とする属性だけを公開でき、元の発行者署名との紐づけは維持されます。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/encrypt-everything-expose-nothinghttps://lemma.frame00.com/ja/blog/encrypt-everything-expose-nothingLemma がすべてのドキュメントを AES-GCM で暗号化し、AI が生の PII に触れないようにする仕組み。docHash と CID だけが来歴の安定したアンカーとして公開されます。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/prove-facts-with-zero-knowledgehttps://lemma.frame00.com/ja/blog/prove-facts-with-zero-knowledge「18歳以上」「収益が閾値超」などのビジネスルールを機械検証可能な事実に変換。各証明は回路とジェネレーターとともに永続記録されます。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/provenance-that-never-disappearshttps://lemma.frame00.com/ja/blog/provenance-that-never-disappearsドキュメントコミットメント、スキーマ、発行者、ZK 検証結果はオンチェーンにアンカーされます。RAG インデックスは再構築でき、埋め込みは再計算できますが、来歴レイヤーは永続します。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/query-verified-attributeshttps://lemma.frame00.com/ja/blog/query-verified-attributes「日本在住の18歳以上のユーザー」を問い合わせると、証明状態・スキーマ・発行者・ジェネレーター・検証方法を含む完全な来歴付きの属性が返されます。Sat, 28 Feb 2026 00:00:00 GMTGuideshttps://lemma.frame00.com/ja/blog/lemma-oracle-specshttps://lemma.frame00.com/ja/blog/lemma-oracle-specs暗号学的に検証された真実レイヤー。ゼロ知識証明・選択的開示・オンチェーン来歴により、AI が機密データ上で推論しながら、生コンテンツは暗号化されたまま保持されます。Tue, 24 Feb 2026 00:00:00 GMTFoundationshttps://lemma.frame00.com/ja/blog/faqhttps://lemma.frame00.com/ja/blog/faqLemmaとVerifiable AIに関するよくある質問Thu, 12 Mar 2026 00:00:00 GMTFAQ