Contract bidding

Declaratively specify your bidding strategy and eliminate latency in your bidding.

Open Games Engine

Use Open Games to declare the game system and observe through lenses.

Compositional game theory

Decompose strategic interactions while guaranteeing results are well-behaved.

Mechanisms make the market¶

XGA is a platform that is compromised of a Optimism based Rollup, a smart contract protocol, an Ethereum concensus layer sidecar and a domain-specific engine called Open Games for proving/developing (game-specific) mechanisms.

Open Games is an engine for proving/developing (domain-specific) mechanisms.

Open Games Engine¶

The essential innovation is the decomposition of strategic interactions into atomic components. These components can be assembled through a fixed set of operations while guaranteeing that the result is well-behaved -- i.e. forms a proper open game.

The engine has two main components:

(i) it enables users to represent strategic interactions and
(ii) it enables them to analyze these games, typically checking whether a particular strategy is in equilibrium.

Open Games Syntax¶

The graphical language operates in two dimensions. In the bimatrix case players 1 and 2 are put side-by-side as they move simultaneously. They are still connected though as their utility is affected not only by their own action but also by the action of the other player.
There is a way of stitching together the different components which mainly works along two time dimensions: simultaneous and sequential composition.

gantt
    title Future auction for `below`
    dateFormat YY-MM
    axisFormat %m
    tickInterval 1month
    section Epoch i
        We know slots for Epoch i+2 are 03,08 and 11 : crit, done, milestone, 00-01, 1m
        Auction for `below`, slots 03,08,11 : 00-01, 6M
        Futures awarded : milestone, 00-07, 1m
        Users can transact: active, 00-07, 6M
    section Epoch i+1
        Users can transact: active, 01-01, 12M
    section Epoch i+2
        Slot 03, future can be used : crit, active, milestone, 02-03, 1
        Slot 08, future can be used : crit, active, milestone, 02-08, 1
        Slot 11, future can be used : crit, active, milestone, 02-11, 1