Priced by math. Bounded by design.
Fair pricing, bounded risk, reliable settlement — properties, not claims.
LMSR Automated Market Making
Price is probability. The market maker's worst-case loss is a known constant.
- Price = probabilityalways sums to 1
- Liquidity parameter bsets market depth
- Worst-case lossknown before bet one
C(q)=b·ln ∑ie q ᵢ / b
pricep ᵢ=∂C / ∂q ᵢ·∑ p ᵢ = 1
The instantaneous price is the partial derivative of the cost function — a clean probability.
Real-Time Exposure Management
Worst-case exposure, recomputed on every bet, kept inside your limit.
- Live monitoringno batch lag
- Limits & loss capsper market
- Automatic handlingno trading desk
Deterministic Settlement
Event resolves, settlement runs itself — every payout traces to its bet.
- Adjudicationrepeatable pipeline
- Idempotent payoutsafe to retry
- Reconcilable cyclesbet ↔ payout
Availability You Can Contract On
A measured callback SLA, idempotency on every call, retry until confirmed.
- ≤0s
Callback SLA
- 0%
Idempotency
- until confirmed
Retry
SLA figures are the target service commitment written into integration agreements.
Architectural, Not Decorative
Funds never touch our systems — a whole class of custody risk simply doesn't exist.
- 0-CUSTODYZero-custody fund boundary
- LEAST-PRIVLeast-privilege access
- ENCRYPTEDEncrypted transport
- AUDIT-LOGTraceable audit trail