Catalog
One page per mechanism — its defining formula, reference implementation, runnable demo, and the literature. Pick a mechanism:
Scoring & elicitation
- Proper scoring rules — Log, Brier, spherical, pinball, CRPS, energy — honesty as a dominant strategy.
- Peer prediction — Eliciting truth without ground truth (Bayesian Truth Serum).
- Forecast aggregation — Linear, logarithmic, and depth-trimmed opinion pools.
Markets & makers
- Parimutuel markets — Pool betting and Pennock's dynamic parimutuel market.
- Logarithmic Market Scoring Rule (LMSR) — Hanson's logarithmic market scoring rule; bounded loss $b\log n$.
- Cost-function market makers — Any convex potential $C(q)$ is a no-arbitrage maker with prices $\nabla C$.
- Automated market makers (CFMMs) — Constant-product / constant-mean CFMMs and impermanent loss.
- pm-AMM — parimutuel AMM for binary markets — Gaussian-score AMM for binary markets; price is a probability.
Auctions
- Continuous double auction — Price-time-priority limit order book.
- Frequent batch auction — Uniform-price batch clearing that neutralises the latency race.
Derivatives
- Perpetual futures — No-expiry contract tethered to an index by a funding rate.
- Perpetual demand lending pools — Demand lending pools (GLP/JLP/HLP) with a target-weight mechanism.