We study general equilibrium with private and incomplete state verification. Trade is agreed ex ante, that is, before private information is received. It is useful to define a list of bundles as a derivative good that gives an agent the right to receive one of the bundles in the list....

Private state-verification is introduced in a two-period economy with spot markets in both periods and complete futures markets for contingent delivery in the second period. Existence of equilibrium is established, under standard assumptions. The equilibrium allocation is shown to be generically...

We consider a general equilibrium model of trade ex ante with differential information in which agents choose plans of state-contingent lists of bundles. Being unable to verify that the state of nature is s and not t, an agent has to accept the delivery of any bundle in the list for delivery in...