CertiK

网址：https://certik.org

PeckShield：检测到一个Nomad漏洞利用者从33个地址获得了约480万美元的HBOT:金色财经报道，据PeckShield监测，检测到其中一个ENS名称为lendhub.eth的Nomad漏洞利用者（地址为：0xCA23E…f56C），从33个地址获得了约480万美元的HBOT，这些地址与lendhub.eth密切相关，它持续售出约275万美元HBOT。[2022/8/11 12:18:42]

通过形式化验证，确保智能合约及区块链系统的安全性。

BTC重回18700美元关口:火币全球站数据显示，BTC短线上涨，突破18700美元关口，现报18702.19美元，日内涨幅达到0.25%，行情波动较大，请做好风险控制。[2020/11/21 21:35:49]

CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。

该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。

郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。