Projects

Privacy-preserving platform for humanitarian financial aid, developed in partnership with NGOs and the Aleo Foundation. Live in Venezuela, with infrastructure for direct aid distribution through privacy-preserving rails (Circle CCTP, Stellar, MoneyGram). Role: lead developer.

Privacy-preserving insurance infrastructure for self-employed workers, based on selective disclosure of medical and income credentials via eIDAS 2.0. Designed to connect with the Dutch NL Wallet. Currently in design phase with funding proposal to the Aleo Foundation.

ZK credit-score-weighted AMM combining Aleo privacy with Uniswap V4 hooks. Users prove their creditworthiness tier (basic, pro, whale) without revealing their actual score, receiving preferential fees and higher trading limits. Demonstrates the credential-based ZK pattern that also underlies InsuranceX.

Privacy-preserving perpetual futures DEX on Aleo. Features a BHP256 position commitment scheme, multi-relayer oracle quorum, and a compliance layer with selective disclosure. Winner at the Aleo Buildathon; live deployment on Aleo testnet.

Research prototype for on-chain peg defense on Uniswap V4. Models stablecoin depegs as three distinct regimes (normal, mild, severe) and repositions protocol-owned liquidity between them to efficiently support peg recovery. Combines a v4-hook layer (peg-aware swap fees) with a vault layer (active liquidity management via Foundry scripts).

Dynamic liquidity and monitoring bots for Uniswap, PancakeSwap, Orca, and Meteora. Includes rebalancing logic, fee tracking, and strategy configuration.

AI agents for fitness tracking and nutrition guidance, combining LLMs with simple data storage and automation scripts.

Rule-based and AI-assisted yield agent that simulates lending, borrowing, and LP positions to compare DeFi strategies across protocols.