Lab
138 explorable, interactive pieces — every concept we write about, made tangible.
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.
Grouped bar chart comparing BN254 vs BLS12-381 on-chain gas costs for every precompile operation: G1/G2 adds, scalar mults, and pairings. Log scale reveals the G2 MUL unlock and the counterintuitive pairing inversion.
Push the cost-of-corruption inequality for a restaking-secured AI oracle: set bonded stake, slash rate, audit probability, and value-at-stake, then add AVSs to watch the overloading attack flip the verdict from secure to exploitable.
Three interactive attack surfaces on an ElizaOS-style Web3 AI agent context pipeline — prompt injection, memory injection, and data feed manipulation — with ASR figures from CrAIBench.
Bittensor's Yuma Consensus scores a miner by the stake-weighted median of validator weights, then clips everything above it. Validators sit on a cumulative-stake axis; the consensus line is read at the κ=50% mark. Push a colluding bloc past 50% and watch the pump go from clipped to unstoppable.
Six commitment schemes plotted on proof size vs. trust model: KZG (EIP-4844 blobs), IPA/Pedersen (Verkle state), Groth16, PLONK, FRI-STARK, and Merkle Patricia Trie. Click any dot to inspect.
See exactly how DeFi overcollateralization locks capital as a credit tax. Adjust loan amount, collateral asset, and credit tier to watch the cage shrink — or disappear entirely — as on-chain reputation improves.
One frozen Qwen-3.5-9B judging adversarial Optimism DAO proposals, deliberation off vs on. System 1 holds every metric at 100%; reasoning drops robustness to 68.5%, flips 27% of verdicts, and costs 17x latency — a 226s window that is itself Governance-Extractable Value. Tap a row.
Visualize a Uniswap v3 LP position as a short strangle. Adjust range bounds, implied vol, fee APY, and hold period to see IL vs. the Black-Scholes fair premium — and whether your fee income covers the options risk.
Drag sliders to set provider costs and success rates, then read the profit margin curve. Cascade routing beats expensive-only once the cheap model resolves more than the crossover fraction of queries.
Cumulative net carry of a $10k delta-neutral perpetual funding harvest over real Hyperliquid funding regimes. The line starts below zero by the round-trip fee, then climbs at the annualized funding rate; a flip slider rolls it over. Carry, not alpha — until funding inverts.
Why re-executing an LLM doesn't reproduce it. One matmul reduces to the logit gap between 'Queens, New York' and 'New York City'; drag the production split-K and watch IEEE-754 rounding flip the token at split 5 and 6, breaking the verifier's digest check. Batch-invariant kernels turn it green.