Odel

lemmaoracle

1 module published

External
lemma
lemma
📦Dev-tools
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.