diagram SVG
The IP-NFT Pipeline
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.
Archive
June 21, 2026
24 artifacts published in this period.
chart SVG
The KV Wall
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.
diagram SVG
The KYC Gate
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.
diagram SVG
The MEV Supply Chain
Interactive diagram of Ethereum's PBS pipeline — Searcher, Builder, Relay, Proposer, Block — with builder concentration numbers, private orderflow paths, and the mev-commit preconf feedback arc.
calculator SVG
The Noise Floor
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.
diagram SVG
The Policy Stack
Four guardrail tiers for on-chain AI agents: probabilistic classifiers through Lean 4 theorem provers. Select an attack scenario to see which tier catches it — and which let it through.
chart SVG
The Prover's Bargain
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.
chart SVG
The Prover's Stack
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.
chart SVG
The Qubit Gap
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.
chart SVG
The Softmax Constraint Map
Constraint cost per Transformer operation in a ZK circuit — without and with lookup arguments. Softmax (275→30), LayerNorm (150→20), and GELU (400→40) dominate the budget until Lasso/LogUp replace in-circuit transcendental approximations with table lookups. Tap a row to inspect.
chart SVG
The Thinking Ledger
How much of a reasoning model's output is actually thinking? For three model tiers at three task difficulties, stacked bars show thinking tokens dwarfing output — then a scheme matrix shows which verification schemes can see the thinking and which attest to the answer alone.
calculator SVG
The Token Margin
When does calling an LLM pay off? Pick a task complexity, model tier, and expected profit per decision: the lognormal token distribution — anchored to the paper's 30× variance finding — shows the fraction of invocations that beat break-even. Drag profit up until the green zone dominates.