ETH:分片项目Elrond采用K框架工具 进一步完善开发工具包

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%。

Hubble Chain 分片技术进入测试阶段:据官方消息,Hubble Chain 技术团队自主研发的分片技术(Sharding)现已进入第一轮的测试,该技术将大大提高网络数据吞吐量。有了 Sharding 分片技术的助力,哈勃公链在安全性、扩展性、性能效率、资源消耗四方面的性能,都将取得突破性的技术进展。[2020/5/3]

动态 | Solana创始人称V神亦无法解决分片问题,遭V神反驳:此前,Solana创始人Anatoly Yakovenko接受采访时就“分片(Sharding)”表示:我认为分片只是一个非常困难的计算机科学问题。目前为止,没有人真正解决这个问题。没有哪个数据库可以真正算得上是分片,甚至Vitalik(V神)也无法解决这个问题,这真的非常非常难。随后,V神对此回应称:“对于如何做分片,我们已经说了两年了。细节改了,基本方法没改。不知道怎么能说分片是一个还没解决的问题。”[2019/10/14]

声音 | V神:ETH选择分片 ETC选择坚持PoW 这些选择都必须做出一些取舍:在以太坊开发者大会 Devcon 5 上,在《Community Interoperability》的圆桌讨论中,以太坊创始人Vitalik表示,每条区块链都有自己的优先级,ETH选择分片,ETC选择坚持PoW,然而这些选择都必须做出一些取舍。ETC Labs 的CEO Terry Culver表示,ETH转向PoS正是ETC和ETH合作共赢的好时机。Vitalik期待两条链的未来发展,并表示“我们不是竞争关系,而是合作。”[2019/10/11]

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:0ms0-0:951ms