Overtime (formerly Thales Protocol) is a decentralized derivatives and prediction‑markets infrastructure that lets users trade binary and range markets via permissionless smart contracts. It offers automated market making (AMM) tailored for event markets (e.g. sports, digital options) with oracle‑based settlement. It is migrating its branding and governance toward the Overtime identity.