跳到正文

服务

智能合约审计

锁定一个 commit,在我们的模型完成第一遍阅读后,由资深研究员逐行审阅。固定价格,含修复复审,如您愿意还可公开报告。

获取报价

两种审计方式

同样的方法,同样的研究员。高级版在真实状态上证明漏洞。

  • 源代码

    每一行代码由 2 位研究员阅读。

    US$1,000 起

    • 2 位资深研究员
    • nonce-sc-1 逐行 AI 渗透测试
    • 覆盖 10 个网络 的 404 项检查清单
    • 沙箱中的静态分析与模糊测试
    • 每个发现经 3 次评审确认
    • 每个严重和高危问题均有离线证明
    • 包含修复复审
    • PDF、面向智能体的 Markdown、门户
  • 高级

    适用于已部署协议

    在主网状态上证明的漏洞利用。

    US$2,000 起

    • 包含源代码版全部内容
    • 3 位资深研究员
    • nonce-sc-1 对已部署合约进行渗透测试
    • 在主网分叉上证明 EVM 漏洞利用
    • 模拟预言机与流动性攻击
    • 在主网状态上进行不变量模糊测试
    • 审查部署脚本与管理员密钥
    • 比对已部署代码,每日复查

最终价格根据代码行数、链和截止日期确定,并在 12小时内发送。

三个步骤

  1. 1

    发送仓库

    一个邮箱,一个链接。

  2. 2

    获取固定报价

    12小时内。

  3. 3

    在门户中修复

    每个修复我们都会核验。

我们审计的网络

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • 电路Circom, Noir

更多链3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

在代码冻结之前

安全评审在修改成本仍然很低时,检查设计、架构与经济模型。

安全评审