两种审计方式
同样的方法,同样的研究员。高级版在真实状态上证明漏洞。
源代码
每一行代码由 2 位研究员阅读。
US$1,000 起
- 2 位资深研究员
- nonce-sc-1 逐行 AI 渗透测试
- 覆盖 10 个网络 的 404 项检查清单
- 沙箱中的静态分析与模糊测试
- 每个发现经 3 次评审确认
- 每个严重和高危问题均有离线证明
- 包含修复复审
- PDF、面向智能体的 Markdown、门户
高级
适用于已部署协议在主网状态上证明的漏洞利用。
US$2,000 起
- 包含源代码版全部内容
- 3 位资深研究员
- nonce-sc-1 对已部署合约进行渗透测试
- 在主网分叉上证明 EVM 漏洞利用
- 模拟预言机与流动性攻击
- 在主网状态上进行不变量模糊测试
- 审查部署脚本与管理员密钥
- 比对已部署代码,每日复查
最终价格根据代码行数、链和截止日期确定,并在 12小时内发送。
三个步骤
- 1
发送仓库
一个邮箱,一个链接。
- 2
获取固定报价
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
在代码冻结之前
安全评审在修改成本仍然很低时,检查设计、架构与经济模型。