In this section we describe the processing of the exchange messages and the corresponding updates to the state. All created/modified state objects specified by each message are defined within the state section.
MsgCreateInsuranceFund defines a message to create an insurance fund for a derivative market.
Senderfield describes the creator of an insurance fund .
Expiryfields describe the derivative market info that the insurance fund corresponds to.
InitialDepositspecifies the initial deposit amount used to underwrite the insurance fund.
MsgUnderwrite defines a message to underwrite an insurance fund
Senderfield describes the underwriter of an insurance fund .
MarketIdfield describes the derivative market id to the insurance fund.
Depositfield describes the deposit amount to be added on the insurance fund.
MsgRequestRedemption defines a message to request redemption from the insurance fund.
Senderfield describes the redemption requester of an insurance fund .
MarketIdfield describes the derivative market id associated to the insurance fund.
Amountfield describes the share token amount to be redeemed.