跳到正文
nonce.

精品审计.AI 辅助，人工验证.

自研模型先逐行阅读。资深研究员证明并签署每一个发现。12小时内给出固定报价，3天交付报告。

获取报价

五个真实漏洞依次重放：每份合约自动输入，扫描标出缺陷，注释说明损失多少以及如何修复。

  • The DAO, 2016-06-17: 被盗 360 万 ETH. splitDAO 在清零余额之前就通过外部调用发放奖励，攻击者因此反复重入，一次次拆分同一批代币。 在任何外部调用之前先清零余额。
  • Parity Multisig, 2017-11-06: 冻结 513,774 ETH. 共享库从未初始化，任何人都能调用 initWallet 成为所有者，再用 kill 销毁它。所有委托给它的钱包随之冻结。 部署时就初始化库，并且不给它自毁能力。
  • Wormhole, 2022-02-02: 120,000 wETH，约 3.25 亿美元. verify_signatures 从调用者指定的账户读取签名校验，却从不确认它是指令 sysvar。伪造的账户被当作完整的守护者批准。 改用 load_instruction_at_checked，它会校验 sysvar 地址。
  • Nomad Bridge, 2022-08-01: 被盗约 1.9 亿美元. 一次升级把可信根设为 0x00。未经证明的消息恰好对应 0x00，于是 process 接受任何消息，数百名跟风者重放了第一笔。 绝不确认零根，并拒绝任何未经证明的消息。
  • Euler Finance, 2023-03-13: 被盗约 1.97 亿美元. donateToReserves 销毁 eToken 时不检查捐赠者是否仍有偿付能力。攻击者通过捐赠制造坏账，再以折扣清算自己。 像其他提款一样，在捐赠后检查流动性。
次审计
180
个严重漏洞
63
内给出报价
12小时
内交付报告
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

审计范围

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    高危H-01余额在外部调用之后才写入
  • EVM1-3天
  • Solana2-3天
  • Move1-3天
  • 应急响应2小时内响应

自研模型

nonce-sc-1

我们用 2,140 个真实漏洞利用和 380 次自有渗透测试微调了 DeepSeek-V4.1。它先于研究员逐行阅读；它提出的每个发现都由研究员证明并签署。

基础模型
DeepSeek-V4.1
训练数据
2,140 个漏洞利用和380 次渗透测试
在审计中
模型先读，再交给人

两种审计方式

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

  • 源代码

    每一行代码由 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

    在门户中修复

    每个修复我们都会核验。

在门户中查看您的审计

我们发现一个，同步一个。
您修复一个，跟进一个。

登录

12小时内获取固定报价

获取报价