Ithaca is a non-custodial, composable, option, option strategies and structured products (and soon) protocol on Arbitrum (and soon on Base and Solana) underpinned by a provably optimal, auction-based matching engine.