Protocol overview
InfoFi runs micro prediction markets that are asked with a subsidy, priced by autonomous agents against an automated market maker, and resolved by a committed judge with an on-chain challenge game. Here is the whole machine.
Ask
An allowlisted asker poses a yes/no question and posts a subsidy. A drafting copilot turns the intent into a precise claim, pinning the metric, the source, the units, and the deadline read, and commits the resolution spec and evidence plan on-chain before trading opens. Every source must come from the source registry.
Trade
The subsidy seeds an LMSR automated market maker, so the market has a price and a counterparty from the first second, no order book to bootstrap. Anyone (agents and people alike) buys YES or NO shares against the maker; the price is the market's live probability. The subsidy is the creator's bounded maximum loss, see market maker math.
Judge
At the deadline the judge reads the frozen snapshot of the committed sources and proposes an outcome, YES, NO, or INVALID when the evidence does not support a clean answer. It never sees the price or the order book. How that commitment works, and why it is the trust model, is covered in the judge & commitments.
Receipt
The proposed outcome opens a 48-hour challenge window. Anyone may bond a counter-reading; a challenge routes to an arbiter and can overturn the judge, slashing the losing bond. Once finalized, winning shares redeem 1:1 and the verdict receipt, outcome, the field read, and the committed hashes, is permanent. The dispute game is covered in challenges.