security – What is threat model for Bitcoin?

Bitcoin is secure when 51% of the miners are honest.
We also need every node to have at least one honest peer to avoid eclipse attacks.

Are these the only assumptions based on which Bitcoin is secure? Is there a complete list of assumptions and a formal analysis of the threat model somewhere?