Solana Protocol Engineer · Rust / SVM
I build high-performance, security-critical trading systems on Solana — on-chain programs, ephemeral rollups, risk engines and the infra that keeps them alive. Creator of svmscope, a transaction replay engine, and anqa, a private perpetuals exchange.
I work where correctness isn't optional — matching engines, margin systems, custody and consensus-adjacent infrastructure. Currently shipping production Rust and Anchor at Flash.Trade, a non-custodial perpetuals DEX, across the trade-execution stack and its MagicBlock Ephemeral Rollup integration.
On my own time I built anqa — a dark-pool perpetuals venue where orders and positions stay private inside a TEE-attested rollup while every trade settles with public, verifiable evidence on Solana. I don't assert correctness; I prove it — formal verification in CI, and an adversarial program that attacks my own venue's privacy boundary.
Transaction autopsy for Solana. Give it any mainnet signature and it decodes the full cross-program call tree, reconstructs every account and program as they stood at that slot, and replays it locally in an embedded SVM — then step through it with per-instruction and per-CPI state, profile compute down to individual functions, mutate state, warp the clock, and freeze it into a deterministic regression test. Now also watches the programs a protocol depends on: an on-chain registry plus an engine that replays your real traffic against a dependency's old and new binary after every upgrade and alerts you, signed.
A dark-pool perpetuals exchange on Solana. A Phoenix-style zero-copy central-limit order book matched against the Percolator risk kernel, running inside a MagicBlock Private Ephemeral Rollup — book, positions and liquidation levels stay private; only the tape prints publicly. Isolated margin with add/remove collateral, liquidations, funding, TP/SL triggers, session-key signing, and a reproducible privacy proof.
An independent, reproducible benchmark of Solana's Alpenglow consensus (SIMD-0326) ahead of mainnet. Live-cluster finality measured against mainnet with the same method (218 ms vs 13.2 s), the finality path decomposed to a 68 ms consensus round, and real Agave LocalCluster deployments fault-tested to the 60%-online liveness boundary against a TowerBFT control. Raw per-slot data and zero-dependency reproduction.
A reusable on-chain primitive that auto-halts anomalous vault outflows using configurable time windows, dual-authority control, timelocked policy changes and an auto-trip lockout — integrable through a single CPI check.
A compute-efficient liquid staking protocol in native Solana with Pinocchio — Shank-generated IDLs, Mollusk test coverage, full TypeScript integration. Built for the lowest compute-unit footprint, no Anchor overhead.
Merged the compute-unit optimization guide into Solana Foundation developer docs; three merged PRs to pinocchio-stake-program; Token-2022 CPI compatibility fixes and native Solana reference implementations.
Get in touch
I'm open to protocol and smart-contract engineering roles. If it's on Solana and correctness matters, let's talk.