第四章:合约攻击
小白入门:https://github.com/dukedaily/solidity-expert ,欢迎star转发,文末加V入群。
职场进阶: https://dukeweb3.com
合约安全无小事,本章节聚焦常见合约攻击方法,并结合实际案例进行分析。
参考文章:
- https://github.com/transmissions11/solcurity(完成)
- https://github.com/SunWeb3Sec/DeFiHackLabs(已创建)
- https://github.com/kadenzipfel/smart-contract-attack-vectors
- https://trustchain.medium.com/full-smart-contract-audit-methodology-2023-b29db744bf3e
- https://docs.soliditylang.org/en/latest/security-considerations.html#security-considerations
- https://www.blocktempo.com/solidity-best-practices-for-smart-contract-security-by-consensys/
- 区块链安全入门笔记
- https://github.com/crytic/not-so-smart-contracts
- https://learnblockchain.cn/article/4951
- SWC (Smart Contract Weakness Classification and Test Cases)智能合约弱点分类和测试用例,链接:https://swcregistry.io/
- 二十三种 DeFi 安全事故汇总:智能合约⻛险与防范:https://foresightnews.pro/article/detail/3740
新增:
- 安全公司的总结:https://github.com/slowmist/Knowledge-Base
- 安全审计公司:BlockSec、慢雾、CTK
- Beosin、Tornado.Cash
- 学习资源:
- 其他:归纳总结
- evm底层
- 静态扫描
- 自动化工具?,python工具
- 源代码分析,人工经验代码化
- 形式化验证(数学建模)
审计范畴
- 工具扫描(易)
- 语法bug(中)
业务bug(难
成为审计师:https://www.secure3.io/
- 查看审计报告:https://code4rena.com/
- with公道adudit价格:https://trustchain.agency/
- 合约审计流程
- 工具集:https://github.com/trailofbits/eth-security-toolbox
- 静态扫描工具:Slither、Mythril