Tokamak Network

The next billion-dollar exploit won't come from a smart contract bug. It'll come from an AI agent nobody could verify. Right now, AI agents manage billions in DeFi. They rebalance vaults. Trade perps. Farm yield. But here's the dirty secret: you have zero proof of what they actually did. You deposit funds. The agent runs. You hope it didn't rug you. That's the entire security model. Tokagent puts the agent inside a RISC Zero zkVM. Every decision the agent makes — every trade, every rebalance — runs inside a cryptographic black box. When it's done, the zkVM outputs a proof: a mathematical guarantee that the agent did exactly what it claimed. No trust. Just math. Not every use case needs the same security level. Tokagent gives you two: 🔴 Synchronous — full ZK proof verified before any action executes. Maximum security. ~10 min latency. 🟢 Optimistic — actions execute immediately, operator posts a WSTON bond. Proof submitted later. Fraud? Bond gets slashed. Pick your trust/speed tradeoff. Your funds sit in an ERC4626 vault — not in the agent's wallet. The vault only moves money when it receives a valid proof. No proof = no execution. After each execution, performance metrics update on-chain: PPS, drawdown, win rate. All verifiable. No dashboards you have to trust the math is in the contract. Anyone can deploy a verifiable agent. No gatekeeping. Register your agent → get a deterministic agentId → deploy a vault through the factory. The critical detail: the vault pins the agent's imageId at deployment. Even if the author updates the registry later, YOUR vault still runs the exact code you signed up for. This is what kills the rug vector. For optimistic execution, operators lock WSTON bonds on Ethereum L1. If the proof doesn't arrive within the challenge window: → 10% goes to whoever triggered the slash → 80% goes back to vault depositors → 10% goes to the protocol treasury The incentives are designed so that fraud costs more than it could ever earn. DeFi vaults managed by AI agents, where: ✓ Every decision is provable ✓ Funds only move with valid proofs ✓ Agent code is pinned and immutable per vault ✓ Performance is tracked on-chain, not on a dashboard ✓ Bad actors get slashed automatically This isn't "trust the devs." This is "verify the math." We're live on HyperEVM. Agents farming yield. Trading perps. All provably. Docs: docs.tokagent.network The execution kernel era just started — and most of CT is still sleeping on verifiable AI.