Lab
138 explorable, interactive pieces — every concept we write about, made tangible.
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.
What happens when copying dominates computing in a permissionless training network. Two loss curves — with and without Gauntlet's uniqueness enforcement — diverge as rational miners defect. Tune the compute burden and miner count; watch the copier fraction and training loss respond.
20 weak agents bid for tasks; bankrupt agents are replaced by mutations of the wealthiest survivors. Watch economic selection raise collective performance past a stronger monolithic baseline — the Economy of Minds mechanism. Toggle difficulty, step through rounds, observe wealth cycles.
Log-scale chart comparing physical qubit counts in today's best quantum hardware against the ~500,000-qubit threshold needed to break secp256k1. Tap a chip to see how far it falls short.
Four attack vectors that exploit Polymarket's off-chain match / on-chain settlement gap. Tap a vector to see mechanism, timing, and cost.
Six cross-chain protocols mapped as a trust topology. Each connects Ethereum to other chains — but their security assumptions span multi-sig keys to ZK consensus proofs. Tap a protocol to see its trust threshold, verification gas, and hack history.
Why DeFi agents can't be trained on on-chain P&L alone: adjust σ (ETH's real 3.46% daily vol) and edge α to see how many trades you need for 95% confidence, and how process rewards cut it 10×. Math RL reaches certainty in 7 episodes; DeFi takes 4,600.
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.
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.
Three require() calls in Ondo Finance's CashKYCSenderReceiver block every address that isn't KYC-verified. Toggle wallet type and compliance model to see which $5B+ tokenized treasury tokens an AI agent can — and can't — reach.
MSM and NTT throughput across four ZK prover hardware tiers — CPU, GPU H100, TPU v6e8, ZK ASIC — normalized to CPU on a log scale. Toggle SNARK (MSM-heavy) or STARK (NTT-heavy) to see how the proof system's operation mix determines end-to-end speedup. Tap a row to inspect.
Five hops — Human → Orchestrator → Sub-Agent → MCP Tool → Chain Call — and zero authentication in the baseline. Toggle No Auth, IBCT Compact, or IBCT Chained; tap any edge chip to see what its token proves, what it carries, and what it can't verify. Based on AIP arXiv:2603.24775.