Miners compete to produce reliable AI answers. Validators independently verify them. Performance determines reputation and emission.
VERITENSOR does not reward miners for producing output. It rewards output that survives independent verification.
4
verifiable task families
13
task generators
5
scored dimensions
9
miner archetypes
Model output is abundant and nearly free. Determining whether a given answer is actually correct still costs human review, and it does not scale with the volume of machine-generated claims.
A static benchmark is a public answer key. Once it circulates it measures memorisation, not capability, and the leaderboard it produces is no longer informative.
A model that is right 60% of the time while claiming 95% certainty is more dangerous than one that admits uncertainty. Nothing in today's stack charges for that miscalibration.
A validator generates a task whose answer it already knows but has never published. Miners answer. The validator grades correctness, evidence, robustness under mutation, confidence calibration and latency, then converts the result into a normalised emission weight.
Four verifiable families — code security, mathematics, logical reasoning, data analysis — generated from random seeds with ground truth computed at generation time. 13 generators, no static answer key.
Validators grade with deterministic verifiers, never with another language model. The same answer always receives the same score, and any judge can re-run it.
After a correct answer a validator may issue a semantics-preserving mutation of the same problem. A conclusion that flips under renaming was never knowledge.
Stated confidence is graded with a Brier score over a rolling window. Persistent overconfidence costs emission weight.
Accuracy
Deterministic verification against hidden ground truth
Evidence quality
Concept coverage, structure and specificity
Robustness
Consistency under semantics-preserving mutation
Calibration
Brier score of stated confidence vs outcomes
Latency
Budget-based, never a race to the bottom
Hidden ground truth
Answers exist only inside the validator boundary; no API path returns them for an open task.
Dynamic generation + mutation
Every task is drawn from a seeded generator, then optionally mutated into a variant with the same answer.
Duplicate & collusion detection
Repeated answer fingerprints and byte-identical reasoning across miners are flagged and penalised.
Replay protection
A response is bound to one task id and nonce; reuse is rejected before scoring.
subnet/protocol
Task + response wire types. Ground truth is structurally absent from every miner-facing message.
subnet/tasks
Generators, mutation engine and deterministic verifiers. Ground truth is computed, not written.
subnet/miner
Pluggable model backends plus nine behavioural profiles for the local simulation.
subnet/validator
The pipeline: generate → dispatch → validate → score → probe → reputation → emissions.
subnet/scoring
Weighted scoring, Brier calibration, EMA reputation, emission normalisation, anti-gaming detectors.
subnet/adapters
One interface, two implementations: SimulationAdapter today, BittensorAdapter for testnet.
Local subnet prototype
Full pipeline, 13 generators, deterministic scoring, emissions and 120 automated tests.
Testnet registration
Wire the BittensorAdapter to a funded testnet hotkey and publish weights on chain.
Commit–reveal on chain
Publish the task commitment on chain before dispatch so grading is externally auditable.
Verification marketplace
External clients submit claims for verification and pay for a scored, evidenced verdict.