交易池分析
详细分析以太坊交易池(TxPool)的原理和实现,包括交易池配置、可执行和非可执行交易管理、本地与远程交易区分、nonce管理及交易添加升级流程的源码实现。
blockchain核心
全面解析以太坊BlockChain核心组件,包括数据库、缓存机制、区块初始化、链状态加载及区块插入验证等关键函数和数据结构的源码分析。
理解交易
全面解析以太坊交易的数据结构和实现,包括不同交易类型(Legacy、AccessList、DynamicFee)、交易编码解码、签名机制、手续费计算及相关EIP规范的影响。
理解区块
详细解读以太坊区块的数据结构,包括区块头、区块体、随机数、创建区块的方法以及区块的编码、属性获取和检索功能的源码实现。
理解收据receipt
全面解析以太坊交易收据(Receipt)的数据结构和实现,包括收据的核心字段、状态标记、RLP编码解码、持久化存储及批量处理机制。
智能合约学习资源
全方位智能合约学习资源汇总,涵盖优质社区平台、入门教程、开发框架、交互库、前端工具、审计工具等完整开发生态。从基础概念到高级实践,为不同层次的开发者提供系统化的学习路径,助力快速掌握以太坊智能合约开发和安全审计技能。
智能合约安全学习路线
系统化的智能合约安全学习路线图,分为三个递进阶段:从基础DApp开发入门,到深入合约开发和安全分析,再到高级安全研究。涵盖编程语言、开发框架、EVM原理、源码分析、安全审计等核心技能树,为有志于从事智能合约安全研究的开发者提供清晰的成长路径。
交易的签名
深入解析以太坊交易签名机制,包括Signer接口、不同类型签名器(londonSigner、EIP155Signer等)的实现、交易签名与验证的完整流程。
(一)初识软件分析
系统介绍程序分析的基本概念和理论基础,讲解不完备性、哥德尔定理和莱斯定理,介绍模型检查和近似方法,以及编译器基础知识,为后续程序分析学习打下坚实基础。
智能合约的审计工具
详细介绍主流开源智能合约审计工具,包括Mythril、Echidna、Slither、Manticore等静态分析和模糊测试工具的原理、特点和使用方法。通过实际代码示例演示各工具的检测能力,并提供安全开发最佳实践建议,帮助开发者构建更安全的智能合约系统。