2584 天前

07月15日,星期天 12:36

苏黎世联邦理工学院开发以太坊智能合约扫描软件

7月14日消息,据techcrunch消息,苏黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描软件,用以检查智能合约是否存在漏洞、bug、或是其他潜在问题。这些研究人员包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士,他们都在系统安全方面拥有丰富的行业和学术经验,并且努力改进区块链智能合约。 团队的目标是自动化智能合同安全审计。他们的公司ChainSecurity.com是建立在团队在ChainCode和Securify工作的基础上,旨在成为智能合同威胁检测的标准。对新特性的快速测试显示了该系统能多快、多精确地找到漏洞。(责任编辑:海兰心)

2
0
  • DeepSeek服务出现重大故障,网页与API正逐步恢复

    火讯财经讯,8月11日消息,官网状态页显示,DeepSeek网页与API服务今日发生重大故障,官方已定位问题并正在逐步恢复。

    1 分钟前

  • Paxos申请将纽约信托牌照转换为美国国家信托牌照

    火讯财经讯,8月11日消息,据PRNewswire报道,Paxos宣布已向美国货币监理署(OCC)提交申请,拟将其纽约金融服务部(NYDFS)信托牌照转换为国家信托牌照。若获批准,Paxos将在美国接受OCC监管,并继续受欧洲FIN-FSA、新加坡MAS及阿布扎比FSRA等多地监管。Paxos表示,所有发行资产将继续由美元、美国国债及现金等破产隔离储备全额支持,确保1:1兑付。公司称服务将保持不变,合作方包括PayPal、Mastercard等。

    1 分钟前

  • 特朗普宣布华盛顿特区进入公共安全紧急状态

    火讯财经讯,8月11日消息,美国总统特朗普正式宣布华盛顿特区进入公共安全紧急状态。

    1 分钟前

  • Thumzup Media完成5000万美元公开募股定价,拟加码加密货币资产

    火讯财经讯,8月11日消息,据PRNewswire报道,ThumzupMediaCorporation(Nasdaq:TZUP)宣布以每股10美元定价,完成5000万美元公开募股,预计募资总额为4650万美元,扣除相关费用前。公司计划将募集资金用于加密货币及矿机资产配置、运营资金及一般企业用途。Thumzup已将其数字资产战略扩展至Dogecoin、Litecoin、Solana、Ripple、Ether和USDCoin等主流加密货币。此次募股由DominariSecuritiesLLC独家承销,预计于8月12日完成交割。

    31 分钟前

  • BTC跌破120000美元,日内涨幅 1.00%

    火讯财经讯,8月11日消息,欧易OKX行情显示,BTC刚刚跌破120000美元,现报119971.60美元/枚,日内涨幅1.00%。

    31 分钟前