Optionvox uses option trading as a prediction market.
Implied future stock price distributions for call and put option outlooks are computed from current transaction data at quarterly expiry dates with nonparametric methods.
Volatility is estimated from implied distributions, and annualized to the standard format.
A trade combination of several options on a stock is computed that yields positive at all the strike price values.
This arbitrage option trade combination often exists in real-world trading and is found with optimization of a non-differentiable function.