Archive
138 artifacts published in this period.
Interactive calculator: watch how deposit-borrow loops compound leverage toward the 1/(1−LTV) asymptote. Adjust LTV and loop count to see effective leverage, the liquidation trigger, and the loss from a single price move.
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.
Sealevel's parallel execution scheduler, slot by slot. Toggle hot-account contention to see how a single popular writable account collapses eight parallel waves into eight serial queues. Each row is one execution wave — transactions in the same row settle simultaneously.
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.
FROST threshold signing in four stages — DKG, Commit, Sign, Aggregate. Adjust t-of-n to see how many parties must collaborate, and how many an attacker must compromise, to produce a valid Schnorr signature.
Step through a CoW Protocol batch auction: intents arrive, the batch seals, solvers compete, settlement executes on-chain, and surplus flows back to traders.
Step through a DeFi AI agent's 8-step execution cycle as a TrajAD-style detector scores each step in real time. Inject a fault to watch a poisoned decision spike to 0.97 and trigger a bisection dispute game that isolates the bad step in 3 rounds.
Interactive ADL priority queue: drag the shortfall slider past the insurance fund to trigger auto-deleveraging. Positions close highest-profit-% first.
Six commitment schemes plotted on proof size vs. trust model: KZG (EIP-4844 blobs), IPA/Pedersen (Verkle state), Groth16, PLONK, FRI-STARK, and Merkle Patricia Trie. Click any dot to inspect.
Gas cost vs. number of AI inference proofs under three aggregation strategies: naive per-proof (linear), SnarkPack O(log N), and ZK recursion (flat). Drag the slider to find the crossover where each strategy wins.
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.
The six stages of an ERC-4337 UserOperation — from construction by an AI agent to paymaster settlement — with the actor, failure modes, and gas cost at each step.