EMBERLINE / FLARE
Open markets

PREDICTION MARKETS / VERIFIED SETTLEMENT

Trade real-world outcomes through a collateralized LMSR. FTSOv2 prices, FDC Web2Json attestations, and bonded evidence turn external facts into inspectable Flare settlement.

Enter MarketsInspect protocol
EMBERLINE / DEVNET BUILD
01 / Live signals

WHAT MOVES A MARKET

No. 01

Resolver Mesh

VERIFIED

FTSOv2 feeds, FDC Web2Json attestations, and bonded public evidence settle distinct market categories.

No. 02

Live Probability

CONTINUOUS

Every exact-share fill moves the public probability through deterministic integer-only LMSR pricing.

No. 03

tUSDC Escrow

SOLVENT

Creator subsidy and trader cash stay in contract escrow that must cover the largest possible payout.

No. 04

Fixed Predicate

IMMUTABLE

Question, rules, outcome labels, resolver configuration, and observation time are committed before trading opens.

No. 05

Curve Fee

1.00% MAX

A probability-sensitive fill fee routes 70% to Emberline and 30% to market liquidity. Settlement and invalid claims add no second fee.

02 / Protocol

ONE SYSTEM / SIX LAYERS

Continuous prediction

Market Engine

LMSR / tUSDC

One collateralized binary LMSR prices sports, crypto, economics, politics, technology, culture, science, and other objective facts.

01
Attested web facts

FDC Web2Json

REQUEST + PROOF

Flare Data Connector proofs bind a configured request and decoded event to an onchain resolution.

02
Native price feeds

FTSOv2 Prices

FLARE NATIVE

Registry-discovered FTSOv2 feeds resolve timestamped price conditions with explicit decimal and freshness checks.

03
Optimistic evidence

Bonded Facts

PROPOSE + CHALLENGE

Long-tail facts use public evidence, opposing bonds, a challenge window, and dispute fallback.

04
EVM escrow

tUSDC Vault

6 DECIMALS

Creator subsidy bounds LMSR loss while exact liability remains reserved for unsettled positions.

05
Proof surface

Public Receipt

AUDITABLE

Every resolution exposes the source account, observation, evidence hash, outcome, and final timestamp.

06
03 / Guarantees

WHAT EMBERLINE WILL NOT COMPROMISE

01 / Protocol rule

VERIFY THE RESULT

Each category uses a resolver with pinned source programs, identifiers, timing bounds, and evidence receipts.

02 / Protocol rule

PRICE DETERMINISTICALLY

Integer-only LMSR quotes enforce exact shares, deadline and slippage guards, conservative rounding, and bounded loss.

03 / Protocol rule

LOCK THE RULES

Question, rules, labels, fee split, liquidity, resolver, and observation policy cannot change after creation.

04 / Protocol rule

RECOVER PERMISSIONLESSLY

Anyone can lock an expired market, submit valid evidence, finalize an unchallenged result, or trigger the invalid fallback after timeout.

04 / Stack

BUILT TO SETTLE

A working testnet protocol with continuous prices, category-specific evidence, optional private sports pools, and exact tUSDC accounting.

Chain

  • Flare
  • Coston2
  • Solidity

Data

  • FTSOv2
  • FDC
  • Optimistic

Markets

  • Binary LMSR
  • Exact shares
  • Guarded fills

Collateral

  • Test tUSDC
  • Exact escrow
  • Liability reserve

Settlement

  • Bonded facts
  • Timeout fallback
  • Receipts

Build

  • Next.js
  • Noir
  • Foundry
The market is open

PREDICT. VERIFY. SETTLE.

Explore Emberline