6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。（Crypto Globe）

据TokenGazer数据显示，BTC价格早间从$8500下挫至$7900左右。市场对此有较多解读，其中呼声较高的是来自Coinbase的砸盘。TokenGazer基于严谨的数据分析，得到一些有意思的数据：在BTC下跌期间（UTC 3日22点—4日2点），Bitfinex交易所中的卖单数量（20624）远超买单数量（15465），Coinbase的卖单数量（20698）少于买单数量（23896）；Bitfinex的交易量（13443.42BTC）逼近Coinbase（14235.12BTC），而据TokenGazer往期观察，Coinbase成交量约为Bitfinex的1.5倍；在这个时间点Bitfinex最大抛盘为393.246BTC，Coinbase为41.6454BTC，Bitfinex的抛盘数额较大且较为密集，详细图表分析可查阅TokenGazer官网；基于以上数据支撑，TokenGazer认为：此次BTC的下跌，大概率是Bitfinex导致，而非Coinbase。

据中华人民共和国工业和信息化部消息，为贯彻落实《网络安全法》，促进网络安全技术创新应用，提升网络安全产业发展水平，工信部组织开展了网络安全技术应用试点示范项目推荐工作。经单位申报、地方推荐、专家评审、网上公示等环节，工信部确定了101个网络安全技术应用试点示范项目。值得关注的是，101个试点示范项目，其中包含了6个区块链项目。其中，“基于区块链的电子发票系统”的航天信息股份有限公司和“政务联盟区块链政务信息可信传递平台”的山大地纬软件股份有限公司为上市公司。

BM在电报群内回应成员关于Voice美国禁用的讨论，BM指出，我们尚不明确现在到底要不要禁止美国用户使用Voice。你们看到的文件是我们最保守的策略，还没有最后决定。希望在平台正式上线时能通过合规批准。

社区有成员指出：既然是去中心化的链，那么美国政府应该无法监管呀？ BM回应：虽然可能遇到一些技术问题，但他们还是能惩罚作者的。身份认证需要中心化验证，我们希望的是信任和做到透明核实。

社区还有成员问：你能透露一些B1准备怎么做KYC的细节吗？BM指出：我们正在做一些技术工作，也在和一些不同司法管辖区里的第三方谈。在这一切工作结束前，我不能告诉你更多细节了。

最后有成员问：Voice大概什么时候会发布？BM回应道：会在这个夏天分阶段推出。

BM转发Rob Finch推文：关于B1June，很少有人提到B1把Voice.com建立在EOS主网上这件事。或者，按B1的说法，叫作EOS Public Blockchain （EOS公共链）。现在就是说这句话的最佳时刻：冲吧！EOS！
今日早晨，BM在电报群中和成员互动时曾表示：建立在EOS上表示了B1建设EOS的决心。

鉴于比特币最近数月的优秀表现，分析公司Delphi Digital在最近的市场评论中将其称为“资产类别之王”。Delphi Digital连续四个月对比特币的收益回报进行了评估，此时正值传统风险资产继续面临抛售压力之际。该公司表示，"鉴于许多其他资产类别普遍疲弱，比特币5月的优异表现尤为重要。” Delphi Digital进一步解释长，目前的公共股票市场令人担忧，数据显示，比特币今年彻底压制了其他资产类别，包括日元、黄金和WTI原油。与其近期的历史相反，比特币目前基本上没有受到其他风险资产抛售的影响，尽管市场波动预期正趋于上升。现在宣布胜利还为时过早，但BTC的不相关特性迄今已被证明是正确的。（TNW）

据BitcoinCash官方消息，5月29日，BCH开发者在bitcoincashorg的github上提交了2019年11月15日升级提案草案规范的帖子，旨在将此作为下一次升级讨论的基地以及正在审议的项目的聚集地。与此同时，名为EyeOfPython开发者提交了将OP_REVERSE添加到脚本的提议。OP_REVERSE的引入可进一步优化智能合约功能。据介绍，OP_REVERSE的作用是反转顶部堆栈项的字节。目前关于OP_REVERSE是否会被添加到BCH在11月15日的升级内容中暂时还未确定。

新西兰投资公司Crossgate Capital认为，现在应该把加密货币看作是一项长期投资，而不是投机赚快钱的途径。该公司发言人Scott Lester表示，人们的关注点正在从“价格是多少？”转向“使用加密货币的实际好处是什么？”Lester称：“日常可用性，或无缝处理日常事务的能力，是加密货币的下一个发展方向。这一进展已经开始。例如三星在旗舰产品Galaxy S10中加入了加密钱包，这是一个重大进展，因为这一举措让人们更容易使用加密货币。”（Scoop）

根据BigGame回购公告，BigGame已完成第一次BG销毁，本次共计销毁 1000000 BG。

英国风险投资公司Coinsilium（全称为Coinsilium Group Limited）表示，其将提供与IEO相关的咨询服务，并为Oasis Chain提供3500万美元的预售目标。据悉，Oasis Chain是一个新的区块链平台，用于数据共享、存储和交易。（Proactive Investors）