通過certik審計意味著可以發行代幣。
CertiK於2018年由耶魯大學、耶魯計算機系系主任邵中教授及哥倫比亞大學計算機系顧榮輝教授三方***同成立。
作為區塊鏈安全領域的先驅,CertiK利用目前最先進的形式化驗證技術以及AI審計技術,來掃描及監控區塊鏈協議和智能合約的安全性。
並不斷推出以Skynet(天網)為代表的SaaS產品,為加密世界的企業和用戶提供最高等級的安全解決方案。
CertiK的產品:
查找和修復漏洞的最佳辦法是進行全面的安全審計。然而區塊鏈項目往往時間緊迫,用戶需要即刻的安全分析。CertiK快速掃描將會協助解決用戶的緊急安全需求。
CertiK快速掃描使用自動化掃描技術,對已知的安全漏洞進行宏觀分析。這壹輕量便捷但功能強大的掃描系統由靜態與動態雙重技術提供支持,並通過安全原語生成安全評分。
白名單原語:檢索CertiK Chain上發布的相關證明,如安全審計證明。
黑名單原語:檢索實時安全情報監控系統。
字節碼分析原語:運用靜態安全分析工具,檢測在BSC虛擬機上部署的字節碼中的錯誤。