项目介绍
CertiK于2018年由耶鲁大学、耶鲁计算机系系主任邵中教授及哥伦比亚大学计算机系顾荣辉教授三方共同成立。作为区块链安全领域的先驱，CertiK利用目前最先进的形式化验证技术以及AI审计技术，来扫描及监控区块链协议和智能合约的安全性，并不断推出以Skynet（天网）为代表的SaaS产品，为加密世界的企业和用户提供最高等级的安全解决方案。
公司简介
- CertiK是世界领先的区块链网络安全公司，利用先进的形式化验证技术，用数学方法证明智能合约和区块链生态系统安全无漏洞并可抵御黑客入侵。
相关资讯
-
洛微科技与陕汽重卡达成技术合作
2023/11/13 13:49:00硬科技之都西安 -
2023基金投资促进能源城市产业升级发展论坛暨榆煤基金成立5周年庆典盛大召开
2023/4/21 10:32:00榆煤基金 -
数字变革沙龙，畅聊“数字经济”领域投资与发展机遇
2023/4/14 10:08:00数字变革
该项目还没有主人，认领成为管理员
立即认领
