Skip to main content
Positional markets protocol built on Synthetix offering binary options, speed markets, and sports markets on Optimism.

What it offers

  • exerciseMarket: Exercise a matured market position to claim payout
  • buyFromAMM: Buy positional tokens (UP/DOWN) from the Thales AMM
  • createSpeedMarket: Create a speed market position

Notes

  • Position 0 = UP (price goes up), Position 1 = DOWN (price goes down)
  • Markets expire at set times - exercise only after maturation
  • Speed markets have short durations (minutes to hours)
  • Binary outcome: winning position gets payout, losing gets nothing
  • Approve sUSD/USDC to thalesAMM before buying

Its names in a program

On Optimism, Thales is a namespace: its contracts need no import.

Deployments

ABI

PositionalMarketABI

import PositionalMarketABI from "./protocols/thales/PositionalMarketABI.json";
  • exerciseOptions() returns (uint256)

SpeedMarketsAMMABI

import SpeedMarketsAMMABI from "./protocols/thales/SpeedMarketsAMMABI.json"; Speaks for: speedMarketsAMM.
  • createNewMarket((address user, bytes32 asset, uint64 strikeTime, uint64 delta, int64 strikePrice, uint64 strikePricePublishTime, uint8 oracleSource, uint8 direction, address collateral, uint256 collateralAmount, address referrer, uint256 skewImpact) params) returns (address marketAddress)

ThalesAMMABI

import ThalesAMMABI from "./protocols/thales/ThalesAMMABI.json"; Speaks for: thalesAMM.
  • buyFromAMM(address market, uint8 position, uint256 amount, uint256 expectedPayout, uint256 additionalSlippage) returns (uint256)

Next steps