[freehaven-dev] one more topic : trading protocol and receipts

[dmolnar <dmolnar@hcs.harvard.edu>]

One more topic :

* Trading protocol and receipts.

Needs to be nailed down. 

We talked about this today in terms of having receipts which 
allow nodes to prove that data was or was not received by some other node.
We still need to sit down with Micali's paper (or one of the other
contract signing papers) and see whether we can or can not reconcile our
models.

also - when we are checking up on nodes which held data for us, can we
get any kind of a receipt out of that?

Thanks, 
-David