安全审核
您的合同 协议在运行
Gizmolab 通过每个 EVM 链进行 智能合约 审计, Solana 通过高级审计师手动审查,并通过模糊和自动化分析,并通过 Audit.new 进行自助服务。
通过您部署的链条进行审计
无论你在船上做什么,我们都在那里审查它。 全面的EVM覆盖和深厚的Solana专业知识,在每个目标中应用相同的标准。
原生 Rust 和 Anchor 程序对帐户安全性、CPI 风险和 PDA 正确性进行了审查 - EVM 审计师错过的故障模式。
我们审计的语言
从高级 Solidity 到内线组装,再到 Rust 在 Solana 上,我们会用它所写的语言审查代码。
坚固性
EVM DeFi 的最大值。 我们审查存储布局,外部呼叫,访问控制,并将路径线上升级。
维珀
皮托尼克合同用自己的步枪。 我们检查了装饰,重入锁和编译器版本陷阱。
Yul & Inline 會議
低级别优化,其中隐藏了大多数微妙的bug。 记忆安全、呼叫数据处理和手动ABI解码。
铁锈
原生Solana程序。 帐户验证,签名者/所有者检查,CPI安全性和灯具上的算法。
安克尔
Anchor 限制、PDA 衍生、帐户歧视者以及 Anchor 对您不涵盖的空白。
开罗 & 移动
Starknet (开罗) 和 Aptos / Sui (移动) 评论可用于 EVM 和 SVM 主流之外的团队。
破坏协议的bug
我们对现实世界的漏洞背后的漏洞类进行测试 - 加上您协议的设计特定的无变性。
可重入性
跨函数和只读的重入跨外部呼叫,回调和代币绑架。
访问控制
缺失或破坏的授权,特权角色滥用和初始化 / 所有权差距。
预言机和价格操纵
现场价格依赖,TWAP游戏,闪存贷款驱动的操纵,以及停滞的流量。
算术和舍入
对金库的溢出、精度损失、舍入方向和份额膨胀攻击。
签名和重播
EIP-712 / 许可处理,非重复使用,链-id 绑定和跨域重播。
MEV 和抢先交易
可调节的流动,不受保护的滑动,和订单依赖的状态过渡。
可升级性和代理
存储碰撞、未初始化实现和不安全的代表呼叫模式。
Solana 账户安全
帐户混淆,缺少所有者 / 签名者检查,PDA伪造和未经检查的CPI。
审计如何运行
清晰、可重复的参与 - 从威胁模型到发布的报告,社区可以信任。
范围和威胁模型
我们地图你的架构,信任的界限,以及永不打破的不变 - 在阅读一个单一的行之前。
人工审核
高级审计师将代码列读一行。 大多数关键的发现来自理解意图的人类,而不仅仅是工具。
自动分析
静态分析,模糊和象征执行压力变量和表面边缘案例眼睛错过。
严重程度评估结果
每一个问题都有明确的严重性,影响,复制,以及具体的修复 - 不是模糊的旗帜。
补救支持
我们与您的工程师合作,通过修复,回答问题,并重新检查您发送的补丁。
重新审核并报告
最后通过补救措施,然后发布一个清洁的报告,您可以向您的社区和合作伙伴发布。
你与什么走得远
不仅仅是一个错误列表 - 你的团队需要解决问题并证明代码是安全的。
完整的审计报告
一个结构化报告,包含发现,严重性,繁殖步骤和修复指南。
严重程度等级
批判 → 高 → 中 → 低 → 信息,根据现实世界的影响和概率得分。
整治指导
具体的修复和模式,以及在您的团队实施它们时直接支持。
重新审核和公开报告
修复的验证和可选的发布报告,您可以共享以建立信任。
Audit.new — 即时第一次通过
Audit.new 是 Gizmolab 的自助服务审计工具。 放弃合同或连接复制品,并在几分钟内获得人工智能辅助的第一次通行评估 - 表面上出现常见的漏洞类别,风险模式,以及在哪里先看的分类。
这是在完全参与之前检查代码的快速方法。 对于任何涉及到真正价值的主要网络,它都会清晰地进入高级领导的手动审计。