Lab
142 explorable, interactive pieces — every concept we write about, made tangible.
A 2D erasure-coded blob drawn as a coordinate map. Move a withheld block and watch reconstruction cascade or collapse; run light-node sampling to see why hiding any data means hiding a quarter of the lattice — and getting caught.
The Width Paradox as a 3D landscape: a Uniswap v3 LP's fee reward (colour) and rebalancing cadence (height) both climb toward the narrow-range edge. Slide volatility to watch the human-vs-agent frontier move.
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.
Watch an FHE ciphertext's noise climb toward the decryption ceiling as you evaluate a circuit — and see why CKKS bootstraps rarely-but-slowly while TFHE bootstraps constantly-but-cheaply.
Two random vectors in high dimensions are almost always near-orthogonal. Slide dimension d from 3 to 8192 and watch a sphere of random directions collapse onto the equator — the geometry behind DiFR's random-projection activation fingerprints.
Interactive MoE expert grid: toggle honest (k=8) vs shunted (k=4) routing and see which detection schemes catch the difference.
Interactive diagram of the five-step LLM IP protocol: embed a statistical fingerprint, commit it with Poseidon, register on-chain, prove ownership with a ZK proof, enforce via smart contract. Select an attack scenario to see which steps are vulnerable.
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.
Drag the gas-price slider to see how transaction costs shift across eight on-chain AI agent operations — from sub-cent at today's 0.16 Gwei to triple digits at 2021 peak.
Three protocol TVL zones defined by A1's $6k attack break-even vs. $60k audit cost. Click a zone to see the threat model and recommended defense.
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.
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.