区块链相关学习材料
精选区块链学习资源合集,包含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理论的基本概念,详细介绍符号执行的原理和实现,包括路径爆炸问题和动态符号执行等优化方法。
(七)抽象解释
深入探讨程序分析的理论基础——抽象解释理论,包括伽罗瓦连接、抽象域的安全性、关系抽象和谓词抽象等核心概念,并通过具体示例演示抽象解释工具的应用。
信息安全算法基础
综合介绍信息安全与密码学基础,涵盖数论算法、伪随机数生成器、RSA非对称加密、对称密码算法等,提供完整的C++代码实现和OpenSSL库使用指南。