How Geth starts its server
A comprehensive guide to understanding how Geth Ethereum client starts up, from command line parsing to protocol stack assembly, covering P2P network initialization, RPC endpoints, subprotocols activation and monitoring processes.
区块链相关学习材料
精选区块链学习资源合集,包含Solidity入门教程、开发生态工具、技术博客、EVM字节码分析、安全事件研究等丰富内容。涵盖从基础学习到深度开发的完整资源链,为区块链开发者和安全研究人员提供系统化的学习路径指引。
信息论与编码
系统阐述信息论基础理论,包括离散信源熵、信道编码、信道容量、香农编码、费诺编码、赫夫曼编码等核心概念,深入探讨信息传输与压缩的数学原理。
Haskell(三) Monad
深入理解Haskell中的Monad概念,从理论基础到实际应用,包括Functor、Applicative和Monad的层次结构,以及错误处理和副作用管理的实践。
x86汇编基础
深入学习x86汇编语言编程,涵盖微处理器结构、寄存器使用、指令系统、寻址方式、程序设计等内容,基于MASM语法提供完整的汇编编程教程。
操作系统基础
全面阐述操作系统核心概念,包括进程线程管理、内存管理、文件系统、死锁处理、调度算法等重要主题,适合计算机专业学生和系统开发人员学习参考。
JayPeggers 攻击分析
分析JayPeggers协议遭受的重入攻击事件,损失约15 ETH,揭示攻击者如何通过操控代币价格计算逻辑和利用ERC721合约重入实现套利。
(九)体验静态分析工具
实际体验常用的静态程序分析工具和框架,包括 Soot、Doop、Z3、STP、Tai-e 和 KLEE 等,介绍它们的安装配置、基本使用和应用场景,帮助读者了解静态分析工具的实际应用。
(八)SMT和符号执行
介绍程序分析中的“搜索”方法,讲解约束求解、SAT和SMT理论的基本概念,详细介绍符号执行的原理和实现,包括路径爆炸问题和动态符号执行等优化方法。
(七)抽象解释
深入探讨程序分析的理论基础——抽象解释理论,包括伽罗瓦连接、抽象域的安全性、关系抽象和谓词抽象等核心概念,并通过具体示例演示抽象解释工具的应用。