Introduction to Smart Contract Security and Decentralized Web Applications

EVM 内部机制系列第二篇：解析合约持久化存储（Storage）——Solidity 各类型如何映射到 32 字节存储槽、SSTORE/SLOAD 指令语义，以及存储操作为何 gas 开销高昂，对编写 gas 高效合约尤为关键。

Trail of Bits 工程师演示 Zeppelin 的 Ethernaut 以太坊 CTF：在 Ropsten 测试网依次破解 Fallback、Fallout、Token、Delegation、Force、Re-entrancy 六关，是智能合约漏洞的入门教程。

智能合约安全实践：结合近期真实漏洞案例，介绍三种让智能合约更安全的实用方法，帮助开发者从源头降低风险。

CertiK 通过代码对比 FunC 与 Tolk：FunC 时代字段顺序、整数宽度、解析位置等底层细节靠约定维护，一处失误即可改变资产归属或导致双重入账；Tolk 以命名结构、精确类型、自动序列化、显式 mutation 和专用入口将其交给编译器管理，并引入 lazy、union、nullable 与 BounceMode 等新安全边界，但授权、重放、异步状态、记账与治理风险仍需完整审计覆盖。

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

HackenProof 客座教程：作者 Hammad Iftikhar 面向初学者讲解 Solidity 核心概念——数据类型、函数、修饰器、事件与错误处理，并结合安全视角给出实用开发建议。