CertiK

北京吞吴管理咨询有限公司

  • CertiK

    领域：区块链

  • 成立时间：

    坐       标：北京市

公司介绍

CertiK由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。