# Why Move Offers Superior Security(Quick look)

By [Unbox_Inbox](https://paragraph.com/@unbox-inbox) · 2025-01-14

---

Key Points:

*   Move uses _resource types_ to ensure assets are safe and cannot be accidentally destroyed or duplicated.
    
*   This eliminates common bugs and vulnerabilities seen in Solidity-based smart contracts (e.g., reentrancy attacks).
    
*   Move emphasizes _formal verification_, making it easier to mathematically prove the correctness of a program.
    
*   Contrast: Solidity relies heavily on developer best practices, increasing risks of human error.

---

*Originally published on [Unbox_Inbox](https://paragraph.com/@unbox-inbox/why-move-offers-superior-security-quick-look)*