以太坊:以太坊2.0存款合约完成形式化验证，ETH转PoS进入倒计时？_区块链

作者：

时间：

据10月8日-10月11日在日本大阪举行的Devcon5会议的议程显示，“以太坊2.0”成为了这届开发者大会的主要话题。

而种种迹象表明，以太坊2.0平台有望在明年第一季度上线。

据以太坊2.0开发者DannyRyan表示，以太坊2.0的存款合约已完成“形式化验证”。

据悉，以太坊2.0的存款智能合约是通过Vyper语言编写的，而Vyper是一种类似于Solidity的智能合约编程语言，但它在语法上更像是python，对此，Ryan解释称：

林俊杰创立的潮流生活品牌SMG与Graycraft联名发行机甲NFT:金色财经报道，知名歌手林俊杰创立的潮流生活品牌SMG宣布与Graycraft发行两款联名GCSMG机甲NFT （KINDRED、TEMPLARS），这两款机甲包含在GRAYCRAFT Omega计划发行的8888个机甲NFT之中。此系列NFT定价是0.25 ETH。GRAYCRAFT Omega已于1月10日22点开启私人铸造，1月11日22点开始公开铸造。其中私人铸造包括GRAYCRAFT1 & 2 NFT持有者和Mech名单，其中GRAYCRAFT1 持有者可以铸造5个GRAYCRAFT Omega，GRAYCRAFT2持有者可以铸造1个GRAYCRAFT Omega，Mech名单则有众多加密KOL。[2023/1/11 11:06:41]

“在识别并修复了一个Vyper编译器漏洞之后，存款合约已完成形式化验证，而当标准化工作完成之后，合约就可以启动了。”

Gemini：将继续与Genesis、DCG合作，为Earn用户寻找赎回资金的解决方案:11月22日消息，据官方推特，Gemini表示将继续与Earn的借贷合作伙伴Genesis、DCG合作，为Earn用户寻找赎回资金的解决方案。Earn产品不会影响其他Gemini产品和服务。

此外还表示，Gemini是全储备交易平台，所有在Gemini Exchange和Gemini Custody中持有的客户资金均按1:1比例持有，用户可随时提取资金。[2022/11/22 7:54:38]

动态 | LG CNS与Ground X合作进行区块链业务扩展:LG子公司LG CNS与Kakao旗下区块链机构Ground X签署战略合作伙伴关系，旨在拓展与区块链相关的业务。两家公司将利用各自的区块链技术和服务来发掘新的商业机会。LG集团的IT分支机构于去年5月启动其私有区块链平台Monachain，并于今年年初将其应用于韩国造币厂、安全印刷和ID卡运营公司的本地礼券服务Chak。该区块链平台也已应用于LG Uplus的系统，以补偿用户损坏或丢失的手机。由于该系统使所有必要的信息可以与KB Insurance实时共享，因此用户无需向保险公司提交诸如收据之类的文件。Ground X于6月发布其公共区块链平台Klaytn的主网，并继续为扩展区块链生态系统进行投资，并加强了与各行业公司的合作伙伴关系。（Korea Times）[2019/11/21]

目前，开发者们正在完成BLS签名方案的标准化工作，而这种密码学方案已得到了一些新区块链项目的采用。

对此，以太坊2.0客户端PegaSys的开发者BenEdgington表示：

“采用一种通用的方法来促进未来的互操作是有意义的。”

Ryan则补充说：

“尽管BLS签名标准化工作已接近完成，但在签名方案被认定为稳定之前，我们还不能部署合约。”

上个月，Edgington表示BLS的更变应该需要几个星期就可以完成，而存款合约很可能会在以太坊Devcon大会开始后不久便可以推出。

以太坊2.0升级前还需要经历大约3个月的测试期

实际上，以太坊2.0的推出时间，更多地会取决于用户将ETH存入到存款合约中的速度，而信标链的启动就需要存款合约中的ETH达到300万。

而在初期，这种转移只是单向的，这意味着信标链上的币无法转回到以太坊1.0PoW链。

另外，以太坊联合创始人VitalikButerin在上个月提出了以太坊2.0链的相关收益情况，这有助于参与者更好地了解以太坊2.0。