通过形式化验证，确保智能合约及区块链系统的安全性。
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
基于成熟一体化移动平台的区块链电子商务生态系统。 Vodi X概述, Vodi X信息, Vodi X区块链, Vodi X维基, Vodi X社交, Vodi X Medium, Vodi X ICO, Vodi X回顾, Vodi X快讯, Vodi X追踪
去中心化的电信网络平台。 Weaver Labs概述, Weaver Labs信息, Weaver Labs区块链, Weaver Labs维基, Weaver Labs社交, Weaver Labs Medium, Weaver Labs ICO, Weaver Labs回顾, Weaver Labs快讯, Weaver Labs追踪
基于闪电网络的聊天与小额支付。 Sphinx概述, Sphinx信息, Sphinx区块链, Sphinx维基, Sphinx社交, Sphinx Medium, Sphinx ICO, Sphinx回顾, Sphinx快讯, Sphinx追踪
由 Matej ?ima 运营。 Stove Labs概述, Stove Labs信息, Stove Labs区块链, Stove Labs维基, Stove Labs社交, Stove Labs Medium, Stove Labs ICO, Stove Labs回顾, Stove Labs快讯, Stove Labs追踪