比特币
动态 | 以太坊虚拟机形式化验证编译器Elle原型发布
据ConsenSys官方消息，受ConsenSys资助的区块链开发团队推出一款以太坊虚拟机（EVM）形式化验证编译器“Elle”，旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。目前Elle还属于原型阶段，不建议将其部署到主网上或者用来管理非常重要的有价值资产。
相关资讯
八月第一周，比特币在相当密集的消息面及全球不稳定因素的叠加下连续六日上涨，最终录得了14.61%的七日回报率，也是2019年以来第六高的周回报率。周一Tether和Bitfinex听证会以及周二参议院银行委员会的加密...
区块链：2019/8/5 0:00:00经过四个月的跌势后，加密贷款成交量的下滑终于在今年4月结束，之后出现了连续四个月的增长。此外，7月份的加密贷款成交量已经比之前的单月最高成交量多了一倍以上。根据LoanScan.io截至7月底的数据，过去四个月的加密...
区块链：2019/8/4 0:00:00据中国基金报报道，深圳股交所总裁梁成表示，通过大数据、区块链技术以及企业的行为留痕，沉淀多维度、长周期、实时留存的和不可篡改的数据和行为信息，以数据共享实现非强制性的信息披露，让深圳的四板市场形成一个高度信息科技应用...
区块链：2019/8/5 0:00:00RChain 中文社区在今天发信回应 Primitive Ventures 创始人万卉多项质疑，1. RChain 此前估值为十亿美金时，创始人 Greg 计划用银牌解码器 Immersion 的使用权为 RChai...
区块链：2019/8/4 0:00:00据CoinDesk Japan报道，野村控股执行董事池田肇表示：“我们一直在思考能够方便用户的必要技术是什么。关于区块链，该技术的应用范围具体有多大暂且不说，如果它确实是客户所需的一项技术，我认为就必须切实掌握并加以...
区块链：2019/8/5 0:00:00据Cointelegraph消息，针对关于“为何美国还没有成为加密监管的领导者”的提问， 美国商品期货交易委员会（CFTC）主席Heath P. Tarbert表示，美国市场在广度、深度和完整性方面是全球标准。这是创...
区块链：2019/8/5 0:00:00根据BTC.com数据显示，目前全球矿池实时算力排名前十为BTC.com、F2Pool、Antpool、Poolin、SlushPool、ViaBTC、BTC.TOP、Huobi.pool、BitFury、okpoo...
区块链：2019/8/4 0:00:00据CryptoGlobe消息，PayPal首席执行官Dan Schulman已经确认Facebook的加密货币Libra将于2020年初推出，同时也证实其为Libra项目的一部分。同时，Dan Schulman认为天...
区块链：2019/8/4 0:00:008月5日消息，国际金融论坛学术委员陈炳才研究员日前在接受金融时报记者采访时表示，Libra不可能为所有人提供跨境金融服务便利。由于非储备货币不可自由兑换，非储备货币国家的消费者或者交易者，其购买或交易必然受本国外汇储...
区块链：2019/8/5 0:00:00Consensys Labs宣布再次启动其加速器Tachyon计划，以支持利用区块链和Web 3.0的初创企业。此次加速器计划为Tachyon III，旨在助力开放金融初创公司构建更加开放、互操性和可编程性更强的金融...
区块链：2019/8/5 0:00:00加密货币分析师Josh Rager刚刚发推称，比特币周倒转图表与日倒转图表区别不大。比特币必须突破并收于10831美元，那么在未来24小时内可能发生大量交易。如果成功，周图表显示没有什么能阻挡比特币上涨至11469美元。
区块链：2019/8/4 0:00:00分析师Potter表示：昨天已提示BTC若强势站上前高阻力11000美元上方，大概率将会持续上攻试探14000美元拐头向下的大下降通道上边线压制，今日早间BTC放量突破并直线拉升至最高接近11700美元在回落至目前1...
区块链：2019/8/5 0:00:00
