CertiKLOGO

CertiK

  • 领域:区块链

    平台:WEB坐标:北京市

    官网:CertiK

  • 成立时间:2018

    运营状态:正在运营

项目介绍

CertiK于2018年由耶鲁大学、耶鲁计算机系系主任邵中教授及哥伦比亚大学计算机系顾荣辉教授三方共同成立。作为区块链安全领域的先驱,CertiK利用目前*先进的形式化验证技术以及AI审计技术,来扫描及监控区块链协议和智能合约的安全性,并不断推出以Skynet(天网)为代表的SaaS产品,为加密世界的企业和用户提供*高等级的安全解决方案。

公司简介

美国Certified Kernel Tech LLC

CertiK是*的区块链网络安全公司,利用先进的形式化验证技术,用数学方法证明智能合约和区块链生态系统安全无漏洞并可抵御黑客入侵。
该项目还没有主人,认领成为管理员
立即认领

该领域的其他项目

违法和不良信息举报电话:010-64158500-8113,18610056652    举报邮箱:infoweb@zero2ipo.com.cn    举报网上不良信息