Conditional Tokens Framework

overview forkast utilizes a robust conditional tokens framework (ctf) implemented in the smart contract system to tokenize outcomes of prediction markets this framework is based on gnosis's conditional tokens architecture, enabling the creation, trading, and resolution of outcome tokens in a secure and efficient manner at its core, ctf leverages erc1155 standards to represent binary outcome tokens backed by collateral (e g , usdc or pc) the smart contract provides the functionality to prepare, split, merge, and redeem tokens tied to specific market conditions it ensures trustless and transparent handling of collateral and outcome resolutions, allowing users to interact seamlessly with prediction markets key features outcome tokenization market outcomes are represented as distinct erc1155 tokens corresponding to binary outcomes like “yes” and “no ” these tokens are backed by collateral and are derived from specific conditions dynamic operations prepare conditions create and initialize conditions tied to markets split positions divide collateral into binary outcome tokens for trading merge positions recombine binary tokens into collateral redeem payouts exchange winning outcome tokens for collateral after a market resolves efficient token management the framework ensures efficient management of collateral and tokens while providing flexibility for traders to adjust positions based on market conditions how it works high level operations 1\ preparing a condition a condition defines a market event with a specific number of outcomes the contract initializes a condition by creating a unique conditionid derived from the oracle assigned to report the result the questionid representing the event the number of outcome slots ( outcomeslotcount ) this process sets up the payout structure for the condition a condition can have up to 256 outcomes, but forkast markets are binary (two outcomes) smart contract reference function preparecondition(address oracle, bytes32 questionid, uint256 outcomeslotcount) emits conditionpreparation event 2\ splitting positions collateral can be split into binary tokens representing the possible outcomes of a market for example 1 unit of collateral (e g , 1 usdc) is split into 1 "yes" token and 1 "no" token the splitting process involves verifying the validity of the condition and partition burning collateral or composite tokens minting binary tokens based on the specified partition smart contract reference function splitposition(ierc20 collateraltoken, bytes32 parentcollectionid, bytes32 conditionid, uint256\[] calldata partition, uint256 amount) emits positionsplit event 3\ merging positions binary tokens can be merged back into their original collateral for instance 1 "yes" token and 1 "no" token are merged to recover 1 unit of collateral this process ensures that users can retrieve collateral if they no longer wish to hold tokens for unresolved conditions smart contract reference function mergepositions(ierc20 collateraltoken, bytes32 parentcollectionid, bytes32 conditionid, uint256\[] calldata partition, uint256 amount) emits positionsmerge event 4\ redeeming payouts after a market resolves, users can redeem winning tokens for collateral the oracle reports the outcome, and the contract calculates payouts based on the payout vector the redemption process involves burning tokens for losing outcomes transferring collateral for winning tokens based on the reported payouts smart contract reference function redeempositions(ierc20 collateraltoken, bytes32 parentcollectionid, bytes32 conditionid, uint256\[] calldata indexsets) emits payoutredemption event key data structures and utilities condition id ( conditionid ) a unique identifier for a market condition derived using oracle (reporting address) questionid (hash of event details) outcomeslotcount (number of outcomes) position id ( positionid ) a unique identifier for binary outcome tokens derived from collateraltoken (backing token) collectionid (combines conditionid and outcome details) payout numerators and denominators used to calculate rewards for winning positions the payoutnumerators array defines the share of collateral allocated to each outcome the payoutdenominator ensures payout consistency smart contract references functions getconditionid , getcollectionid , getpositionid why this framework? flexibility supports dynamic token operations (split, merge, redeem) for evolving market conditions security ensures transparent handling of collateral and payouts through smart contracts interoperability built on erc1155 standards, enabling seamless integration with defi protocols transparency emission of events like conditionpreparation and payoutredemption ensures traceability the conditional tokens framework on forkast provides a powerful foundation for robust, user friendly prediction markets, enabling efficient trading and trustless collateral management