06月04日，星期二 06:28
6月4日讯，据Crypto Globe消息，昨日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
0
火讯财经讯，11月9日消息，据金融界报道，OpenAI表示，留意到造成用户暂时无法接入ChatGPT的问题，目前正在调查并努力恢复ChatGPT。用户报告显示，截至当地时间19:09，OpenAI出现了18,711次故障。
26 分钟前
火讯财经讯，11月9日消息，据OnchainLens监测，约1小时前，ParadigmCapital 再次将另外1100万枚LDO转入Coinbase，价值1400万美元。目前已转移2611万LDO，价值3283万美元。ParadigmCapital还持有43,878,190枚LDO，价值5591万美元。
26 分钟前
火讯财经讯，11月9日消息，据彭博社报道，加密货币混合服务公司BitcoinFog创始人因从贩卖非法毒品的暗网市场洗钱数千万美元，被判入狱12年半。美国华盛顿地区法官兰道夫·莫斯在华盛顿联邦法院判处36岁的RomanSterlingov150个月有期徒刑。检察官称，BitcoinFog处理了数亿美元的无法追踪的交易，其中一些来自已知的暗网市场。RomanSterlingov被判犯有共谋洗钱、洗钱罪和两项与经营未注册的汇款服务有关的指控。
41 分钟前
火讯财经讯，11月9日消息，据Cointelegraph报道，朝鲜黑客组织BlueNoroff自2019年以来发起了一系列网络钓鱼和网络安全攻击，目前该组织正向加密货币公司发起攻击，开发一种可攻击MacOS计算机的新恶意软件。根据SentinelLabs的报告，绰号为“隐藏风险”的恶意软件操作通过多个阶段通过PDF文件进行传播。威胁行为者使用虚假新闻标题和合法的加密市场研究来引诱毫无戒心的个人和公司。一旦用户下载PDF文件，就会下载并打开一个看似合法的诱饵PDF，而恶意软件则会在后台作为单独的文件下载到MacOS桌面上。该恶意软件包包含多项功能，旨在为黑客提供后门，以远程访问受害者的计算机来窃取敏感信息，包括数字资产钱包和平台的私钥。
41 分钟前
火讯财经讯，11月9日消息，据WhaleAlert监测，约8小时前TetherTreasury在以太坊上新增铸造10亿枚USDT。Tether首席执行官PaoloArdoino表示，这是一项已授权但未发行的交易，意味着将用作下一期发行请求和链上交换的库存。
56 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
