[messaging] Partial order group chat with partial history visibility

Ximin Luo infinity0 at pwned.gg
Wed May 25 05:32:20 PDT 2016

Ximin Luo:
> However, for the longest time I couldn't construct any examples that actually concretely indicate this problem, to be able to study it further. Now finally I've proved that this is actually false, and the more counter-intuitive result holds, i.e.:

Scratch the whole thread, turns out I actually wrote down a concrete example back in Jan 2015 [1] and forgot about it. It is rather a specific example, and to construct it requires some context on simpler special examples on why some other things don't work, and I had forgotten about the whole episode. I also found the error in my "proof", but at least it was useful trying to practise such techniques.


[1] https://github.com/infinity0/msg-notes/commit/93b6cea1870010da83d58e47d49ef1d0cee13acf

GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE

More information about the Messaging mailing list