Case Studies
Selected work in cryptoeconomics, mechanism design, MEV, and research engineering. Also available as a PDF portfolio.
Formal and computational analysis of Revnets, proving four cryptoeconomic guarantees and reducing all system dynamics to seven immutable launch-time parameters.
Economic design of a trustless tensor-compute network: stake and slashing conditions that make honest execution the equilibrium, validated by adversarial agent-based simulation.
An action-first Filecoin Plus DataCap allocator that distributes DataCap proportionally to on-chain FIL burns, deployed to mainnet with a public verification dashboard.
An MCP-based conversational tool that pairs DeepSeek V3 with MechaFIL, a differentiable digital twin of the Filecoin economy, to deliver plain-language forecasts with interactive charts.
Urani's in-house arbitrage agent on Solana: peer-to-peer intent matching plus threaded AMM routing, released as an open-source Apache-2.0 solver template.
A research codebase that models the market as a token-venue graph and solves forward routing as a convex optimization, provably finding the surplus-maximizing execution.