Into:Omron
Verifiable AI inference with ZK proofs
As of · Jun 4, 10:37 UTC
Every AI inference call today requires you to trust the provider's word that the right model ran and the result was not tampered with. Omron removes that requirement by attaching zero-knowledge proofs to every inference output, making it mathematically verifiable that a specific model produced a specific result. Despite currently earning zero , 797 flowed into the in the past week, reflecting market interest in the underlying technology.
What is Omron
Omron (SN2) is a Bittensor subnet providing verifiable AI inference using zero-knowledge proofs. convert AI models into zero-knowledge circuits and generate predictions alongside zk-proofs that cryptographically verify the source model and inference integrity. distribute inference requests, verify the proofs, and score miners on proof size and response time.
The simple version: Every AI prediction comes with a math proof that the right model ran and the output was not altered, no trust required.
Centralized equivalent: OpenAI, Anthropic, Google DeepMind (inference APIs)
How it works:
- Miners convert AI models into zero-knowledge circuits, run inference on input data, and return both predictions and zk-proofs to validators. They compete on proof generation speed and proof size. Currently CPU-intensive, but the network incentivizes development of GPU-optimized proving systems.
- Validators produce input data and distribute inference requests to miners. They verify the authenticity of returned zero-knowledge proofs and score miners based on proof size and response time.
Other research from the same neighborhood of the network.
