Odel

lemmaoracle

1 entry

External
lemma
lemma
📦Remote
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
ai-agentsdidprovenancerag+6