09月10日，星期一 02:11
9月10日讯，据36kr报道，近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示，最好的方法是降低人工审计复杂度，采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。此外，她也指出，现在自动化审计方法处于一个很不成熟的阶段，主要面临三大问题：误报率高，自动化程度低、依赖人工二次审计，审计时间比较长。（责任编辑：翟睿聪）
0
火讯财经讯，1月9日消息，据OnchainLens监测，一个新创建的钱包从Binance提取了139万美元的USDT，并以平均价格4.24美元购买了328,608枚$JLP代币。
17 分钟前
火讯财经讯，1月9日消息，据IntoTheBlock称，尽管比特币价格下跌，交易所净流量仍为负值，显示投资者继续倾向于持有，而非恐慌性抛售。
17 分钟前
火讯财经讯，1月9日消息，据TheBlock援引SoSoValue数据报道，Fidelity（富达）的现货比特币和以太坊ETF在周三创下单日最大净流出量。现货比特币ETF总净流出达5.82亿美元，其中Fidelity的FBTC录得2.59亿美元净流出。同时，以太坊现货ETF净流出总额为1.59亿美元，Fidelity的FETH占其中的1.48亿美元。 其他基金如BlackRock的IBIT、Ark和21Shares的ARKB也分别录得超1.24亿美元和1.48亿美元的净流出。尽管出现历史性流出，Fidelity的ETF仍在现货比特币和以太坊基金中保持第二大累计净流入额。
17 分钟前
火讯财经讯，1月9日消息，ElizaLabs与IoTeX宣布战略合作，旨在通过去中心化物理基础设施网络（DePIN）赋能自主AI代理，为其提供感知和与现实世界互动的能力。 此次合作包括将IoTeX的DePIN网络（如Nubila气象站、GeodNet地理传感器网络和PebbleTracker硬件设备）与ElizaOS集成，赋予AI代理实时感知和决策能力。 此外，双方已推出首个DePIN感知型AI代理BinoAI，通过实时数据流和设备控制展示其感知与交互能力。开发者生态建设也将成为重点，包括通过ElizaLabs的AgentDevSchool提供早期访问和技术支持。
32 分钟前
火讯财经讯，1月9日消息，据Travala.com官方公告，旅行预订平台Travala.com现已支持使用$STX代币支付。$STX为Stacks生态系统的原生代币，Stacks是基于比特币的Layer-2解决方案，支持智能合约、应用程序及去中心化金融服务（DeFi）。用户现可通过$STX支付预订旅行及住宿服务。
32 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
