Someone on HN claims to have analyzed the Ouroboros white paper and claims “Forkable strings makes unrealistic assumptions.”,
then later a doubt:
“As you might have noticed already, this property assumes that all honest nodes can reliably receive all other honest nodes’ blocks. The paper in fact freely admits this in various places, e.g. on page 10 and page 16. I was already skeptical when reading that, but the fact that this assumption forms such a key requirement of their security proof raised my eyebrow(s) even further.”
His full post is here:
Can someone from the team respond to him on HN as well as here? I believe it’s important to respond to these on their merit. And why isn’t this person contacting Cardano directly if he believes the assumptions are unrealistic?