比特币价格·比特币行情
动态 | 以太坊2.0存款合约字节码完成形式化验证
以太坊基金会宣布ETH 2.0存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队Runtime Verification完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近ETH 2.0主网的第0阶段（Phase 0），但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然ETH 2.0 的第2阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt（ConsenSys 的研究团队）和eWASM （以太坊基金会的研究团队）在最近一年里已经花了非常多的精力研究，而新成立的TXRX （ConsenSys 的研究团队）会将一部分精力投入到第2阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将ETH 1.0集成到ETH 2.0的方法。（链闻）
相关资讯
A股开盘，上证指数报2784.57（+0.05%），深证成指报10155.61（+0.72%），区块链板块开盘上涨1.76%，深证区块链50指数3008.50，上涨0.36%。198只概念股中，143只上涨，9只平盘...
区块链：2020/2/5 0:00:00在马斯克对推特上的假冒账户和加密局表示担忧之后，John McAfee发推称，“与马斯克相比，我被更多人假冒。我所有的抱怨都被置若罔闻。如果我管理推特的开发团队，这个问题将在24小时内解决。”据此前报道，马斯克提醒...
区块链：2020/2/5 0:00:00据合约帝交易所链上转账报告显示，截至北京时间2月5日18:00，今日BTC流入交易所17738个，较昨日增加17.53%，流出交易所70995个，较昨日增加144.05%。今日ETH流入交易所267653个，较昨日增...
区块链：2020/2/5 0:00:002月4日，人民日报刊文《推进区块链等技术应用 完善国家行政体制》。文章称，政府治理体系和治理能力的现代化首先要求完善国家行政体制。在行政执行方面，逐步推进了互联网、大数据、人工智能、区块链等高科技的应用和“最多跑一次...
区块链：2020/2/5 0:00:00据官方消息，蚂蚁矿池于2020年2月5日正式上线机池服务，开启首月挖矿无费率。此外，蚂蚁矿池机池与第三方Matrixport 平台钱包合作支持用户BCH、BSV收益闪兑成BTC方式结算功能，为用户提供更多收益选择...
区块链：2020/2/5 0:00:00自克罗地亚最大的邮政服务提供商克罗地亚邮政于去年12月在全国55个邮局提供加密货币兑换服务以来，该服务的本地用户已经有所增加，最受欢迎的加密货币是BTC、ETH和XRP。相较而言，EOS和Stellar Lumens...
区块链：2020/2/5 0:00:00中装建设2月5日晚间发布公告，公司有意向拟以5400万元对安讯集团进行增资，增资后公司占安讯集团30%的股权。据悉，安讯集团总部在香港，是专注于数据中心建设、云视频办公、云计算与大数据、数据中心运营与网络安全解决方案...
区块链：2020/2/5 0:00:00据Verdict消息，BitPay宣布将推出一项新服务，即允许所有比特币钱包或交易所使用BitPay支付发票。此举由商家反馈推动，目前该公司已经开始逐步推出这项服务。
区块链：2020/2/5 0:00:00金色财经报道，据币印矿池数据显示， BTC挖矿日收益、全网算力、价格分别为￥1.06/T、114.08EH/s、￥64380.46； ZEC挖矿日收益、全网算力、价格分别为￥0.42/T、5.52GSol/s、￥44...
区块链：2020/2/5 0:00:00据BBKX官方数据显示，DASH今日短线上涨，截至19:05（UTC+8）日内上涨5.51%，现报价117.41美元。受市场情绪影响，行情波动较大，请注意风险控制。
区块链：2020/2/5 0:00:00SaaS 支付技术商 Finix 宣布完成 3500 万美元 B 轮融资，领投方为红杉资本，参投方包括 Activant Capital 和 Inspired Capital。Finix 未公开最新的估值，也拒绝透露...
区块链：2020/2/5 0:00:00今日，OKEx官方公布《OKB生态建设1月月报》。月报显示，当月OKB针对加密资产安全存储领域，拓展了包括Portto、Cool wallet以及虎符等3大业内加密资产钱包服务商。同时上线了欧洲法币交易平台Bitlo...
区块链：2020/2/5 0:00:00
