🔥Redeeming Tokens

Complete sets of tokens can be redeemed at any time for the underlying tokens (in our example, you can redeem 1 « sDAI if Trump », 1 « sDAI if Biden » and 1 « sDAI if Other » for 1 sDAI). This is particularly relevant for liquidity providers owning tokens of different outcomes wishing to withdraw their liquidity and get back their capital.

When the oracle (i.e. Kleros + reality) returns the outcome of a market, tokens of this outcome can be redeemed for the underlying tokens.