Yeah, this is exactly the “irreversible conversion” described above. As you point out, it would allow Bob to directly convert from shares to shares. Why do the more complicated procedure described above then? Well, Bob also gets (alongside ) from doing that procedure. In that specific example such shares are useless so there’s effectively no difference, but in some cases it could be that Bob is unsure and thinks has some chance to end up being provable and so wants to end up with both in order to hedge.
Yeah, the exchange is a central authority that does get to know everything here. I haven’t even really thought much about what a decentralized version of this would look like yet. Probably it would involve zero-knowledge proofs? Thanks for pointing my thoughts in this direction, I’ll have to consider it more.
Yeah, this is exactly the “irreversible conversion” described above. As you point out, it would allow Bob to directly convert from
Yeah, the exchange is a central authority that does get to know everything here. I haven’t even really thought much about what a decentralized version of this would look like yet. Probably it would involve zero-knowledge proofs? Thanks for pointing my thoughts in this direction, I’ll have to consider it more.