智能合约安全审计公司选型分析和审计报告资源下载---国际篇_智能合约安全分析和审计指南 .pdf-CSDN博客

本文链接：https://blog.csdn.net/feeltouch/article/details/125606767

国际安全审计

CertiK

位于纽约，CertiK以守护加密世界为使命，从区块链领域开始，一步步将学术界尖端创新技术延伸至业界，使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。迄今为止，CertiK已获得了3200家企业客户的认可，挖掘了超过6万个代码漏洞，保护了超过3110亿美元的数字资产免受损失。

CertiK Product

Security Audit：A comprehensive security assessment of your smart contract and blockchain code to identify vulnerabilities and recommend ways to fix them.
Skynet：Powering on-chain security monitoring and data insights for smart contracts.
SkyTrace：An intelligent wallet tracing and visualization tool to help you access security insights and follow the flow of funds.
Penetration Testing：Safe and In-depth attack simulation to expose the most complex vulnerabilities on your crypto exchanges, wallets and Dapps.

CertiK生态

正在审计中的或已经审计完成的项目非常多，由此可见非常受项目方的信赖。

特色：以安全审计出众，如果不考虑其他因素，应该是首选的安全审计公司。

CertiK导航

CertiK
Security Leaderboard
CertiK Alert
Telegram
Youtube
Medium
LinkedIn
Wechat

SolidProof

SolidProof 是一家德国审计公司，它使用手动和自动测试来评估智能合约和区块链项目，并检查任何漏洞。一旦这个过程完成，公司就会提供一份审计报告，对发现的漏洞进行分类，并提供补救建议。

SolidProof Services

KYC Verification
KYC
Smart Contract Audit
SCA
Project Awareness

SolidProof 生态

总体来看，共审计完成406份报告，还是比较多的，但是项目中知名的看似并不太多。

SolidProof 导航

Github
Medium

ChainSecurity

ChainSecurity是瑞士一家著名的智能合约代码审计公司，团队都是来自于著名大学苏黎世联邦理工学院的安全专家领导。目前收到最少85+区块链公司以及知名企业的信任，并提供安全审计工作和交易所渗透服务。

ChainSecurity Services And System

Security Audits：We identify security vulnerabilities and verify the functional correctness of smart contracts and blockchain projects. We have extensive experience with complex projects, for example in the decentralized finance (DeFi) space and in high-value enterprise systems.

ChainSecurity生态

ChainSecurity特色和导航

ChainSecurity的审计报告非常专业和详细，远比SolidProof详尽，非常赞，另外审计的项目都属于重量级的金融项目，很有说服力。

Twitter

OpenZeppelin Defender

OpenZeppelin Defender 是一个由 OpenZeppelin 开发的 Web 应用程序。它是一个保护和自动化智能合约操作的平台。

Vatin

Vatin 是一家总部位于新加坡的安全审计公司，由一支拥有十多年区块链专家、安全攻防实战研究员团队创建，服务全球众多知名交易所和知名区块链项目，包括：数字货币交易所、加密货币钱包、智能合约、DeFi 项目、底层公链，佣有全球客户上千家，是一支不可多得的区块链安全审计队伍.

Vatin Services

BlockSec

BlockSec是一家保护 DApp 生态系统的区块链安全公司,推出首个支持多链的智能合约交易在线分析平台、闪电贷在线检测平台和反洗钱追踪平台，协助项目方提高安全水准，助力区块链监管治理。BlockSec是LiNEAR重要的安全合作伙伴，在NEAR Rust智能合约安全方面拥有丰富的经验，并于2022年4月1日完成了LiNEAR v1.0.0 版本的安全审计报告。