A股开盘：深证区块链50指数下跌1.04%:金色财经消息，A股开盘，上证指数报3231.26点，开盘下跌0.88%，深证成指报12260.45点，开盘下跌1.24%，深证区块链50指数报2859.79点，开盘下跌1.04%。区块链板块开盘下跌0.99%，数字货币板块开盘下跌0.79%。[2022/8/2 2:52:39]
通过形式化验证，确保智能合约及区块链系统的安全性。
库币上线IDEA，开盘上涨20.76%:据库币KuCoin交易所消息，库币已上线IDEA项目并支持IDEA/USDT交易服务。IDEA开盘价为0.236USDT，最高触及1USDT，当前报价0.2849USDT，涨幅20.76%。Ideaology是一个区块链业务网络生态系统，旨在将创新者，开发者和投资者三大用户群体连接起来，其目标是成为最大的区块链生态系统。
库币数字货币交易所，为来自207个国家的600万用户提供币币、法币、杠杆、合约、矿池、借贷等一站式服务。[2021/2/26 17:56:32]
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。