09月10日，星期一 02:11
9月10日讯，据36kr报道，近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示，最好的方法是降低人工审计复杂度，采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。此外，她也指出，现在自动化审计方法处于一个很不成熟的阶段，主要面临三大问题：误报率高，自动化程度低、依赖人工二次审计，审计时间比较长。（责任编辑：翟睿聪）
0
火讯财经讯，5月14日消息，美国总统特朗普：我是加密货币的忠实粉丝。
28 分钟前
火讯财经讯，5月14日消息，据Garantex公告，其团队已开发面向BTC和ETH用户的解决方案，计划于2025年6月发布。具体细节将通过官方渠道陆续公布。 今年早些时候曾报道，Tether冻结俄罗斯受制裁交易所Garantex的2800万美元USDT。美司法部联合德国、芬兰执法打击加密交易所Garantex，因涉加密洗钱服务。
28 分钟前
火讯财经讯，5月14日消息，市场消息：沙特电信与甲骨文(ORCL.N)签署20亿里亚尔云解决方案协议。
28 分钟前
火讯财经讯，5月14日消息，美国总统特朗普：我相信人工智能，我们在加密货币领域领先中国。
28 分钟前
火讯财经讯，5月14日消息，据Ai姨监测，BSC基金会地址时隔两天再购入2.5万美元CGPT，均价为0.1398美元。据悉，ChainGPT昨日宣布将启动200万枚CGPT的回购计划，目前已完成34万枚回购。 随后BSC基金会地址还购入2.5万美元SIREN，买入均价为0.1544美元。目前其持仓前五代币依次为：SKYAI（18.8万美元）、TST（4.6万美元）、MUBARAK（4.2万美元）、BROCCOLI(714)（2.9万美元）以及AIOT/CGPT（各2.5万美元）。
58 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
