网址:https://certik.org
通过形式化验证,确保智能合约及区块链系统的安全性。
CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
欧易交易所
用区块链建立和恢复机构之间的信任。 Onward Labs概述, Onward Labs信息, Onward Labs区块链, Onward Labs维基, Onward Labs社交, Onward Labs Medium, Onward Labs ICO, Onward Labs回顾, Onward Labs快讯, Onward Labs追踪
一体化投资生态系统。 AllianceBlock概述, AllianceBlock信息, AllianceBlock区块链, AllianceBlock维基, AllianceBlock社交, AllianceBlock Medium, AllianceBlock ICO, AllianceBlock回顾, AllianceBlock快讯, AllianceBlock追踪
对智能合约充满信心。 Sooho概述, Sooho信息, Sooho区块链, Sooho维基, Sooho社交, Sooho Medium, Sooho ICO, Sooho回顾, Sooho快讯, Sooho追踪
网络空间资产搜索引擎。 FOFA概述, FOFA信息, FOFA区块链, FOFA维基, FOFA社交, FOFA Medium, FOFA ICO, FOFA回顾, FOFA快讯, FOFA追踪