PROVE WHAT AI DID
Cryptographic execution receipts for every agent action on Bittensor
AI agents act.
No one can verify.
Decentralised AI networks execute millions of agent decisions daily. None of them produce auditable proof.
✗ Traditional Systems
- ✗Agent actions are opaque — no execution log on-chain
- ✗Trust is assumed, not proven — outputs accepted blindly
- ✗No cryptographic link between input, execution, and output
- ✗Disputed actions have no canonical source of truth
- ✗Slashing / reward logic vulnerable to unverified claims
- ✗No composable trust primitive for downstream protocols
✓ INVARIANT
- ✓Every execution produces a cryptographically signed receipt
- ✓NTS score (0–100) encodes trust in a single verifiable integer
- ✓Input hash + output hash + timestamp bound to a Bittensor block
- ✓Disputed actions have an immutable canonical receipt on-subnet
- ✓Validator logic can read NTS directly — no manual auditing
- ✓Composable trust primitive any subnet can consume
Four steps to proof
From raw agent execution to an immutable on-subnet trust score in under a second.
Execute
Agent receives task, runs inference or action logic, produces output bytes
Capture Context
INVARIANT captures input hash, output hash, model ID, latency, and block height
Score (0–100)
Multi-factor NTS algorithm weights determinism, latency, consistency, and provenance
Post to Subnet
Signed receipt committed to Bittensor subnet — immutable, queryable, composable
Every action. Proven.
Cryptographically signed. Immutably committed to Bittensor at block 3,847,291. This receipt cannot be altered or revoked.
Bittensor-native from day one
INVARIANT operates as a dedicated Bittensor subnet — miners generate receipts, validators verify NTS scores, consensus makes them immutable.
AI Agent
Executes task on any Bittensor miner. All I/O captured automatically by INVARIANT hook.
ANY SUBNETNTS Engine
Determinism, latency, provenance, and consistency factors computed into a 0–100 score.
τ INVARIANTOn-Chain Receipt
Signed receipt posted to INVARIANT subnet. Queryable by any validator or downstream protocol.
IMMUTABLEProof-of-concept.
Built to compete.
INVARIANT was designed and built for the Bittensor Ideathon 2026 — a sandboxed proof-of-concept demonstrating that cryptographic AI execution receipts are technically feasible as a Bittensor subnet primitive.