Lab
138 explorable, interactive pieces — every concept we write about, made tangible.
An inspection game between a solver and a verifier. Drag the operating rate and tune the bond, reward, and bounty to find p*, the minimum sampling rate that makes honest AI inference a dominant strategy — and watch it collapse without a bounty.
Allora weights models by regret, not votes. Drag a market from calm to a volatility spike: five forecasters ride the softplus weight curve φ′(R̂), the low-vol specialist collapses the instant a spike is forecast while the vol-aware model climbs. Tap a model for its R→R̂→w chain.
Seven ways to verify what an AI agent claims it did, plotted by latency added against the share of fabricated claims caught. Pick a claim type and watch it route to the cheapest sufficient verifier — a free chain receipt, a 12ms signed receipt, or a zkLLM proof reserved for the inference itself.
The move-or-hold call a stablecoin yield agent makes all day, on the live Aave V3 USDC curve from Base: supply capital into a higher-quoted pool and watch your own deposit slide the realized APY down the kinked curve, then race the spread against gas. Shallow pools and L1 gas flip MOVE to HOLD.
Vary range width, volatility, and position size to see how Uniswap v3 gross fee APY and net APY (after rebalancing gas) trade off — and find the volatility-adaptive optimal LP range.
Five on-chain randomness sources plotted on latency vs. manipulation cost. Click any dot to see mechanism, security tier, gas cost, and recommended use case.
Three-column diagram of multi-agent LLM concurrency anomalies — stale-generation, phantom-tool, and causal-cascade. Tap a column to inspect the anomaly; toggle ORI Protection to see how Observable-Read Isolation prevents each failure mode.
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.
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.
ZKLoRA proof times across six base models: the prover bears 31–74 s of computation per LoRA module while the verifier spends 1–2 s. Toggle per-module vs full adapter set; tap a model to see total prover and verifier work — the asymmetry is the deal.
Seven years of the Elliptic AML benchmark in four switchable charts: the 2019 table everyone forgot, the 2026 leakage-free re-ranking, one GraphSAGE trained on four different graphs, and the F1 cliff at time step 43. Hover, tap, or tab across the bars for exact precision and recall.
Seven ZK proof configurations mapped on prover time vs. on-chain verification gas. Click any system to see proof size, setup requirements, and zkML viability. The annotated wrapper band shows the constant-gas region only reachable by STARK→SNARK wrapping.