"Critical systems cannot fail." From engineering SCADA controls for particle accelerators at CERN to architecting complex DeFi protocols. I specialize in building zero-to-one financial infrastructure, gas-optimized state machines (O(1)), and securing smart contracts through invariant testing and formal verification.

A high-leverage synthetic futures platform utilizing a Single-Sided Liquidity (SSL) Unified Vault and a 3-layer solvent defense system. View Repository

• Single-Sided Liquidity (SSL): Unified USDC Vault acting as the global counterparty (PvPool model: Traders vs LPs), eliminating liquidity fragmentation across trading pairs.
• Hybrid Solvency Engine: A 3-layer defense system featuring Preventive (Adaptive OI based on Volatility), Reactive (Assistant Fund injection), and ($SYNTH Bonding) mechanisms.
• Oracle Aggregation (DON): Custom Decentralized Oracle Network aggregating prices from 6-8 nodes (median filtering) with Chainlink validation to prevent price manipulation.
• Oracle-Based Execution: Enables large size trades at oracle price, utilizing dynamic spreads (based on OI and Volatility) to simulate market depth and protect LPs.
• Tech: Solidity, Foundry, ERC-4626, Chainlink Oracles, Custom DON (Decentralized Oracle Network), Solady.

A modular ERC-4626 production-grade architecture decoupling vault accounting from yield strategies. View Repository

• Modular Architecture: Decoupled Vault/Strategy pattern enabling atomic pass-through deposits; funds route instantly (User → Vault → Strategy → Protocol) in a single transaction.
• Leveraged Loop: Engineered an atomic Uniswap V4 Flash Loan (zero fee) & Aave V3 E-Mode strategy to cycle liquidity, maximizing LTV (up to 93%) and capturing yield spread with up to 10x leverage. Proportional deleverage maintains leverage ratio on withdrawals.
• Automatic Health Monitoring: Continuous position health checks with automatic emergency divest when health factor drops below threshold, preventing liquidations while maintaining user fund access.
• Emergency Recovery: Seamless automatic reinvestment when emergency mode is deactivated, restoring leveraged positions without manual intervention.
• Defensive Security: Implemented critical protections including Emergency Circuit Breakers, Reentrancy Guards, Inflation Attack Prevention (Dead Shares), Optimized Withdrawals (skip divest during emergency), and access-controlled emergency activation.
• Financial Integrity: Enforced High Water Mark accounting to align fees with net performance.
• Gas Optimizations: Storage packing (~40k gas deployment savings), computation caching (~250-400 gas per flash loan), batch whitelist operations (~21k gas per additional address), and unchecked math where safe.
• Testing & Coverage: 205 tests achieving 93.72% coverage with 352,608+ total iterations. Includes 27 stateful fuzzing invariant tests using the handler pattern (BaseVaultHandler, WETHLoopStrategyHandler, AdminHandler) with ghost variable tracking. Supports dual-mode execution: mock mode (345,600 operations, 256 runs × 50 depth) for fast iteration, and fork mode (real Aave V3 + Uniswap V4) for protocol validation.
• Tech: Solidity 0.8.26, Foundry, ERC-4626, Aave V3, Uniswap V4, OpenZeppelin.

An advanced decentralized prediction market architected from scratch focusing on capital efficiency and atomic execution.

• Virtual CPMM Math: Engineered a custom Virtual Liquidity AMM to prevent liquidity draining and ensure continuous price discovery (soft bounds).
• Mechanism Design: Implements an "Entry Toll" fee model (High Entry / Zero Exit) to maximize revenue while incentivizing arbitrage rebalancing.
• Architecture: Decoupled trading logic from custody (Gnosis CTF), implementing an Atomic Router for 1-click swaps and quadratic exit calculations.
• Security & Ops: Features Inflation Attack Protection (dead shares), CREATE2 deterministic deployment, and rigorous invariant testing.
• Tech: Solidity, Foundry, Gnosis Conditional Tokens, OpenZeppelin.

A hardened staking contract designed to solve linear gas scaling issues in reward distribution. View Repository

• The Breakthrough: Replaced legacy loop-based reward logic with an "O(1) accumulator model".
• Impact: Achieved ~97% gas reduction for claiming rewards, ensuring constant-time execution regardless of staker count.
• Features: Lock-up levels, Real Yield distribution, and emergency withdraw mechanics.

Redefining governance on Solana to combat voter apathy and whale dominance. View Repository

• Architecture: Implements a novel Hybrid Voting model with Proxy Lock security and Trustless Treasury execution.
• Stack: Built purely in Rust using the Anchor framework.

Bridging the gap between Natural Language Processing (NLP) and DeFi execution. View Repository

• Functionality: An AI-powered conversational bot capable of executing complex trades on GMX V2 (Arbitrum) via Telegram commands.
• Tech: Node.js, TypeScript, OpenAI API, Ethers.js.

My development philosophy is "Audit-Ready by Default." I actively conduct security reviews and practice advanced testing methodologies.

Beyond smart contracts, I architect the off-chain nervous system that powers DeFi protocols.

• EIP-712 Verification: Secure off-chain signature verification system for gasless interactions.
• NestJS Teslo Shop: Full-scale e-commerce backend demonstrating robust architectural patterns (Modules, Guards, Interceptors).
• Go Events API: High-performance REST API built with Go and Gin.