以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。
技术初创公司RuntimeVerification已经成功完成了以太坊2.0存款合约的形式验证。
A股开盘：深证区块链50指数上涨0.67%:金色财经消息，A股开盘，上证指数报3611.22点，开盘上涨0.61%，深证成指报14845.02点，开盘上涨0.62%，深证区块链50指数报3753.78点，开盘上涨0.67%。区块链板块开盘上涨0.41%，数字货币板块开盘上涨0.46%。[2021/12/7 12:56:05]
“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本中，所有的存款合约问题都得到了适当的修复。”
动态 | 越南初创企业建立一个区块链系统:据bizhub消息，越南一家初创企业建立了一个多连接的区块链系统，允许世界各地的部委和企业之间共享和交换信息。该系统由KardiaChain基金会有限公司建立，还允许用户与世界各地的商品和服务供应商直接互动。此外，KardiaChain还为Dapps提供了一个平台，包括出租车服务、酒店和电子商务，直接连接供应商和消费者。[2019/3/24]
根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。
声音 | 中国互联网金融协会会长：区块链等技术发展驱动经济社会各领域向更高阶段发展:在青岛举办的“2018中国财富论坛”上，中国互联网金融协会会长、中国人民银行原副行长李东荣出席并进行题目为《推动新时代财富管理行业规范健康可持续发展》的演讲。他在演讲中说，随着全球信息化进入全面渗透、跨界融合的新阶段，技术创新代际周期大幅缩短，云计算、大数据、人工智能、区块链等数字技术不断取得新的突破，驱动着经济社会各领域向数字化、网络化、智能化的更高阶段发展，也必然对金融业财富管理的经营模式、服务方式、产品工具产生重要影响。[2018/7/8]
存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。
以太坊2.0的协调员DannyRyan证实，这项形式验证是最后的障碍，他补充说：
“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”
目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。
上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。
这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。
今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。
区块链平台Cosmos的联合创始人JaeKwon将离开这个已有三年历史的项目,投入到另一个名为Virgo的项目中.
本报告由火币区块链研究院出品,报告发布时间2020年2月3日,作者：袁煜明、王蕊 摘要： 国内热点： 1.广东互联网行业党委：利用区块链等技术为群众提供疫情防控信息和数据服务.
“盈利”向来是区块链行业中诸多人重点关注的方向。但目前为止,能够落地生根开花的区块链项目少之又少,能够实现盈利的更是寥寥无几。这是因为大部分区块链项目并没有找到正确的盈利模式.
Web1,Web2,Web3：有什么区别？Web1曾是1990年代和2000年代初期的互联网。当时,互联网是静态HTML页面的只读目录。用户与用户之间的交互受到限制.
在这场严峻的新型冠状肺炎防控阻击战中,除了忙碌在第一线的医护人员之外,各地社区基层也是不可或缺的中坚力量.
写在前面：本文作者为EOS创始人DanielLarimer。他在文章中分析了传统互联网中的数据库等基础架构和设计的缺陷并指出区块链是最好的解决方案：诸如EOSIO之类的区块链开放式框架使得开发者.
区块见闻