Why Lemma

検証可能な信頼の、4つの柱。

データ来歴・AI判断・エージェント取引・規制適合を、ZK証明で結ぶ。

P1

来歴証明

暗号論理的に有効 ≠ 意味的に正しい
データは複製される。来歴は刻まれる。
詳細を見る → →
P2

AI出力の検証可能性

バグを見つける ≠ 決定を証明する
モデルは変わる。証明は残る。
詳細を見る → →
P3

エージェント信頼チェーン

支払う ≠ 信頼できる
権限は渡せる。証明できる権限だけが。
詳細を見る → →
P4

規制属性証明

コンプライアンスの約束 ≠ コンプライアンスの証明
データは渡さない。証明は渡る。
詳細を見る → →