Solana 审计与安全资源

Solana 审计和安全资源

关于学习 Solana 智能合约安全、审计和漏洞利用的资源集合。

基础知识 📚

• Armani 海平面攻击以及如何在 Anchor 中避免它们
  • pencilflip 的 总结帖子 - 使用 Anchor 属性、约束和类型，这将使你的生活更轻松！
• Armani 关于开发安全 Solana 程序的提示
  • 警惕 UncheckedAccount 和 AccountInfo - 适当检查它们！
• CMichel 如何成为一名智能合约审计员
  • 针对 ETH 人员，但包含一般性建议
• DeFi MOOC samczsun 实用智能合约安全
  • 对智能合约安全性的绝佳介绍，其中概述了大量的攻击面。主要基于 ETH，但也涵盖了一个跨链 BTC/ETH 漏洞利用，并包含许多可以移植到 Solana 的概念
• Kudelski Solana 程序安全
  • 所有权和数据验证的高级概述
• Neodyme 常见陷阱
  • 检查所有者，检查签名者，检查账户数据，注意整数溢出/下溢，验证 invoke_signed()，并使用 Anchor（除非你有充分的理由不这样做），例如，通过隐式地为每个#[account]分配一个带有 8 字节标识符的类型，可以在 Anchor 中防止账户混淆
• Neodyme Solana 安全研讨会练习和解决方案
  • 与博客文章中提到的常见陷阱相对应的练习
• Neodyme 像攻击者一样思考研讨会录音
  • PoC 框架的快速入门和挑战 Level 0 的解释
• OtterSec 从审计员的角度看 Solana
  • 从安全角度对 Solana 执行和编程模型进行自下而上的介绍
• Sec3 算术溢出和下溢
  • 不要使用 +, - , /, * 运算，检查算术运算是否溢出和下溢！
• Sec3 如何审计第一部分：一种系统方法
  • 常见攻击面的高级概述以及作为审计员要问的问题
• Sec3 如何审计第二部分：使用自动化工具查找漏洞
  • 可以自动扫描你的代码以查找漏洞、不安全的 Rust 和拼写的工具概述。需要更多安全工具！
• Sec3 如何审计第三部分：渗透测试
  • 如何使用 Neodyme 的 PoC 框架执行攻击的概念验证
• Sec3 如何审计第四部分：Anchor
  • Anchor 的 #[program]，#[derive(Accounts)] 和 #[account] 是如何在底层工作的
• Sec3 所有者和签名者检查
  • 检查所有者并检查签名者！使用 #[account] 和 Signer<'info> 来防止这种情况
• Solend 审计研讨会
  • 来自 ETH 的已知攻击以及它们如何转移到 Solana + 审计方法
• Trail of Bits DeFi 安全成功案例
  • 以 ETH 为中心的安全建议，但广泛适用于 DeFi 中的安全系统
• Zellic 你将使用 Anchor 编写的漏洞
  • 你将在 Anchor 程序中遇到的一部分常见漏洞

漏洞利用 🪦

• CASH Hack 总结帖子 (samczsun)
  • 建立信任根！
• CASH Hack — 什么是漏洞 (Sec3)
  • 检查输入帐户！
• Cope Roulette (Arrowana)
  • 利用还原交易的巧妙方法
• 检测 Solana 程序中的模拟 (Opcodes)
  • 深入探讨交易模拟的工作原理以及银行的用途 - Sec3 还有一个很棒的银行模块概述
• 如何从 Jet 协议中自由借用所有 TVL (Jayne)
  • 由于 break 的意外使用而导致的相当罕见的漏洞
• 如何一次成为百万富翁，0.000001 BTC (Neodyme)
  • 一个看似无辜的舍入误差，使 26 亿美元面临风险。如果有疑问，请使用 floor（或 ceil，具体取决于方向）而不是 round
  • Solend 关于 Neodyme 漏洞利用的背景信息
• 在 Solana rBPF 中发现新的整数溢出错误 (BlockSec)
  • 使用 checked_add(), checked_div(), checked_mul(), checked_pow, checked_sub 或 saturating_add(), saturating_mul(), saturating_pow(), saturating_sub()! → 阅读相关的 Sec3 博客文章
• 薛定谔的 NFT，一个焚化炉 SPL 代币程序，以及皇家同花顺攻击 (Solens)（类似于 samczsun 对组合攻击的解释）
  • 链接小型漏洞来创建一个重大漏洞。观看 samczsun 关于漏洞链的解释
• 粉碎糖果机以获得乐趣和利润！ (Solens)
  • 正确检查未经检查的帐户！Anchor 要求UncheckedAccount 具有 /// CHECK 文档是有原因的。修复归结为 1 行 Anchor 代码：#[account(zero)] 与 #[account(zero)]
• Solana 权益池：语义不一致漏洞 (Sec3)
  • 展示如何使用 Neodyme 的 Poc 框架构建概念验证。还强调了以前审计的代码（下面的审计部分中链接的权益池审计）可能包含漏洞
• Solend 恶意借贷市场事件报告 (Rooter)
  • 阅读 Kudelski 的 Solana 程序安全博客文章以了解该漏洞利用
• SPL 代币程序批准指令 (Hana)
  • 撤销 Solana 代币批准的隐蔽方法
• 2 亿美元的虚张声势：欺骗 Solana 上的预言机 (OtterSec)
  • 如何移动 AMM 价格以操纵预言机并利用借贷协议。尽可能对 LP 代币和 TWAP 使用公平定价！Drift 有预言机护栏示例，旨在防止此类攻击
• Wormhole Hack 总结帖子 (samczsun)
  • 检查/验证你的输入帐户！
• Wormhole Hack TLDR (Halborn)
  • 在链接签名验证的委托时，请确保它导致正确的验证！
• Wormhole Hack 快速分析 (Kudelski)
  • 验证未经修改、仅供参考的帐户！
• Wormhole 事后分析 (Entropy)
  • 分析输入帐户以伪造 SignatureSet

已发现漏洞的 PoC 💡

• Cashio Exploit (PNM)
• Jet Governance (OtterSec)
• Port Max Withdraw Bug (nojob)
• SPL Token-Lending (Neodyme)

审计和代码审查 🔒

• Aldrin (Kudelski)
• Audius (Kudelski)
• Cashmere (OtterSec)
• Cega (OtterSec)
• Crema (Bramah)
• Cropper (Halborn)
• Debridge (Neodyme)
• Drift (Zellic)
• Francium (Certik)
• Friktion (Kudelski)
• Genopets (MadShield)
• GooseFx (Halborn)
• Hedge (Kudelski, OtterSec + Sec3)
• Hubble (Kudelski)
• Invariant (Sec3)
• Jet Governance (OtterSec)
• Juiced (OtterSec)
• Larix (SlowMist)
• Light (HashCloak)
• Mango (Neodyme)
• Maple (Bramah)
• Marinade (Kudelski + Ackee) 和 Code Review (Neodyme)
• Marinade v2 (Neodyme + Sec3)
• Mean (Sec3)
• Orca Whirlpools (Kudelski + Neodyme)
• Parrot (Halborn)
• Phantasia (Halborn)
• Phoenix (MadShield + OtterSec)
• Port Lending (Kudelski + SlowMist)
• Port Sundial (OtterSec)
• Pyth (Zellic)
• Quarry (Quantstamp)
• Saber (Bramah)
• Shared Memory and Token Swap Code Review (Kudelski)
• Soda (Certik)
• Solana (Kudelski, 2019)
• Solana Stake Pool (Kudelski)
• Solana Stake Pool (Neodyme)
• Solana Stake Pool (Quantstamp)
• Solend (Kudelski)
• Solido (Bramah + Neodyme)
• Solvent (OtterSec)
• Squads (OtterSec)
• Streamflow (Opcodes)
• Swim (Kudelski)
• Synthetify (Kudelski)
• UXD Audit (Sec3)
• Wormhole (Neodyme)

工具 🔧

• Ackee Trident (Solana 模糊测试框架)
• Anchor Test UI (可视化 Anchor 测试框架)
• APR (Anchor 程序注册表)
• Blockworks Checked Math (检查数学运算的宏)
• cargo-audit (检查 Cargo.lock 文件中是否存在易受攻击的 crate)
• cargo-geiger (检查不安全 Rust 代码的使用情况)
• Kudelski Semgrep (静态分析)
• Neodyme Solana PoC Framework (渗透测试)
• OtterSec Solana CTF Framework
• Saber Vipers (检查和验证)
• Sec3 Auto Auditor (漏洞扫描器)
• L3X - (AI 驱动的智能合约静态分析器)
• Rug Checker Solana - (最佳 solana rug 检查工具)

漏洞赏金 🏆

• Drift (高达 50 万)
• Friktion (高达 10 万)
• Hubble (高达 50 万)
• Jet (高达 7.5 万)
• Larix (高达 15 万)
• Lido (高达 200 万)
• Mango (高达 100 万)
• Marinade (高达 25 万)
• Metaplex (高达 20 万)
• Orca (高达 50 万)
• Port (高达 50 万)
• Phoenix (高达 10 万)
• Saber (高达 100 万)
• Serum (高达 100 万)
• Solana Labs (高达 200 万)
• Solend (高达 100 万)
• Solvent (高达 25 万)
• Swim (高达 10 万)
• Synthetify (高达 10 万)
• UXD (高达 250 万)
• Wormhole (高达 250 万)

未决问题 ？

• 何时适合奖励赏金？
• 何时审计协议？，关于在没有审计的情况下部署到主网的帖子
• 谁会为 Anchor 漏洞利用付费？

贡献 🤝

欢迎提交 Pull Request！对于重大更改，请先打开一个 issue 讨论你想要更改的内容。

许可证 🪧

随意使用此材料做任何你想做的事情（但请成为一名白帽黑客）！

• 原文链接： github.com/sannykim/sols...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～