微软公布新开源形式验证工具VeriSol，旨在提高智能合约质量
据CryptoGlobe报道，微软研究院日前在博客上发布了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区快链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区快链智能合约验证的...BEPAL正式成为Wanchain星系共识生态一员，共建万维链PoS节点生态
综合区快链服务提供商BEPAL（币派）宣布正式加入Wanchain星系共识节点计划，成为星系共识生态一员，共建万维链PoS节点生态。意味着未来WAN用户可通过BEPAL Wallet参与到WAN的质押（Staking）服务。目前BEPAL已加入到星系共识的Alpha测试中，预计在PoS四季度正式上线...分析：莱特币挖矿难度再创新高，矿工数量高于其2017年底价格见顶时期
随着价格继续波动，莱特币的挖矿难度创下历史新高。6月4日ambcrypto的一篇分析文章指出，目前的莱特币矿工比其在2017年底见顶时还要多。难度的增加利好莱特币原因是，这意味着其网络安全性的提高。备注：莱特币目前挖矿难度为12.99M，算力为358.43 TH/s.BM：Voice会在今年夏天开始分阶段推出；还没决定是否要禁止美国用户使用Voice
6月4日，BM继续在电报群中解答社区关于Voice的疑问，要点如下：1.为什么Voice禁止美国用户使用？BM回复：目前我们还没决定是否要禁止美国用户使用Voice，你看到的法律文档只是我们最保守的一种选项，还没做出最后决定。我们希望Voice上线时能通过合规批准； 2.有人提...bitFlyer Blockchain加入日本加密货币商业协会
6月4日，日本加密货币商业协会（JCBA）官方宣布，bitFlyer Blockchain加入该协会，成为该协会正式会员。研究：门罗币“家庭”挖矿已无利可图，硬分叉导致其算力下降或招致51%攻击
6月4日消息，币安研究院近期发布报告称，此前，门罗币曾在3月进行过一次硬分叉以限制ASIC挖矿，此举或将带来一些负面影响。首先是算力的急剧下降，这是意料之中的。这让门罗币可能会面临遭受51%攻击的风险。另一方面，随着新的主导GPU挖矿模式和CPU矿工接管网络，出...引入KYC和AML，停止现金交易，LocalBitcoins你变了
P2P加密货币交易服务平台LocalBitcoins已经彻底停止了其网络上的所有实物现金交易。有几位交易员报告说，他们的订单被取消，迫使他们转向电子转账的交易方式。长期以来，比特币爱好者一直认为LocalBitcoins是去中心化比特币交易的避风港。但现在看来，该公司正在失去...印度IT巨头Tech Mahindra在美密苏里州新建技术中心，以开发区快链等尖端技术
6月4日，印度IT巨头TechMahindra宣布在美国密苏里州圣路易斯新建了一个技术中心，该中心将开发区快链、微服务、自动化、人工智能、安全、机器学习、云计算、大数据、数据分析等领域的尖端技术，同时还将为当地创造就业机会，并利用该公司的学习和发展平台，帮助培养...
1040次播放
1584次播放
8712次播放
