I design and build DeFi protocol and execution systems with a focus on accounting correctness, explicit state transitions, security boundaries, and adversarial testing.
My independent portfolio covers collateralized lending, invoice financing, RFQ execution, and Solana-to-EVM settlement. I work across smart contracts, off-chain coordination, testing, deployment tooling, and documented execution evidence.
An upgradeable overcollateralized lending protocol with indexed debt accounting and ERC-4626 collateral custody.
- Interest checkpointing before liquidity changes, preserving accrued debt while applying new rates prospectively
- Rounding-aware collateral accounting, oracle validation, health-factor enforcement, and liquidation
- Atomic proxy initialization and locally tested V1.2 migration, with Safe upgrade preparation and verification tooling
- Unit, fuzz, invariant, storage-layout, and upgrade-preservation tests
The public Sepolia proxy runs historical V1. The recorded local demonstration runs V1.2.
V1.2 public and merged; public proxy upgrade not executed.
Repository & demo · Sepolia V1 proxy · Deployment evidence
Invoice financing through separate Senior and Junior ERC-4626 tranches, with explicit settlement and default accounting.
- Non-transferable invoice claims, underwriting controls, and Buyer exposure limits
- Separate invoice verification, permissioned and disputable oracle attestation, and economic execution
- Junior-first loss recognition at default finalization, followed by resolution without a second NAV haircut
- Independently reconstructed ghost accounting, fuzz tests, and stateful invariants
Six source-verified contracts were deployed on Ethereum Sepolia. The local demonstration shows paid settlement and partial-recovery default, including NAV, cash, and LP share-value checkpoints.
Repository & demo · Deployment evidence · Independent external-review record
A TypeScript execution coordinator with a Solidity settlement boundary, focused on deterministic quote selection and recovery from ambiguous RPC transaction sends.
- Validation and deterministic selection of external quotes
- EIP-712 settlement terms, relayer-bound acceptance, and execution-ID and party-nonce replay protection
- Persistence of the exact signed transaction and hash before broadcast
- Final simulation that rejects stale allowance before broadcast, plus original-hash recovery in the demonstrated accepted-then-timeout scenario
The public showcase replays verified local Anvil evidence for both scenarios.
Repository · Recorded-evidence showcase · Correctness model
A local Solana-to-EVM settlement prototype built with Rust/Anchor, Solidity, and TypeScript, using mock assets and a trusted operator.
- Solana escrow with executor-funded EVM purchases
- Execution/cancellation races and mutually exclusive settlement or refund outcomes
- Atomic rollback within each chain and on-chain protection against repeated economic effects
- Recovery through fresh application processes reading existing chain state
The repository includes a recorded local walkthrough and a verification map separating live integration coverage from offline checks.
Repository & demo · Verification map
My background in law and entrepreneurship informs how I approach permissions, responsibilities, trust assumptions, and economic edge cases.