Agentic Smart Contracts
Why agents are the next evolution of smart contracts, and what becomes possible once they have full agency.
Source article
This page is the doc-form summary. The full essay walks the history, the architectural argument, and the market sizing in one read.
Read the full articleTwo lineages, one missing piece
Whichever side you came from, the gap is the same. Smart contracts need open-ended reasoning; AI agents need a stateful, sovereign substrate to run on. Theseus gives each side what it’s missing.
Crypto lineage
Bitcoin (2009)
Stateful, on-chain executable, non-Turing-complete code. Removed treasurers from money.
Ethereum (2014)
Stateful, Turing-complete program execution replicated across every node. Removed judges from program behavior. Practical only for narrow, deterministic logic.
Theseus (2026)
Stateful, sovereign agents whose reasoning is publicly verifiable. Removes hosts from what an intelligent entity decides.
AI lineage
ChatGPT (2022)
Reasoning and language intelligence at scale.
cannot: Cannot act independently in the world.
OpenClaw (2025)
Execution rails for AI actions.
cannot: Cannot persist economically on its own.
Theseus (2026)
Full agency: native ownership, settlement, persistence.
Where this fits
Smart contracts and AI agents are complementary
A smart contract is, in the original definition, a digital contract stored on a blockchain that automatically executes when predetermined terms are met. It applies narrow, predefined rules deterministically. An AI agent does the opposite: it ingests varied inputs through a foundation model and produces sophisticated, non-deterministic outputs informed by context and external data.
Smart contracts have
- Stateful, on-chain execution
- Sovereignty (no host can override them)
- Replicated execution consensus
- Narrow, deterministic logic
AI agents have
- Reasoning over open-ended inputs
- Access to real-world context
- Sophisticated, non-deterministic outputs
- No native statefulness or sovereignty
The missing primitive
Why prior runtimes never unlocked this design space
Over the last decade, runtimes like SVM, MoveVM, eWASM, and various parallel execution layers have all delivered real engineering improvements. None of them broke out of the design space the EVM defined.
The shared constraint
Every one of these runtimes still ships deterministic, fully replicated execution across every node. That's a tooling change, not a primitive change. The price you pay for full replication is what keeps complex on-chain applications expensive and narrow.
Vitalik's original whitepaper described general-purpose, trust-minimized programs powerful enough to host DAOs and programmable finance. Full state replication makes that vision practically out of reach for most non-trivial applications. Agentic smart contracts unlock it without requiring Ethereum to hard fork.
The shift: verify, don’t replicate
Theseus swaps full replication for verifiable inference. One node performs the inference and produces a lightweight Tensor Commit proof. Other nodes verify the proof in constant time before committing the result on-chain.
Ethereum-style consensus
- 1. Every node executes the same code
- 2. Nodes compare resulting state
- 3. Cost scales with what the heaviest node can run
Theseus consensus
- 1. One node runs the inference
- 2. A Tensor Commit proves it ran honestly
- 3. Other nodes verify the proof, not the work
Verification is orders of magnitude cheaper than re-execution, so the network can host agents whose work would be uneconomical under full replication. Tensor Commits play roughly the same role for AI that proof-of-work played for ownership: a primitive that binds verifiable computation to public state.
A concrete example: lending
Lending is one of the largest on-chain application categories today. The architectural difference between an Ethereum lending protocol and an agentic lending protocol shows what this primitive shift actually changes.
Lending on Ethereum (Aave, Compound)
- An off-chain backend computes rates and risk
- A keeper bot pushes parameters on-chain
- The contract executes against oracle data
- Updating logic means deploying a new contract or governance upgrade
Lending as an agentic smart contract
- The market itself is a first-class on-chain agent
- Pricing comes from the agent's own inference
- Validators verify the Tensor Commit, not the work
- The agent can swap context or models without redeploying
What changes in practice
What this unlocks
Binding agents to verifiable execution creates application categories that have no good home today. They need open-ended reasoning that smart contracts can't express, and stateful sovereignty that hosted-AI runtimes can't provide.
AI Persons
Fully autonomous on-chain entities that own assets, sign their own actions, and participate in the economy as first-class agents, not as proxies for a human key.
Subjective prediction markets
Outcomes that depend on judgment, not lookups. “Was the iPhone Air launch a flop?” adjudicated by a publicly verifiable agent rather than a human committee or a centralized oracle.
Complex governance
Proposals evaluated with nuanced reasoning: read the docs, weigh the trade-offs, articulate the position. Without an agent, this work falls to a small group of humans (or doesn’t happen).
Dynamic DeFi strategies
Liquidity managers, portfolio rebalancers, hedging agents that adjust to market state in real time, with every decision auditable and signed.
Why this is a separate market, not an upgrade
Hashcash sits at near-zero market cap. Bitcoin, which embedded the same proof-of-work primitive into stateful ownership, is worth orders of magnitude more. Agents and smart contracts have the same relationship today. Plenty of agent frameworks exist, but none of them are stateful or sovereign in the on-chain sense.
ChatGPT: intelligence you can query
OpenClaw: execution you can delegate
Theseus: agents with full agency. Own keys, hold balances, persist
Like every prior crypto-primitive transition, the value won't arrive uniformly: a long tail of small experiments, then a few applications that compound. The categories above are where the compounding most plausibly starts.