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%。
Cyber Capital创始人：建议以太坊通过Roll-ups或执行分片回到Layer 1扩展:金色财经报道，Cyber Capital创始人Justin Bons在社交媒体上称，以太坊正面临着一个严重的困境，激励机制的大规模错位是造成深度腐败的原因。在Layer 2向这个生态系统倾注资金的推动下，盖过了Layer 1的资金。几百万和几百亿之间的差异是ETH放弃Layer 1扩容的原因，这是很自然的，我们应该期待任何系统性的规模。
问题是，在这种情况下，它导致ETH走错了路，这就是为什么它是一个反常的激励措施，开发者、影响者和领导者在短期内通过遵循Layer 2叙事赚取更多收入，虽然Layer 2通过支持限制Layer 1容量的叙述来赚取更多，但支持通过Layer 2专门扩展这在以太坊网络的长期成功与Layer 2的短期利润之间造成了明显的利益冲突。
我建议以太坊通过Roll-ups或执行分片回到Layer 1扩展，我还应该提到ZKEVM，它仍然受到ETH开发者的关注，并且可以扩展到Layer 1。然而，它的发展太过遥远，目前还不被认为是可行的。我们需要的是链上治理，将资金从区块奖励引导到去中心化的金库。这将创建一个Layer 1倾向的资金来源，能够与对立的利益竞争，这种方法已经被XTZ、DASH和DCR等老牌公链所检验。[2023/5/28 9:46:27]
V神提议对以太坊未来的分片和历史访问进行预编译:Vitalik Buterin（V神）发文研究对未来的分片和历史访问进行预编译。V神在文章中表示，当前以太坊设计中的向后兼容性挑战之一是，历史访问需要在EVM中验证Merkle证明，该证明假设区块链将永远使用相同的格式和相同的密码。分片增加了这一点的重要性，因为用于rollups的欺诈证明和有效性证明需要指向分片数据的指针。V神提出了一种更加面向未来的方法：我们可以添加执行验证特定类型证明的抽象任务的预编译，而不是要求在EVM中验证历史和分片的证明。如果将来更改格式，预编译逻辑将自动更改。预编译甚至可以具有条件逻辑，用于验证转换前slots的一种证明和转换后slots的另一种证明。[2021/6/13 23:33:43]
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]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。