[智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper]8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
巴黎餐厅 'Le Bistrot d'Eleonore et Maxence' 接受SHIB支付:10月31日消息，位于巴黎的Le Bistrot d'Eleonore et Maxence餐厅现在接受SHIB支付，且在将SHIB添加到其支付方式后，该餐厅客流量激增。（Coinquora）[2021/10/31 6:23:06]
加密货币交易所Bisq被盗 损失3个BTC和4000个XMR:昨日下午，加密货币交易所Bisq宣布因“严重的安全漏洞”而暂停交易。夜间，Bisq再次发布公告，详细解释了所谓的“严重安全漏洞”，公告称：“大约24小时前，我们发现攻击者可以利用Bisq交易协议中的一个缺陷，针对单笔交易来窃取交易资金。我们已知有7名受害者损失了约3个BTC和4000个XMR。唯一受影响的交易对为XMR/BTC，所有受影响的交易都发生在过去12天内。交易协议中的缺陷已经在Bisq v1.3.0中得到了修正，该版本现已发布。”[2020/4/9]
郑重声明： 智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。