專業範圍
Smart contractsFormal verificationMonitoringWallet security
範圍說明Public project pages may summarize an assessment; exact coverage is defined by the attached report and audited commit.
United States · 2018
CertiK
A blockchain security company offering audits, formal verification, threat monitoring and security intelligence.
官方網站 ↗審計工作流程
- 1Scope and repository intake
- 2Automated and manual analysis
- 3Finding validation and remediation review
- 4Final report or public project profile
WalletScan
已索引的錢包報告
目前尚未將錢包報告對應到此機構。