# Smart Contracts

- [EVM](/dev-docs/fundamentals/smart-contracts/evm.md): An introduction to the EVM and how it relates to state, transactions, and smart contracts。
- [Basics](/dev-docs/fundamentals/smart-contracts/basics.md): Solidity language, contract anatomy, libraries, and composability.
- [Development](/dev-docs/fundamentals/smart-contracts/development.md): Frameworks, development networks, compiling, and deploying smart contracts.
- [Testing](/dev-docs/fundamentals/smart-contracts/testing.md): An overview of techniques and considerations for testing smart contracts.
- [Security](/dev-docs/fundamentals/smart-contracts/security.md): An overview of guidelines for building secure smart contracts
- [Formal Verification](/dev-docs/fundamentals/smart-contracts/formal-verification.md): An overview of formal verification for Ethereum smart contracts