Lighter’s codebase recently included a commit labeled binary-options support, suggesting its ZK Circuits may be expanding to binary-outcome prediction markets. The design gives each market a settlement cap: shares trade between zero and that cap before settling at one of those two values. Contracts are fully collateralized with USDC, removing leverage and liquidation from the structure. Analysis cited by PANews suggests Lighter may adopt a market-operator model in which approved operators create, manage and settle markets, similar to HIP-3’s deployment model.