Messages
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.Msg/CreateInsuranceFund
MsgCreateInsuranceFund defines a message to create an insurance fund for a derivative market.
Senderfield describes the creator of an insurance fund .Ticker,QuoteDenom,OracleBase,OracleQuote,OracleType,Expiryfields describe the derivative market info that the insurance fund corresponds to.InitialDepositspecifies the initial deposit amount used to underwrite the insurance fund.
Msg/Underwrite
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.
Msg/RequestRedemption
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.
