Verifiable AI.
Independently reproduce and verify AI decisions, after the fact.
Record AI inputs and outputs, the model ID, and the applied policy as cryptographic proofs. Leave the decision process in a form a third party can reproduce without ever accessing the original. One of the five proofs that make up the Lemma API.
Make "what it saw and how it decided" independently verifiable, after the fact.
Issue commitments to the AI's input, the model used, and the output. A third party can verify the reproduction and compliance of the decision without accessing the original.
Input + model + output
The input data the AI processes in your workflow, the model used, and the output result.
Commitment + policy verification
A verifiable decision log
Think of it like meeting minutes.
After an important meeting, you keep minutes recording who attended, what was discussed, and what was decided — sound familiar? Lemma's Verifiable AI is a mechanism that automatically issues these minutes for every AI decision. Later, a third party can verify that "this input really did produce this decision from this model," without ever seeing the original.
A verifiable fingerprint of the decision
- ✓
modelId(identifier of the model used) - ✓
inputCommitment/outputCommitment - ✓
satisfiesPolicy(policy compliance) - ✓A ZK proof for third-party verification
Meet AI accountability with cryptography.
How it differs from AI logging, model audit, and access control.
Merely "recording," "auditing," or "controlling" does not guarantee tamper-proofness and independent verification.
P2 is one of the five proofs that make up the Lemma API.
Workflow scenarios that use this proof.
Make AI decisions verifiable with proprietary cryptography.
Commitment
Fixes the contents of inputs and outputs as a unique fingerprint without revealing them. You can independently verify later whether "it was the same input."
Policy verification
Proves with ZK whether the AI's decision satisfies a predefined policy (age limits, geo restrictions, and so on).
Model ID fixing
Cryptographically fixes which model (version, parameter set) performed the inference. For tracking consistency across model switches.
{
"$schema": "your.model.v1",
"modelId": "gpt-4o-2024-08-06",
"inputCommitment": "0xa3f1...c9d2",
"outputCommitment": "0xb7e2...4a8f",
"policyHash": "0xf1c5...e3b9",
"satisfiesPolicy": true,
"timestamp": "2026-06-05T10:00Z",
"zk_proof": "0x8c4f...e7d2"
}
Technical documentation related to this proof.
Issue inference as an API.
This is the “inference suite” of the Lemma API. Prove how an AI reasoned — without disclosing the model. Verification is always free.
- Issue proofs (billed only when you issue)
- Selective disclosure (share only the facts you need)
- On-chain permanence (optional)
Rates are on the pricing page; endpoints and code samples are in the specs.