Router
The Router contract replicates the main Conditional Tokens functions, but allowing to work with ERC20 outcomes instead of the ERC1155.
Variables
conditionalTokens
Conditional Tokens contract.
wrapped1155Factory
Wrapped1155Factory contract.
Functions
constructor
Constructor.
Parameters
_conditionalTokens
contract IConditionalTokens
Conditional Tokens contract.
_wrapped1155Factory
contract IWrapped1155Factory
Wrapped1155Factory contract.
splitPosition
Transfers the collateral to the Router, splits the position and sends the ERC20 outcome tokens back to the user.
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory. Collateral tokens are deposited only if we are not splitting a deep position (market.parentCollectionId is bytes32(0)).
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to split.
amount
uint256
The amount of collateral to split.
Pre-condition
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory.
The caller must have <amount> collateral tokens or ERC20 parent outcome tokens (in the case
market.parentCollectionId
is not null).
Logic
When market.parentCollectionId
is null:
Transfer <amount> collateral from the user to
Router
.Call
conditionalTokens.splitPosition
to transfer <amount> collateral fromRouter
toConditionalTokens
, while minting corresponding ERC1155 outcome tokens toRouter
.
When market.parentCollectionId
is not null:
Unwrap ERC20 parent outcome tokens back to ERC1155 tokens.
Call
conditionalTokens.splitPosition
to transfer ERC1155 parent outcome tokens fromRouter
toConditionalTokens
, burning them while minting corresponding conditional outcome tokens toRouter
.
Step 3 is the same in both cases:
Transfer ERC1155 outcome tokens from
Router
toWrapped1155Factory
contract. There is a callback function inWrapped1155Factory
that will wrap the tokens into ERC20 tokens, then transfer the wrapped tokens back to the original user.
_splitPosition
Splits a position and sends the ERC20 outcome tokens to the user.
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory.
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to split.
amount
uint256
The amount of collateral to split.
mergePositions
Merges positions and sends the collateral tokens to the user.
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory. Collateral tokens are withdrawn only if we are not merging a deep position (market.parentCollectionId is bytes32(0)).
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to merge.
amount
uint256
The amount of outcome tokens to merge.
Pre-condition
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory.
The caller must have <amount> ERC20 tokens of all the outcomes of a market. For example, to call
mergePositions
of a market with 3 outcomes: Yes, No, Invalid, the caller must have <amount> tokens for each outcome.
Logic
Merging positions does precisely the opposite of what splitting a position does.
Unwraps ERC20 outcome tokens (which will burn these tokens and transfer corresponding ERC1155 outcome tokens back to the
Router
contract).Call
conditionalTokens.mergePositions
to burn ERC1155 outcome tokens. Then:
When market.parentCollectionId
is null:
Return collateral to
Router
, which will then be sent to the user.
When market.parentCollectionId
is not null:
conditionalTokens
will mint ERC1155 parent outcome tokens and send toRouter
.Router
will wrap these tokens to ERC20 and send to the user.
_mergePositions
Merges positions and receives the collateral tokens.
Callers to this function must send the collateral to the user.
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to merge.
amount
uint256
The amount of outcome tokens to merge.
redeemPositions
Redeems positions and sends the collateral tokens to the user.
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory. Collateral tokens are withdrawn only if we are not redeeming a deep position (parentCollectionId is bytes32(0)).
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to redeem.
outcomeIndexes
uint256[]
The index of the outcomes to redeem.
amounts
uint256[]
Amount to redeem of each outcome.
Pre-condition
The ERC20 associated to each outcome must be previously created on the wrapped1155Factory.
The caller must have ERC20 tokens of the outcomes they want to redeem. For example, to call
redeemPositions
for outcome Yes of a market with 3 outcomes: Yes, No, Invalid, the caller must have Yes tokens. (The call will still be processed even if the caller does not have tokens, but it will have no effect).conditionalTokens.reportPayouts
has been called by an oracle.
Logic
Unwraps ERC20 outcome tokens (which will burn these tokens and transfer corresponding ERC1155 outcome tokens back to the
Router
contract).Call
conditionalTokens.redeemPositions
to burn ERC1155 outcome tokens. Then:
When market.parentCollectionId
is null:
Return collateral to
Router
. The return amount is in proportion to theConditionalTokens
payouts.Router
will calculate the collateral difference before and after redeeming and transfer the difference to the user.
When market.parentCollectionId
is not null:
conditionalTokens
will mint ERC1155 parent outcome tokens and send toRouter
. The amount is in proportion to theConditionalTokens
payouts.Router
will calculate the ERC1155 outcome tokens difference before and after redeeming, wrap the difference to ERC20 and send to the user.
_redeemPositions
Redeems positions and receives the collateral tokens.
Callers to this function must send the collateral to the user.
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
market
contract Market
The Market to redeem.
outcomeIndexes
uint256[]
The index of the outcomes to redeem.
amounts
uint256[]
Amount to redeem of each outcome.
getPartition
Returns a partition containing the full set of outcomes.
Parameters
size
uint256
Number of outcome slots.
Return Values
[0]
uint256[]
The partition containing the full set of outcomes.
getTokenId
Constructs a tokenId from a collateral token and an outcome collection.
Parameters
collateralToken
contract IERC20
The address of the ERC20 used as collateral.
parentCollectionId
bytes32
The Conditional Tokens parent collection id.
conditionId
bytes32
The id of the condition used to redeem.
indexSet
uint256
Index set of the outcome collection to combine with the parent outcome collection.
Return Values
[0]
uint256
The token id.
getWinningOutcomes
Helper function used to know the redeemable outcomes associated to a conditionId.
Parameters
conditionId
bytes32
The id of the condition.
Return Values
[0]
bool[]
An array of outcomes where a true value indicates that the outcome is redeemable.
Last updated