This paper rigorously proves that Bitcoin can achieve consensus under the assumption of bounded message delivery time:
Messages in a mailbox may be delivered in any order, and at any time, except there is a maximum delay of ∆
If I understand it correctly, this only proves it works in synchronous network. If so, this assumption seems relaxed to me.
There is assumed to be some unknown upper bound ∆ on the time of messages to be delivered.
The setup is more general in that the
upper bound ∆ here is unknown.
Can Bitcoin protocol achieve consensus in partial synchronous network as well? Is there any theory work dedicated to proving that?