interlockR/smart-contracts

GitHub: interlockR/smart-contracts

一套配有详细安全分析的Solidity智能合约示例与Ethernaut CTF题解,帮助学习者系统掌握常见漏洞类别和安全编码模式。

Stars: 1 | Forks: 0

# 智能合约 记录的 Solidity 智能合约,作为通往专业智能合约审计路径的一部分而构建。每个合约都是独立的作品,并包含其专属的安全分析。 ## 合约 | # | 合约 | 描述 | 安全重点 | |---|----------|-------------|----------------| | 1 | [Vault](./Vault/) | 安全的 ETH 存款和取款 | 重入攻击, CEI 模式, 访问控制 | | 2 | [Token](./Token/) | 带有供应量上限的可铸造 ERC-20 | 访问控制, 溢出, 零地址 | | 3 | [Auction](./Auction/) | 带有退款的定时 ETH 拍卖 | Pull-over-push, 拒绝服务, CEI | ## 结构 每个合约位于其独立的文件夹中,包含 Solidity 文件和专属的 README,内容涵盖合约功能、所使用的安全模式,以及如果不使用这些模式可能会发生的情况。 ## 状态 - [x] Vault - [x] Token - [x] Auction - [ ] Foundry 测试 - [ ] Slither 静态分析 - [ ] 正式审计报告 ## 目的 这些合约是学习产物,旨在开发并展示对 Solidity 模式、常见漏洞类别和安全合约设计的理解。这是位于 github.com/interlockR 的 InterlocK Web3 安全作品集的一部分。 ## Ethernaut CTF 题解 | # | 关卡 | 类别 | 状态 | |---|-------|----------|--------| | 00 | [Hello Ethernaut](./ethernaut/00-hello-ethernaut.md) | 信息泄露 | 已完成 | | 01 | [Fallback](./ethernaut/01-fallback.md) | 访问控制 / 所有权劫持 | 已完成 | | 02 | [Fallout](./ethernaut/02-fallout.md) | 访问控制 / 构造函数命名漏洞 | 已完成 | | 03 | [CoinFlip](./ethernaut/03-coinflip.md) | 弱随机性 / 可预测的链上值 | 已完成 | | 04 | [Telephone](./ethernaut/04-telephone.md) | 访问控制 / tx.origin 误用 | 已完成 |
标签:CEI模式, CISA项目, ERC20, Ethernaut, Foundry测试, Slither静态分析, Solidity, Streamlit, Web3安全, 以太坊, 区块链安全, 去中心化应用, 合约审计, 安全设计模式, 密码学, 手动系统调用, 拍卖合约, 拒绝服务, 整数溢出, 智能合约, 智能合约开发, 漏洞分析, 访问控制, 路径探测, 重入攻击, 零地址校验