Lab
142 explorable, interactive pieces — every concept we write about, made tangible.
The x402 HTTP payment exchange: six-step sequence diagram from initial probe through EIP-3009 authorization signing, facilitator settlement, and resource delivery. Tap any step to inspect the exact header format.
Bradley-Terry vs. majority voting over pairwise comparison rounds. Five nodes with hidden quality scores compete; a malicious node is down-ranked by BT while majority voting is captured. Reference: Fortytwo GPQA Diamond — BT 85.90%, majority 68.69%.
Walk through the EigenAI challenge protocol: from encrypted request and deterministic execution to the on-chain byte-equality check that slashes a cheating operator or clears a frivolous watcher.
Proof sizes for six ZK schemes at 1,000 computation steps — hover or tap a row to see the trust model, setup requirement, and primary source. Folding-based IVC (Nova, HyperNova) holds constant; batch STARKs and separate Groth16 proofs grow with depth.
ERC-7683 cross-chain intent lifecycle: from signed deposit to solver repayment. Click each stage to see the contract call, struct fields, and timing. Across fills $14B+ at median 8 seconds — the 2-hour optimistic challenge window is where solver capital is locked.
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.
Three-lane transaction diagram comparing Raw EOA, ERC-4337, and EIP-7702 execution flows for multi-step DeFi operations — with MEV attack windows and live gas costs. Select a scenario to compare.
Log-scale bar chart comparing FHE vs MPC inference latency for BERT-Tiny, BERT-Base, ResNet-20, and ResNet-50. Click a model to see memory and throughput detail.
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.
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.
Three agentic payment protocol architectures—AP2, TessPay, and On-Chain ERC-4337—shown as flow stages. Toggle Attack Mode to highlight where prompt injection compromises each design. Click a column to inspect protocol details.
Before/after bar chart comparing four survivability metrics (MDD, CVaR, Delegation Gap, Attack Success) with and without SAE execution controls, from arXiv 2603.10092.