Step through a flash loan transaction — three strategies (triangular arb, collateral swap, self-liquidation), same atomic structure. The amber step is the only place the AI agent reasons; everything after it is deterministic EVM. Tap a strategy chip, then tap any step.
Open weights can't be locked, so ownership is proven by counting surviving fingerprints. Embed thousands of secret key-response pairs; an adversary fine-tunes to scrub them and each audit burns one to leakage. Watch the reserve survive — or not.
Settlement trust on four rollup architectures, mapped on a log time axis from 2-second soft confirmation to 7-day fraud-proof closure. Click any segment to see what that trust level means and which AI agent actions it covers.
Log-scale bar chart comparing FHE vs MPC inference latency for BERT-Tiny, BERT-Base, ResNet-20, and ResNet-50. Click a model to see memory and throughput detail.
When an LLM agent writes the exploit, the fight is unit economics. Break-even contract value against cost-per-scan: the attacker's line, and the defender's sitting 10× higher because a bounty pays a tenth of a theft. The band between is the attacker-only zone, with A1's six models at measured cost.
Ethereum's MEV-Boost relays mapped by inclusion policy (neutral → OFAC-censoring) and block-delivery share. 38.6% of blocks censor. Tap a relay to see what it can deny an AI agent; toggle FOCIL to watch the exclusion risk collapse.
Drive a Virtuals ACP escrow job: client funds USDC, provider submits a deliverable hash, and whoever sits in the evaluator's chair springs the payout. Seat the client (what ~all of Base does), a neutral agent, or no one — then run it or let someone cheat, and watch who's left exposed.
Animate three governance regimes — ungoverned, constitutional, and institutional — and watch how only enforceable on-chain penalties drive LLM auction prices back toward the Nash equilibrium.
Run a speculative-decoding round at a time: a cheap drafter proposes γ tokens, the target verifies them in parallel and accepts a prefix plus one free token. Drive α, γ, and drafter cost c; watch the accepted length converge to Leviathan's Ω and the speedup peak, then fade.
Animated simulation of autoregressive vs speculative decoding. Adjust acceptance rate α and draft depth K to see how speedup changes — and what happens when a draft node defects.