Seer documentation
  • Overview
    • 📘 What is Seer?
    • 📚 Glossary
  • Getting Started
    • 💡 Wallet and network
    • 💰 Deposit tokens
      • On Ethereum
        • Deposit DAI
        • Deposit sDAI
      • On Gnosis
        • Deposit xDAI
        • Deposit wxDAI or sDAI
    • 🧭 Navigate Our Site
      • Create a market
      • Verify market
      • Mint, merge, redeem outcome tokens
      • Buy, sell outcome tokens
      • Report answer
      • Raise a dispute
      • Resolve market
      • Provide Liquidity
      • Conditional Markets
      • Futarchy Markets
  • Developers
    • 📝 Intro
    • 🔄 Diagrams
      • Seer overall interaction
      • Create Market
      • Split, Merge, Redeem
      • Question and Resolve
    • 🔗 Interact with Seer
      • Create a market
      • Resolve a market
      • Split, Merge and Redeem
      • Market example
      • Conditional market
      • Futarchy market
    • 📜 Contracts
      • Core
        • MarketFactory
        • Market
        • MarketView
        • Router
        • GnosisRouter
        • MainnetRouter
        • RealityProxy
        • Interfaces
      • Futarchy (test)
        • FutarchyFactory
        • FutarchyProposal
        • FutarchyRouter
        • FutarchyRealityProxy
      • Token
        • Seer
      • Interaction
        • 1155-to-20
          • Wrapped1155Factory
        • conditional-tokens
          • ERC1155
            • ERC1155
            • ERC1155TokenReceiver
            • IERC1155
            • IERC1155TokenReceiver
          • ConditionalTokens
          • CTHelpers
        • cross-chain-realitio-proxy
          • dependencies
            • IAMB
            • RealitioInterface
          • ArbitrationProxyInterfaces
          • RealitioForeignArbitrationProxyWithAppeals
          • RealitioHomeArbitrationProxy
        • reality
          • RealityETH-3.0
        • sDAI-on-Gnosis
          • interfaces
            • IBridgeInterestReceiver
            • IWXDAI
          • periphery
            • SavingsXDaiAdapter
          • SavingsXDai
      • Deployed contracts
    • 🌐 Subgraph
      • Query Examples
      • GraphQl Query
        • Market
        • Swapr
        • Curate
      • GraphQL Schema
      • Subgraph ID
  • OTHER
    • 🔍 Audit Reports
Powered by GitBook
On this page
  • Actors and actions
  • Seer contracts
  • External services
  1. Developers

📝 Intro

PreviousFutarchy MarketsNext🔄 Diagrams

Last updated 7 months ago

Actors and actions

  1. Market Creator:

    • Action: Initiates the creation of a new prediction market.

    • Can be performed by: Any address.

  2. Token Holder:

    • Action: Interacts with Router to split and merge outcome tokens, as well as redeeming them upon market resolution. Buys and sells outcome tokens on a third-party decentralized exchange (DEX).

    • Can be performed by: Any address with sufficient collateral/outcome tokens.

  3. Liquidity Provider:

    • Action: Provides initial liquidity to the market by splitting positions and adding liquidity to a DEX.

    • Can be performed by: Any address with sufficient collateral/outcome tokens.

  4. Answerer:

    • Action: Provides answers to the market questions or challenges provided answers if believed to be incorrect.

    • Can be performed by: Any address meeting the criteria set by the question (current bond required to submit an answer or arbitration fee for raising a dispute).

  5. Market Resolver:

    • Action: Resolves the market by calling Market.resolve() or RealityProxy.resolve(market) after the reality questions are finalized.

    • Can be performed by: Any address, as long as the questions are finalized.

Seer contracts

  1. MarketFactory: Creates new prediction markets.

  2. Market: Represents an individual prediction market.

  3. MarketView: Contains convenient view functions to retrieve information of one or more markets

  4. Router: Handles splitting, merging, and redeeming of positions.

  5. GnosisRouter: Router implementation with functions to use xDAI to split, merge and redeem outcome tokens on Gnosis Chain.

  6. MainnetRouter: Router implementation with functions to use DAI to split, merge and redeem outcome tokens on Ethereum Mainnet.

  7. RealityProxy: Resolves the market based on the answer provided.

External services

  1. Third-Party Decentralized Exchange: Facilitates trading of outcome tokens.

  2. Kleros: Handles arbitration in case of disputes.

  3. Reality: Oracle system for resolving market outcomes.

  4. ConditionalTokens: Creates and manages outcome tokens.

  5. Wrapped1155Factory: Wraps ERC1155 tokens to ERC20 tokens.

https://github.com/seer-pm/demo/tree/main