宣布 sec3 Premium：Solana 智能合约的自动审计工具

我们高兴地宣布 sec3 X-Ray Premium 的首次发布：由 sec3（前身为 Soteria）团队提供的自动审计服务，用于扫描 Solana 智能合约中的大量安全漏洞。

sec3 X-Ray Premium 具有以下多个特点：

• 它可以检测 50+ 种常见安全漏洞，适用于用 Rust 编写的 Solana 程序，包括所有 Neodyme 的常见陷阱 和所有 不安全的 Anchor 用法在 sealevel-attacks 中。完整列表请见“Solana 漏洞与暴露（SVE）”部分。该列表正在扩展。 ‍
• 它是 快速 的：即使对于像 Metaplex 这样的较大项目，通常也在 五分钟内 生成报告。
• 它适用于 Anchor 和非 Anchor 的项目
• 它提供 网页 UI 用于浏览报告的漏洞
• 它是 7x24 可用 ‍
• …

以下是 Sec3 Premium 的仪表板：

Solana 漏洞与暴露 (SVE)

自动审计程序目前检测以下特定于 Solana 的 SVE 列表（由 Sec3 团队汇总）：

以上 SVE 列表将随着 Sec3 团队对更多 Solana 项目的审计而持续扩展。

如何使用 sec3 Premium

sec3 Premium 目前对短期 Pilot（付费）客户开放。

每个试点客户将收到一个邀请链接。该链接提供唯一 ID 以访问 sec3 Premium 服务：

以下是使用该服务的步骤：

1. 点击“创建新任务”：

2. 输入“任务名称”并提供“源代码”（如果是开源的，可以通过 GitHub URL 提供，或上传压缩文件夹）：

3. 点击“创建任务”，然后“确认付款并运行任务”：

4. 等待任务完成，然后“查看完整报告”：

典型项目的分析时间不超过两分钟

5. 最后，浏览报告的漏洞：

忽略警告的注释

注意： 大多数 SVE 是语义或逻辑问题，因此报告的漏洞只是潜在警告，但不一定会被攻击者利用。

要忽略某些警告：添加注释 //#[x-ray(ignore)]

任何用此注释标记的语句将被忽略。例如：

//#[soteria(ignore)]
let system_program_info = next_account_info(account_info_iter)?;

对于 Anchor：

#[derive(Accounts)]
pub struct Withdraw<'info> {
//#[soteria(ignore)]
pub authority: AccountInfo<'info>,

与完整的 sec3 审计的关系

我们预计 sec3 Premium 将在开发阶段使用，以便在任何代码更改时随时持续审计 Solana 程序。这将显著减少最终手动审计的时间和成本。

注意，自动审计服务与 sec3 团队提供的 完整手动审计 并不相同。sec3 的完整审计依赖于人类专家进行全面的人工审查（辅以内部的 X-Ray 工具）。

完整审计有望发现自动审计未涵盖的漏洞。

sec3 审计

Sec3 由区块链安全和软件验证领域的领先人才创立。

我们很高兴为 Solana 上高影响力的 Dapp 提供完整的审计服务。请访问 sec3.dev 或发送邮件至 contact@sec3.dev

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