Lab
145 explorable, interactive pieces — every concept we write about, made tangible.
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.
KV cache size (GiB) vs context length for Llama 3.1 8B, 70B, and 405B on log-log axes, against A10G / H100 VRAM ceilings. Toggle BF16, INT4, or DeltaKV compression and drag the cursor — the panel shows whether the live KV state fits on a single GPU.
The six-step lifecycle of a Molecule IP-NFT: from Snapshot vote to on-chain revenue share. Click any stage for verified gas costs, contract addresses, and real numbers from the VITA-FAST fractionalization.
How well can an adversary reconstruct your training data from the gradients you published? Drag the batch size; toggle DP budget ε. The curve shows estimated reconstruction quality (PSNR) from Geiping et al. — and the tradeoff where DP noise finally closes the window at the cost of model utility.
Pick the GPU a provider bills for and the cheaper card it secretly runs; the network measures the real device's compute, bandwidth and VRAM and plots it against the claimed model's fingerprint. Watch the spoof land outside the tolerance band — or hide inside it.
Walk the real bonding curve that prices a tokenized AI agent: 6,000 virtual VIRTUAL against 1B tokens on a constant product, spot ramping 64× to graduation at 42,000 VIRTUAL. The shaded area is VIRTUAL raised; toggle the halfway split to see the first 21,000 buy ~89% of supply.
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.
Four attack vectors that exploit Polymarket's off-chain match / on-chain settlement gap. Tap a vector to see mechanism, timing, and cost.
Interactive MoE expert grid: toggle honest (k=8) vs shunted (k=4) routing and see which detection schemes catch the difference.
Forward-pass gas for five neural nets run inside the EVM, on a log axis against the live Ethereum (60M) and Base (400M) block-gas ceilings. Toggle ML2SC's measured ~106k gas/edge vs an optimized ~1.5k floor, slide the gas price for a USD readout, and watch an MNIST net blow past 180 Ethereum blocks.
A perpetual market maker's quote ladder. Avellaneda-Stoikov skews only for inventory; funding adds a second, signed skew that survives even at zero inventory. Drag the reservation line to set inventory, push funding and horizon, and watch the two skews stack or cancel.
How quickly each Foundry fork property diverges from mainnet reality. Five divergences — blockhash entropy, MEV competition, basefee, TWAP, and oracle price — rated by blocks until first silent failure. Click a bar to inspect fork behavior vs. production.