Selected work

The protocol I'm currently working on. The EVM contracts are public; a separate Stellar / Soroban implementation is in progress.

The service that decides how a Levva vault's liquidity is split across target protocols and pending withdrawal requests. I reworked it from an earlier C# heuristic — one I'd also worked on — into a Rust solver built on a mixed-integer linear programming (MILP) graph formulation. It solves a whole rebalance in one pass — consistent by construction, and consolidated into a single optimal batch instead of the tail of per-asset transactions the heuristic produced — and runs in production. It began as a free-time experiment in MILP that I later hardened for prod — the production version is built directly on the now-open-source proof-of-concept.

The second generation of Levva's vaults and pools (the pools a refactor of the Marginly pool). As lead author (~60% of commits) I built the upgradeable ERC-4626 multi-asset vault, the factory, the NFT-based withdrawal queue, and adapters into 15+ external DeFi protocols — audited and live at levva.fi — alongside the C# backend APIs and services around them.

Vault contracts across four ecosystems — EVM, Solana, Aptos, and Sui — together with periphery like the rewards distributor. A crash course in shipping the same financial primitives idiomatically on very different chains.

A cross-chain yield protocol connecting EVM chains with the Warden chain, with cross-chain messaging handled over the Axelar bridge. I built the smart contracts and the C# backend services behind it.

EQ LAB's first major EVM protocol, built from the ground up — audited by Quantstamp and shipped to mainnet. I was the top contributor (~260 commits) on the core leveraged-trading contracts, and designed and derived its deleverage-coefficient model: the linear-algebra trick that turns pool-wide deleveraging into an O(1) update and keeps positions liquidatable even when one side's collateral is fully borrowed out — the piece of work I'm still proudest of. I also wrote the adapters connecting Marginly pools to a range of DEXs.

Where I started at EQ LAB — a Polkadot parachain built on Substrate. An early role, where I cut my teeth on on-chain finance, web3, and writing serious tests.