Agoraex
← Back to the siteInteractive simulation · not a live venue
Trading sandbox
Guided tour

Trade a market — and watch it settle

Settlement mechanics, shown on a two-outcome example. Agoraex's flagship design is the scalar (range-settled) contract, whose settlement value moves with every increment of the official figure; the mint / merge / swap primitives demonstrated here are identical for both shapes.

Place real orders against a live book. The engine matches them, picks the right on-chain settlement primitive, accrues fees and maker rebates, and proves value is conserved after every action.

Faithful simulation of the real rules, not a live venue. Matching, the swap / mint / merge settlement logic, the fee & rebate model, and the conservation invariant all mirror the verified system. It is not connected to a blockchain; the starting balances and any trades you make are illustrative. In production this sandbox sits behind client onboarding (KYC/AML), client categorisation, an appropriateness assessment, and geo-eligibility checks — the demo shows trading and settlement mechanics only, not the access model.
—

—

YES mid
—
NO mid
—
A complete set (1 YES + 1 NO) is always worth 1.000000 EURC and is fully collateral-backed.
YES book
price · size
NO book
price · size

Order ticket

Orders are signed off-chain (EIP-712). Click a book level to autofill.

 

Your portfolio

One EURC wallet; positions are per outcome. Maker rebates accrue here when your resting orders are filled.

EURC
—
YES
—
NO
—

These buttons simulate the oracle’s published outcome — not an operator decision. In production, resolution is executed by the UMA Optimistic Oracle (with a Chainlink data feed for numeric markets) against the resolution source named in the market terms — here, the official Eurostat HICP release — with bonded assertions and a dispute window. The operator cannot decide, alter, or veto the outcome.

Settlement blotter

Each fill, the primitive the contract derived for it, and a conservation check.

No trades yet. Place an order to begin.

Live invariants

Recomputed after every action — this is the property the contracts enforce on-chain.

Fees & rebates (FeeModule)

Protocol fee sink
—
Your rebates
—

Pull-payment: fees and rebates accrue to claimable balances. The mint surplus / merge shortfall (when leg prices don’t sum to exactly 1.00) accrues to the protocol; passive makers earn a rebate. The venue’s revenue is this published fee — it is independent of which outcome wins.

Why you can believe the demo
ProvenOff-chain and on-chain agree. The engine’s case selection and the contract’s independent on-chain derivation are machine-checked to match across every structural order combination.
ProvenNo value created or destroyed. Collateral in = out + fee on every settlement — fuzzed against the real Gnosis CTF runtime bytecode, not a mock.
ProvenA set is always fully backed. A mint can’t create a set for less than its worth; a merge can’t pay out more than the set is worth.
ProvenTested end-to-end. 82 matcher + 74 contract tests green; one trade settled against the real CTF bytecode through the production submission path.
PendingIndependent security audit. Pre-audit package prepared; firm selection underway.
PendingPublic deployment. Public testnet next; mainnet follows audit and authorization.