IMO a much more-thorough analysis of the essential point discussed here: https://www.lynalden.com/bitcoin-security-modeling/