Verathos is Bittensor subnet 96 (SN96), a project in the Inference and Compute lane. Inference that proves it ran the real model
A Bittensor subnet that makes AI inference prove its own math: every answer ships with a cryptographic receipt that the correct model actually ran.
It is an educational deep dive, not a recommendation to stake. For live price, pool depth, and performance, always open the live subnet page.
What is Verathos (SN96)?
Verathos is a decentralized network for running AI models where each result arrives with a cryptographic proof that the correct model actually did the computation. Instead of trusting a provider's word that you got the model you paid for, you get a mathematical receipt you can check yourself. It runs as Subnet 96 on Bittensor.
In plain English: It's like getting a tamper-proof receipt with every AI answer, proving the work was done by the model that was promised and not quietly swapped for something smaller and cheaper.
Centralized reference points: Together AI, Fireworks AI
How miners and validators work
Like every Bittensor subnet, SN96 is a two-sided market: miners produce work, validators score it, and emissions follow those weights under the network’s dTAO economics.
- Miners run AI models on GPUs and generate a cryptographic proof alongside each response.
- Validators check those proofs on ordinary CPUs in milliseconds, then score each miner on whether the proof holds, plus its speed and throughput. A failed proof zeroes the score for that round.
Mechanism and design
According to the project's repository, any tensor operation, in either inference or training, can be cryptographically proven using sumcheck-based verification over weights that are committed to a Merkle root anchored on-chain. In plain terms: the model's weights are fingerprinted on-chain ahead of time, and each response carries a proof that the computation used those exact weights and produced the output claimed.
The proof rests on a few pieces, all described in the repo. A Merkle commitment of the quantized weights lives on-chain, so serving the wrong model is caught. A sumcheck protocol, made non-interactive via the Fiat-Shamir transform, lets a validator confirm the matrix-multiplication results without redoing them. A SHA-256 commitment binds the full output to the proof, so tampering invalidates it. And rather than check every layer, the validator challenges a handful of random layers per request, with detection approaching certainty across repeated queries.
On the production side, the proof generator plugs directly into vLLM, a widely used inference server, and produces its proofs in parallel during GPU execution. The repository describes the added cost as single-digit percent overhead, the kind of margin that makes verification practical rather than a research demo. Requests reach miners through an OpenAI-compatible gateway with score-weighted routing, and the same docs note payment options in TAO, USDC on Base, or per-request x402.…
Why the project exists
- The problem it solves: When you call a hosted AI API, you usually cannot verify which model actually served your request. A provider can route you to a smaller, cheaper model and you would not know. Verathos makes the model and the computation behind every response checkable.
- The opportunity: As software agents start spending real money on AI calls, "trust me, it was the right model" stops being good enough. Verifiable inference gives an agent, or the person paying its bills, a way to confirm what it actually bought.
- The Bittensor advantage: A permissionless set of miners competes to serve requests, and the proof, not a brand name, is what earns trust. Validators do not have to re-run the model on expensive hardware to police the network: they check a cheap proof on a CPU.
- Traction signals: The verified inference path is live. Verathos exposes an OpenAI-compatible API and ships frequent releases, with recent work adding a Qwen3.6-27B model entry and OpenAI-style tool calling. The verified training half of the system is, by the team's own description, implemented and tested but not yet active on the network.
What stakers should check before buying alpha
Subnet storytelling is cheap. On-chain and product checks are not. Use the same framework as our subnet metrics guide:
| Check | Why |
|---|---|
| Real product / docs / repo | Separates shipping teams from narrative-only slots |
| Pool depth (TAO) | Your exit door: thin pools amplify slippage |
| Net flows (7d / 30d) | Under flow-based emissions, capital votes with its feet |
| Emission share | Whether the market is funding this subnet right now |
| Ownership concentration | Large holders can move a small alpha market |
| Immunity / deregistration | Post-immunity weak slots can lose the race (see immunity guide) |
Pull the live numbers on Verathos · SN96 rather than trusting any static screenshot in a blog post.
Risk factors
- Single public contributor: Development is driven by one named contributor in the public repository. That is common for an early subnet, but it concentrates execution and continuity risk in one person.
- Verified training is not live yet: The inference proof path is in production, but the training proof system, half of the stated vision, is described as implemented and tested yet not active on the network. The full thesis is unproven until it ships.
- Crowded inference market: Hosted LLM inference is served by many well-funded centralized providers. Verifiability is the differentiator, and it has to matter enough to customers to outweigh the convenience of incumbents.
- Concentration: A gini coefficient around 0.72 points to moderately concentrated ownership or stake distribution, where large positions can move pool dynamics.
How this fits a TAO portfolio
Many holders keep a root vs subnet split: root for calmer TAO exposure, subnets like Verathos for thematic upside (and higher variance). If you use TaoScale, you can size SN96 from your wallet without handing over custody. See non-custodial staking.
- Live market: SN96 on TaoScale
- Browse and stake: /invest
- More subnet explainers: /blog/subnets
FAQ
What does Verathos do on Bittensor?
It's like getting a tamper-proof receipt with every AI answer, proving the work was done by the model that was promised and not quietly swapped for something smaller and cheaper.
What is the SN96 alpha token?
When you stake TAO into subnet 96, you receive that subnet’s alpha. Its price versus TAO moves with the subnet’s pool (see what is dTAO).
How do I research Verathos before staking?
Read the mechanism above, open the official repo/docs when available, then verify pool depth, flows, and activity on SN96. Cross-check with the metrics checklist.
Is this financial advice?
No. TaoScale publishes educational explainers and live tools. Decisions to stake are yours alone.
Not financial advice. Educational overview of Verathos (SN96) compiled from public project materials and ecosystem documentation. Mechanisms and market structure change, so verify live data and official sources before acting.
