CertiK总部位于纽约市,由耶鲁大学和哥伦比亚大学的两位教授创立。利用目前最先进的形式化验证技术、AI审计技术以及安全专家人工审计,通过扫描及监控区块链协议和智能合约,保证其安全性。
CertiK以守护加密世界为使命,从区块链领域开始,一步步将学术界尖端创新技术延伸至业界,使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。
迄今为止,CertiK已获得了近4000家企业客户的认可,挖掘了近7万个代码漏洞,保护了超过3600亿美元的数字资产免受损失。投资机构包括Insight Partners、红杉资本、Tiger Global、Coatue Management、Lightspeed、Advent International、软银愿景基金、高瓴创投、高盛、Coinbase Ventures、币安、顺为资本、IDG资本、 Wing、联想之星、丹华资本等各行业领导者的支持。
Twitter: @CertiK
Website: https://www.certik.com/