Butter (PLAY)
Gnosis' 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 and .
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.