CFM v1 Dependencies

ConditionalTokens

Gnosis' Conditional Token framework provides the ability to create and manipulate tokens that are tied to a specific condition happening. ConditionalTokens is the core contract that manages among others the creation and redemption of conditional tokens.

The codebase also rely on Wrapped1155Factory which enables wrapping 1155 outcome tokens in ERC20s so participants can trade them on any AMM.

Both these contracts are re-deployed in their original and audited versions. We updated the build pipeling with modern tooling: see here and here.

Reality.eth

Reality.eth is the first oracle for which an adapter has been implemented. This is a general-purpose oracle which uses Kleros as an arbitrator.

As with any external oracle, the CFM contracts economic security is limited by the economic security of the Reality + Kleros system.