Looks like binary outcome markets (prediction markets) are coming to Lighter very soon.
A commit, named "Binary options support", was recently made in the Lighter prover repo, which describes the ZK circuit powering Lighter. I've read through the code; here are some of the interesting takeaways...