Proof of Inference

Layer One Machine Intelligence

BitNet-class models run onchain: ternary weights in chain state, integer inference in the Neural VM.

Latest Job0xd925…1b
VRF Committee5 Miners
Agreement5 of 5
Block, Sealed#1,204,118
01Proof of Inference

How a job clears

A VRF-seated committee recomputes every job on a pinned integer runtime. Agreement is the settlement.

Committee Consensus

Five Miners, one job. miner-19 diverged and earns nothing.

Work-Weighted Agreement

The hash clears once more than two thirds agree.

Sealed Into the Block

Job, model, committee, output hash, height. Provenance, not truth.

Submit From Anywhere

One command in, one cleared job out.

Every Job, on the Record

Cleared, refunded, or never settled. Simulated feed.

02Four Pillars

Four pillars, one chain

Every pillar, running. Weights computing in integers, blocks sealing, addresses resolving, retrieval proven.

Models Live on Blocks

The Neural VM multiplies ternary weights in pure integers, layer by layer, in chain state.

Inference Fills Blocks

Cleared jobs fill the open block, a work-gated producer seals it.

The Model Internet

An address resolves to a price and a verification mode.

Retrieval, Proven

Integer embeddings, exact kNN, the top-3 chunks committed.

Byte-Identical Everywhere

Three unlike machines, one hash, every byte.

03AIOS:ONE

Try the assistant

Pick a model and see its verification mode and price before you send. Send a prompt, watch the committee clear it, then open the proof.

Support Desk

Ask anything

Pick a model above, then send a prompt. Watch the committee clear it.

Verified0.40 $AIOS
04Products

Eleven products

Tap any product to open it.

3AppsONE · CODE · BROWSER
3BuildPLATFORM · SDK · MCP
5NetworkEXPLORER · WALLET · BRIDGE · MINER · STAKING
05Inference Mining

Paid only on a match

Recompute jobs on hardware you already own. Every matching hash is paid work.

One Binary, Every Form Factor

A full node can also earn Producer duty through verified work.

Pick How You Run It

Switch between browser, desktop and CLI.

01

Register

Testnet registration is free and allowlisted. At mainnet, a one-time 10,000 $AIOS burn: destroyed, never held.

02

Recompute

A VRF beacon seats you on committees. Run the job on the pinned integer runtime.

03

Get Paid on Match

Your hash matches the canonical result, you earn from fees and the 100,000,000 mining pool.

06$AIOS

A fixed supply

Gas, payment, mining reward and ownership. No mint function exists, and no token voting.

1 dot = 1,000,000 $AIOS · Pick a Layer
33.33%
Mining Pool
100,000,000 $AIOS

Pays verified work. Every matched job draws from fees plus this pool.

Conserved Every Block

ERC-20 locks to mint native on the L1, the sole mint authority. Burns only shrink it.

A One-Way Tax Ratchet

A 1% ceiling, immutable. The rate can only step down, never up.

07Carried Openly

Two modes, six risks

The verified badge is reserved for committee consensus. Everything that could go wrong is printed here.

Consensus Mode · The Flagship

Verified

A VRF-seated committee recomputes the job and agrees on the output hash. Proves this model produced this output. The only mode that ever wears the verified badge.

PublicTrustlessRecomputed>2/3
TEE Mode · The Trade-Off

Attested

A confidential enclave signs that the registered code ran untampered. Proof of execution, not correctness; the trust root sits with chip vendors, under value caps and a multi-vendor quorum.

PrivateValue-cappedM-of-N vendorsAttested
Non-Custodial. AIOS never custodies funds or model-owners' keys.
No Paid Compute. Miners fund their own hardware. No SLA; audits not yet engaged.
08Status

The testnet, today

Testnet first. Token only after proof. Mainnet only after four gates clear.

Phase 0 · Building Now

Proof Testnet

  • AIOS Module · pinned integer runtime
  • Neural VM · reference Native Model
  • Model registry · Miner software
  • Committee consensus on allowlisted nodes
  • No token, no points program
Milestone · The Proof

Byte-Identical Inference

  • Same input, same weights, same bytes
  • On every conforming node
  • Across heterogeneous hardware
  • Reference demo, end to end
Phase 1 · Next

Proof-Backed Token

  • ERC-20 on Ethereum, fixed 300M
  • Self-funded liquidity
  • Mass Miner onboarding
  • Launches only after the testnet stands
Phase 2 · After That

Native Mainnet

  • Sovereign L1 mainnet
  • Audited external bridge
  • AIOS:BROWSER
  • Dual home: ERC-20 locks, L1 mints
Mainnet Gates · Checked, Not Assumed · 0 of 4 Cleared
G1Throughput at Target Model Size, Independently Validated
G2AIOS Module Byte-Determinism, Validated Across the Miner Set
G3Wash-Call Cost-Anchor and Eviction Benchmarks, Recomputed
G4Security Review Clears Burn-Only Mining and Mode B