CertiK

网址：https://certik.org

加密交易所AEX计划发行不定期理财产品以缓释流动性问题:6月23日消息，加密交易所AEX发布公告称，因近期经营遇到了一些困难，该平台决定尝试一项新的计划《关于发行不定期理财产品的计划》，以缓释流动性问题和重新调整资产配置，让平台加速恢复正常。

此前消息，目前AEX虽已恢复提币但有每天有500 U限额，并计划在90天内取消限制。[2022/6/23 1:25:58]

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

监禁中的John McAfee表示，自己现在已不拥有任何加密货币:美国著名黑客、杀软件McAfee的创始人John McAfee在推特上表示，美国政府认为我隐藏了自己的加密货币资产，但事实上它们已经被我团队中的许多人处理了，我现在一无所有。[2021/6/17 23:44:56]

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

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

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