Formal definitions



Current number of seconds

Time at which the action i is executed

Time of the last update of the market data.

Amount of liquidity provided by guarantee fund provider a.

Total capital of the policies brought by user b.

Premium rate paid by the policyholders to the guarantee fund providers.

Last updated