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神：分片是以太坊可扩展性的未来:V神发文表示，分片是以太坊可扩展性的未来，它将是帮助以太坊生态系统支持每秒数千笔交易，并允许世界上大部分人用可以承受的成本定期使用以太坊平台的关键。他在文中解释了分片提供的特定属性，分片与没有分片的其他技术有何不同，以及为达到这些属性而必须做出的牺牲。他表示，分片的主要目标是尽可能地复制传统（非分片）区块链最重要的安全属性，而无需每个节点亲自验证每笔交易。[2021/4/8 19:57:24]
BTC.com庄重：PoW链将会作为ETH2.0的一条分片链而长期存在 挖矿也会持续下去:金色财经现场报道，10月24日，松鼠矿机SMINER新品发布会暨2020全球显卡矿工大会在成都举行。在主题为《以太坊2.0和4G卡淘汰对显卡的挑战和新机遇》圆桌讨论中，
BTC.com庄重表示，ETH信标链只支持Staking功能，阶段1分片上线时间在2021年，上线后只能试运行，仍不支持转账和智能合约；而阶段2的新虚拟机eWASM和与之配套的智能合约、跨分片转账，这个实现的过程会很漫长。PoW链将会作为ETH2.0的一条分片链而长期存在，挖矿本身会一直持续下去。只有当ETH2.0能够支持转载和智能合约时，矿工们就要担心挖矿的持续性了。[2020/10/24]
声音 | 江卓尔：分片提升容量难度大时间长 故而Vitalik提出使用BCH或者ETC作为以太坊数据层:7月25日消息，莱比特矿池CEO江卓尔表示，分布式系统（去中心化系统）有一个不可能三角，称为分布式系统CAP定理，指的是在一个分布式系统中，Consistency（一致性）、 Availability（可用性）、Partition tolerance（分区容错性），三者不可兼得。Vitalik提出用分片方法提升容量，但分片方法的难点是一致性，也就是CAP中的C，Consistency（一致性），这个是一个要挑战不可能三角的开发，所以开发难度很大，时间长，所以Vitalik才提出使用BCH或者ETC作为以太坊数据层的短期方案，来解决ETH的燃眉之急。[2019/7/25]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。