技術ドキュメント。
Lemmaアーキテクチャの各レイヤーに対応する実装ガイド。
-
ドメインをスキーマとして定義する
AI がどのように知識を取得・分類するかをモデル化。年齢・リスクスコア・地域を型付きスキーマと正規化で定義し、ZK 回路とジェネレーターを登録してすべてのファクトを起源まで追跡可能にします。
読む → -
すべてを暗号化し、何も露出しない
@lemmaoracle/sdk がクライアント側ですべてのドキュメントを AES-256-GCM で暗号化し、AI が生の PII に触れないようにする仕組み。docHash と CID だけが来歴の安定したアンカーとして公開されます。
読む → -
ゼロ知識で事実を証明する
「18歳以上」「収益が閾値超」などのビジネスルールを機械検証可能な事実に変換。各証明は回路とジェネレーターとともに永続記録されます。
読む → -
AI に必要なものだけを開示する
選択的開示により、ホルダーはモデルが必要とする属性だけを公開でき、元の発行者署名との紐づけは維持されます。
読む → -
検証済み属性をクエリする
「日本在住の18歳以上のユーザー」を問い合わせると、証明状態・スキーマ・発行者・ジェネレーター・検証方法を含む完全な来歴付きの属性が返されます。
読む → -
消えることのない来歴
ドキュメントコミットメント、スキーマ、発行者、ZK 検証結果はオンチェーンにアンカーされます。RAG インデックスは再構築でき、埋め込みは再計算できますが、来歴レイヤーは永続します。
読む →
データは出ない。
証明だけが流通する。
ソース側で証明を作り、必要な分だけ選択的に開示し、検証者が公開鍵で確かめる。3 フェーズの間、生データは一度も移動しません。
ソースで証明を作る
ソース側に Lemma SDK を組み込み、データ・モデル・権限の属性証明を発行。元データは一切外に出ない。
必要な分だけを示す
検証者が必要とする最小限の事実(権限・属性・整合性)だけを ZK で選択的に開示。生データは触らない。
誰でも確かめられる
公開検証鍵で誰でも・いつでも証明の真正性を確認。必要なら改ざん耐性のある監査 attestation として記録。
独自の暗号技術、
3つの中核。
信頼インフラを成立させている、3 つの中核技術。原本データに触れずに「同じものだ」「これだけ開示する」「書き換えられない」を成立させます。
Proof
「18 歳以上」「収益が閾値超」などのビジネスルールを、機械検証可能な暗号事実に変換。原本に触れずに命題の真偽だけを証明する。
Disclosure
元の発行者署名との紐づけを維持しながら、ホルダーがモデルに必要な属性だけを選んで公開する技術。AI への入力を最小化できる。
Provenance
ドキュメントコミット・スキーマ・発行者・ZK 検証結果をオンチェーンにアンカー。改ざんも消去もできない来歴として固定する。