Gnosis Conditional Tokens · interactive mechanism simulation

Users lock collateral into the Conditional Tokens contract, which mints a YES and a NO ERC-1155 position per condition (split). Positions can trade on any market, be merged back into collateral early, or be redeemed once an oracle reports the outcome. Edit the parameters and watch the split → trade/merge → resolve cycle run.
Traders deposit / trade / redeem DAI collateral Conditional Tokens contract split · merge · redeem (ERC-1155) 0 DAI locked Oracle Reality.eth / Kleros-style reports in —s YES positions 0 units · 50% outcome collection #1 NO positions 0 units · 50% outcome collection #2 Secondary market positions trade on any venue 0 trades routed
Conditions prepared
1
Collateral locked (TVL)
0 DAI
Positions outstanding
0 ERC-1155 units
Trades routed to market
0
Collateral returned
0 DAI (merge + redeem)
Parameters — edit me
1.0/s
40 DAI
14s
55%
0.15/s
Controls

Illustrative simulation. Models the documented CTF verbs — prepare a condition, split collateral into YES/NO ERC-1155 positions, trade or merge them, redeem proportional to the oracle's reported payout vector — with randomized timing and illustrative numbers, not live onchain data. The "forgery attempt" button illustrates a critical audit finding (a collection-forgery/reentrancy path) that was fixed pre-production via burn-before-mint ordering; it is not a live exploit. Part of The Onchain Experiment Atlas.