Respectful disagree, i believe you are factually wrong. Wikipedia already lists 2 paxos variants that have byzantine security. Not sure about their implementation, but in production there is also SCP, which is used for real-money transactions by the stellar network. All these actually have proofs of some security and liveliness properties under some byzantine faults. Additionaly, blockchains themselves don't solve this problem properly: they don't even have a notion of "commit", any transaction could be reverted, it is just more and more intractable to do so, thus every property is much weaker and only probabilistic.