以太坊:以太坊 2.0 又一里程碑，存款合约字节码完成形式化验证

以太坊基金会昨日宣布ETH2.0存款合约字节码的审计和形式化验证已经由技术团队RuntimeVerification完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近ETH2.0主网的第0阶段，但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然ETH2.0的第2阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt和eWASM在最近一年里已经花了非常多的精力研究，而新成立的TXRX会将一部分精力投入到第2阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将ETH1.0集成到ETH2.0的方法。

以太坊二层网络Taiko首个公共测试网Alpha-1将于2月15日下线:金色财经报道，以太坊二层网络Taiko宣布，Alpha-1测试网将于世界标准时间2月15日14:00左右弃用，并在弃用约一个月后发布Alpha-2测试网。Alpha-2测试网将新增Alpha-1中缺乏的重要协议组件和参与者。

此前消息，2022年12月28日，TaikoAlpha-1测试网正式上线，向所有开发者开放部署智能合约，并向所有感兴趣的参与者开放运行L2节点。[2023/2/9 11:56:20]

Kryptoin已向SEC提交申请推出以太坊ETF:金色财经报道，Kryptoin Investment Advisors 周四向美国证券交易委员会 (SEC) 提交了一份关于以太坊交易所交易基金 (ETF)的提案。这家总部位于特拉华州的公司在其提案中表示，Kryptoin Ethereum ETF Trust 的投资目标将是 \"以反映实际以太坊市场的价格提供以太坊的风险，投资者可以购买和出售以太坊。Kryptoin 表示，该信托“不会直接购买或出售以太币，尽管受托人可能会出售以太币以支付某些费用。相反，当它出售或赎回其股票时，它将以100,000股的“实物”交易进行。（CoinDesk）[2021/8/13 1:52:09]

以太坊核心开发者：引起Infura服务中断的Geth版本并未违背ETH共识:11月12日，以太坊核心开发者Péter Szilágyi发推公布Geth v1.9.17版本及Infura服务中断事件事后剖析。根据Péter Szilágyi发布的内容，此前Geth版本v1.9.7（2019年11月7日发布）因存在破坏EIP 211提案实施的漏洞，于2020年7月15日被John Youngseok Yang发现并提交。随后该漏洞在2020年7月20日发布的Geth v1.9.17版本中被默默修复。该修复程序使得Geth与Besu、Nethermind和OpenEthereum（以及以太坊规范本身）重新达成共识，但是又导致其与早期的Geth版本未达成共识。而这也是Infura服务中断事件发生的原因，即并非所有节点运营商都在运行最新版本，故与老版本产生分歧。与此同时，针对Infura服务中断社区中所产生的疑问，Péter Szilágyi给予答复：1.所谓“Geth团队单方面进行共识升级”，Geth并没有创建任何未经以太坊同意的新共识规则，EIP 211提案已于3年前网络升级Byzantium时达成社区共识，因此对EIP 211的修复程序并非违反共识；2.所谓“默默修复程序未告知操作员”，因用户的软件更新速度需求及网络安全性各种考虑，操作上存在灰色区域，需要逐案分析讨论。[2020/11/12 12:24:35]

标签：ETH以太坊ETH2.0ETH2ETH钱包以太坊币今日价格行情实时eth2.0币价会涨吗ETH2SOCKS价格

抹茶交易所热门资讯