> For the complete documentation index, see [llms.txt](https://mapo.gitbook.io/dev-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mapo.gitbook.io/dev-docs/fundamentals/smart-contracts.md).

# Smart Contracts

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