Ethereum Virtual Machine Internals – Part 2

EVM 内部机制系列第一篇：以太坊虚拟机如何确定性执行智能合约——调用上下文架构、易失性内存管理、函数选择器与可见性，以及字节码层面可能被绕过的控制流漏洞。

Trail of Bits 工程师将 Hedgehog 式状态机测试移植到 EVM：用 Echidna 生成随机调用序列验证合约不变量，以 model、commands、property 三步在 Solidity 智能合约中定位逻辑漏洞。

Trail of Bits 在 EthCC 上发布 Echidna——首款面向智能合约的模糊测试器：echidna-test 只需 Solidity 断言即可挖掘深层漏洞，库模式支持自定义状态机建模与最小化测试用例生成。

智能合约漏洞挖掘入门指南：建议从 Ethereum 基础与 Solidity 编程学起（CryptoZombies、Remix IDE 等免费资源），并介绍 solc、Mythril、Oyente、solhint 等常用扫描工具。

Solidity Gas 优化指南：从 EVM 费用模型与 opcode 计价原理切入，介绍降低合约执行成本的实用技巧，兼顾网络性能与防滥用。

去中心化应用（dApp）的后端逻辑以智能合约形式运行在 Ethereum、Solana 等区块链上，代码透明且默认不可篡改。文章讲解 dApp 的架构与核心特性，并强调部署后漏洞难以修补所带来的 Web3 安全风险。