Verifiable inference, ZK-friendly
Inference designed so its results can be checked rather than trusted. ZK-friendly means the compute can be paired with zero-knowledge proofs — a cryptographic attestation that a specific model ran on specific inputs and returned a specific output, verifiable by anyone including a smart contract, without re-running the model or seeing the weights.
- Cryptographic attestation
- Smart-contract verifiable
- No need to trust the operator