CertiK由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。
工商信息显示,北京吞吴管理咨询有限公司法定代表人为叶荣, 成立于2019-03-06,注册资本100.00万人民币, 公司经营状态为存续,所属行业为商务服务业, 注册地址位于北京市朝阳区东三环中路25号12层1202号12023室。