1月7日消息，分片项目Elrond宣布正在使用运行验证来完成一组基于K框架的正式工具来补充和完善Elorand开发工具包。K框架是由Elrond顾问GrigoreRosu首创的，他是计算机科学博士，在美国国家航空航天局(NASA)担任研究员期间，服务于火箭和航天器的安全关键环境。Grigore随后发现了运行验证，并与他的团队一起致力于让这些火箭科学工具能够被区块链开发者使用。经过几个月的合作，Elrond团队已经能够创建一个名为KArwen的ArwenVM的K-Framework副本。Arwen是一个WASM虚拟机，因此运行验证能够为WASM扩展其KWasm语义以适应Elrond的虚拟机。此外，使用K框架的Mandos测试已经允许开发人员在较低的级别上执行代码覆盖测试。运行时验证工具通过识别和删除Rust编译器自动添加的未使用的功能，能够帮助将用Rust编写的智能合约的占用空间减少40%。
V神：最初低估了PoS和分片所需时间:金色财经报道，V神最近在播客节目中承认在以太坊创建过程中存在许多变化，例如之后更多地考虑了Gas成本。一开始就没有真正做好设置。V神表示，确实低估了要完成很多事情所需的时间，这些工作没有从2015年开始进行，尤其权益证明（PoS）和分片是相对较大的方面。[2020/7/4]
声音 | V神：跨链缺乏共享的安全性和共同基本资产 分片则反之:近日，在社区的讨论中，Vitalik对跨链和分片发表观点，跨链：没有共享的安全性，没有共同的基本资产，分片：有共享的安全性，有共同的基本资产。[2020/1/17]
V神暗示以太坊将很快测试分片技术来解决扩展问题:设计更高效的可扩展方案是以太坊面临的最大挑战之一，目前以太坊社区正在加紧迎头赶上这一障碍。Vitalik Buterin此前发布推文明确表示以太坊即将启动其分片测试网络，虽然Buterin没有提供明确的时间表，但他表示，Leeroy将成为该实验的合适对象。[2018/2/24]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。