Router
The Router contract replicates the main Conditional Tokens functions, but allowing to work with ERC20 outcomes instead of the ERC1155.
Variables
conditionalTokens
contract IConditionalTokens conditionalTokensConditional Tokens contract.
wrapped1155Factory
contract IWrapped1155Factory wrapped1155FactoryWrapped1155Factory contract.
Functions
constructor
constructor(contract IConditionalTokens _conditionalTokens, contract IWrapped1155Factory _wrapped1155Factory) publicConstructor.
Parameters
_conditionalTokens
contract IConditionalTokens
Conditional Tokens contract.
_wrapped1155Factory
contract IWrapped1155Factory
Wrapped1155Factory contract.
splitPosition
function splitPosition(contract IERC20 collateralToken, contract Market market, uint256 amount) publicTransfers 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.parentCollectionIdis not null).
Logic
When market.parentCollectionId is null:
Transfer <amount> collateral from the user to
Router.Call
conditionalTokens.splitPositionto transfer <amount> collateral fromRoutertoConditionalTokens, while minting corresponding ERC1155 outcome tokens toRouter.
When market.parentCollectionId is not null:
Unwrap ERC20 parent outcome tokens back to ERC1155 tokens.
Call
conditionalTokens.splitPositionto transfer ERC1155 parent outcome tokens fromRoutertoConditionalTokens, burning them while minting corresponding conditional outcome tokens toRouter.
Step 3 is the same in both cases:
Transfer ERC1155 outcome tokens from
RoutertoWrapped1155Factorycontract. There is a callback function inWrapped1155Factorythat will wrap the tokens into ERC20 tokens, then transfer the wrapped tokens back to the original user.
_splitPosition
function _splitPosition(contract IERC20 collateralToken, contract Market market, uint256 amount) internalSplits 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
function mergePositions(contract IERC20 collateralToken, contract Market market, uint256 amount) publicMerges 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
mergePositionsof 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
Routercontract).Call
conditionalTokens.mergePositionsto 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:
conditionalTokenswill mint ERC1155 parent outcome tokens and send toRouter.Routerwill wrap these tokens to ERC20 and send to the user.
_mergePositions
function _mergePositions(contract IERC20 collateralToken, contract Market market, uint256 amount) internalMerges 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
function redeemPositions(contract IERC20 collateralToken, contract Market market, uint256[] outcomeIndexes, uint256[] amounts) publicRedeems 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
redeemPositionsfor 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.reportPayoutshas been called by an oracle.
Logic
Unwraps ERC20 outcome tokens (which will burn these tokens and transfer corresponding ERC1155 outcome tokens back to the
Routercontract).Call
conditionalTokens.redeemPositionsto burn ERC1155 outcome tokens. Then:
When market.parentCollectionId is null:
Return collateral to
Router. The return amount is in proportion to theConditionalTokenspayouts.Routerwill calculate the collateral difference before and after redeeming and transfer the difference to the user.
When market.parentCollectionId is not null:
conditionalTokenswill mint ERC1155 parent outcome tokens and send toRouter. The amount is in proportion to theConditionalTokenspayouts.Routerwill calculate the ERC1155 outcome tokens difference before and after redeeming, wrap the difference to ERC20 and send to the user.
_redeemPositions
function _redeemPositions(contract IERC20 collateralToken, contract Market market, uint256[] outcomeIndexes, uint256[] amounts) internalRedeems 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
function getPartition(uint256 size) internal pure returns (uint256[])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
function getTokenId(contract IERC20 collateralToken, bytes32 parentCollectionId, bytes32 conditionId, uint256 indexSet) public view returns (uint256)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
function getWinningOutcomes(bytes32 conditionId) external view returns (bool[])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