You could even have trusted middle-men that collect a Fee iff ambiguity is discovered and an appeal is wagered against the escrow.
I'm sure it exists and got rugpulled already.
We, like traditional financial exchanges, define the contracts upfront with clear rules on how they will be settled, then follow the letter of the law very strictly when settling a market.
In general, we've found market certainty to be more important that accuracy: ie. having pre-defined rules that everyone can agree on and that are pre-set is more important than those rules being the "correct rules" (not that having correct rules isn't important).
By contrast, I signed up for Kalshi and bought 3 contracts in the last 30 minutes.
Additionally, smart contracts don't actually solve the primary source of (unaccepted) risk: the oracle.
It only took me a minute to use Polymarket, but I already had the prerequisites above.
See PredictIt, Polymarket, YC is doing a great job of fulfilling Thiel's vision of building monopolies. https://astralcodexten.substack.com/p/the-passage-of-polymar...
It would make it very transparent, if the exchange is honest. As a history of all bids, payouts and judgments would be recorded on a blockchain.
It probably also would do away with the KYC, so everybody could participate.
And nobody would have to give away their private data.