AI に証明された事実を。
AI が読み取るすべてのデータには、誰が発行し、どのスキーマで定義され、どのように証明されたか、そしてその証明がオンチェーンのどこにあるかという永続的な来歴証明が付随します。
検証された属性の上に、エンドツーエンドで構築する。
すべてを暗号化し、何も露呈しない
Lemma はすべての文書を AES-GCM で暗号化します。AI は生の個人情報に触れることはありません。docHash と CID のみが、来歴証明のための安定したアンカーとして露出されます。
Read the guide →ゼロ知識で事実を証明する
「18 歳以上」や「売上が閾値を超えている」といったビジネスルールを、機械が検証可能な事実に変換します。各検証済みの証明は、そのサーキットとジェネレーターと共に永続的に記録され、AI は事実がどのように証明されたかを常に把握できます。
Read the guide →AI が必要な分だけ開示する
ホルダーは、モデルが検索やランキングに必要とする属性だけを選択的に開示できます。元の発 行者署名へのリンクは維持されるため、部分的な表示でも来歴証明は保持されます。
Read the guide →検証済みの属性を検索する
「日本在住の 18 歳以上のユーザー」と検索すると、完全な来歴証明（証明ステータス、スキーマ、発行者、ジェネレーター、検証方法）を持つ属性が返され、RAG ポリシーレイヤーの準備が整います。
Read the guide →ドメインをスキーマとして定義する
AI が知識をどのように検索しクラスタリングするかをモデル化します。年齢のグループ化、リスクスコア、地域などを、型付けされたスキーマと正規化で定義します。ZK サーキットと再現可能なジェネレーターを登録し、すべての事実がソースに追跡できるようにします。
Read the guide →決して消えない来歴証明
文書のコミットメント、スキーマ、発行者、ZK 検証結果はオンチェーンにアンカーされます。RAG インデックスは再構築でき、埋め込みは再計算できます。来歴証明レイヤーは永続的に残ります。
Read the guide →エッセイ
2026.04.16
Business Strategy
2026.04.01
Business Strategy
2026.03.26
Business Strategy
2026.03.18
Human Impact
2026.03.12
Business Strategy
2026.03.04
Tech Insight
2026.02.28
Guides
2026.02.28
Guides
2026.02.28
Guides
2026.02.28
Guides