Certik那些事

Certik作为区块链与智能合约的安全审计行业新秀，以其基于AI的形式化验证引擎，颇受资本和用户的关注。今天就来介绍一下它。

Certik的4大产品

安全审计（Security Audit）

做什么

1. 安全审计

作为区块链和智能合约安全审计的领导者，该产品能够对智能合约与区块链展开各种评估，能够找出它们的漏洞，并能为弥补这些漏洞提供方案。

2. 高精准、可验证的、正式的审计

Certik拥有行业领先的审计方法学和工具。安全审计产品通过这些工具和方法论，可以检查你代码级的逻辑，并基于可数学推导的方法，来确保你的程序是按设计初衷运行的。

• 识别错误与风险：由长年累月的安全专家来检测程序代码；
• 纠正漏洞：提供评估报告，并在报告中会推荐你如何来弥补这些漏洞；
• 验证你的合约：基于高度可扩展的正式化的校验技术，来证明你的合约代码是正确的。

3. 已用该产品实战于多个案例

Certik已经针对各种主流区块链协议，主导了超过1800份的审计。并且是Binance、OKEx和Huobi所推荐的区块链和智能合约安全审计的供就商；下图显示了客户选用该产品的原因：

如何做

1. 审计的一般流程：
   

2. Certik安全审计流程

Certik的审计平台会评估合约中的漏洞，并论证合约中程序代码的行为，是与其功能定义初衷是否保持一致。